Smart pointers instead of GC?

[Ola Fosheim Grøstad" <ola.fosheim.grostad+dlang at gmail.com>]

On Tuesday, 4 February 2014 at 13:52:38 UTC, Paulo Pinto wrote:
> - No implicit allocations outside NEW
> - No closures

True, on the OS level, in drivers and in real time call backs you 
want everything to be explicit.

> - You can use untraced pointers in unsafe modules.

I assume it would be possible to add @notrace as an attribute to 
pointers/references in D so that you can avoid tracing objects 
that are known to be in the pool of traced objects?

The best would be to have "notrace-pointer-types" and programmer 
specified "trace functions" that are more optimal. E.g. keeping a 
list of all active Nodes and have your own function for scanning 
it for outgoing pointers, then keep all pointers to Nodes 
non-traceable.