Memory management and local GC?

Ola Fosheim Grøstad ola.fosheim.grostad at
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 mailing list