Memory management and local GC?
Ola Fosheim Grøstad
ola.fosheim.grostad at gmail.com
Mon Nov 2 17:27:03 UTC 2020
On Monday, 2 November 2020 at 14:44:08 UTC, Steven Schveighoffer
> D has shared qualifier, which indicates whether any other
> thread has access to it.
> This is kind of the lynch pin of all these schemes. Without
> that enforced properly, you can't build anything.
> But with it enforced properly, you have options.
> There are still problems. Like immutable is implicitly shared.
> Or you can have a type which contains both shared and unshared
> members, where is that allocated?
There is something called separation logic, which might be
interesting to look at if you are interested in this topic.
More information about the Digitalmars-d