Sharing in D

[Craig Black]

If I understand it correctly, then you are going down the right path with 
this stuff.  IMO, the ultimate goal is a programming language that is 
thread-safe by default, just as a GC language is memory-safe by default.  I 
sounds like you may need to flesh things out quite a bit to attain a 
comprehensive solution for thread safety.  Keep in mind, there should always 
be ways to subvert safety when necessary for performance.

-Craig