Trying to get the most out of the current 'shared' system

[Sönke Ludwig]

Am 12.11.2012 14:00, schrieb deadalnix:
> 
> With some kind of ownership in the type system, it can me made automagic
> that shared is casted away on synchronized object.

Yes and I would love to have that, but I fear that we then basically get
where Bartosz Milewski was at the end of his research. And unfortunately
that went too far to be considered for (mid-term) inclusion.

Besides its shortcomings, there are also actually some advantages to a
library based solution. For example it could be allowed to customize the
lock()/unlock() function so that locking could work for fiber-aware
mutexes (e.g. http://vibed.org/api/vibe.core.mutex/ ...) or even for
network based distributed object systems.