Concurrency in D and Active Objects

[Robert Fraser]

Craig Black wrote:
>> OTOH, D's model is compiler-checkable (i.e. the compiler can guarantee you 
>> no sync issues), while an event/active object model is not (since you can 
>> access global state).
> 
> It is possible to implement active objects such that global state is not 
> accessible via an active object unless the global variable is synchronized 
> or thread local (if thread local support were added).  What I am saying is 
> that thread safety could be enforced at compile time if the right language 
> features were in place.

Now that would just be awesome.