http://d.puremagic.com/issues/show_bug.cgi?id=8993



--- Comment #10 from Sönke Ludwig <sludwig@outerproduct.org> 2012-11-10 11:22:20 PST ---
(In reply to comment #9)
> (In reply to comment #8)
> 
> > but I guess it could be marked as work-in-progress
> > in the wiki so that it can be completed step by step?
> 
> I think this is OK.
> 
> In the paper they say the Microsoft programmers have implemented that system one piece at a time. So take a look at those implementation steps (avoiding their eventual mistakes).

Oh, I meant more the process of writing the actual DIP in that sentence (I never did anything on the wiki and don't know the usual process for editing a DIP). So my plan was basically to only include the first step of the implementation into the DIP and then file the rest as enhancement requests should it get implemented at some point.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=8993


Jacob Carlborg <doob@me.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |doob@me.com


--- Comment #11 from Jacob Carlborg <doob@me.com> 2012-11-11 01:54:31 PST ---
I recommend you take a look at some blog posts from Bartosz Milewski. He was involved for a while in the D community and had some ideas about race-free multithreading with the help of a type system supporting using "unique" and "lent". Search in the newsgroups archives for "Bartosz Milewski".

http://bartoszmilewski.com/2009/05/26/race-free-multithreading/

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=8993



--- Comment #12 from Sönke Ludwig <sludwig@outerproduct.org> 2012-11-11 04:49:41 PST ---
(In reply to comment #11)
> I recommend you take a look at some blog posts from Bartosz Milewski. He was involved for a while in the D community and had some ideas about race-free multithreading with the help of a type system supporting using "unique" and "lent". Search in the newsgroups archives for "Bartosz Milewski".
> 
> http://bartoszmilewski.com/2009/05/26/race-free-multithreading/

I've read those back then. Bartosz' system was very powerful but unfortunately complex to implement and had some implications on performance. The good thing with the MS approach is that it accomplishes an important part of it without requiring explicit owner tracking. It surely doesn't fix 'shared' the way that Bartosz' system would, but at least it alleviates the need for it in quite some places.(In reply to comment #11)

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=8993


Rob Jacques <sandford@jhu.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sandford@jhu.edu


--- Comment #13 from Rob Jacques <sandford@jhu.edu> 2012-11-11 23:25:31 PST ---
(In reply to comment #8)
> implement further relaxations bit by bit (e.g. implicit scoped isolated->writable->isolated conversion).

To clarify for those who didn't read the paper, the implicit conversion of writable->isolated only applies to the return value of a moderately pure function: (a pure function whose arguments are only isolated or immutable) So it is similar to the implicit conversion of the return of a strongly pure function from mutable to immutable.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=8993



--- Comment #14 from bearophile_hugs@eml.cc 2013-02-28 18:37:48 PST ---
See also:

https://github.com/D-Programming-Language/dmd/pull/1700

http://wiki.dlang.org/DIP29

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------