D2 Multithreading Architecture

[Jason House]

Robert Jacques Wrote:

> On Tue, 28 Apr 2009 22:12:41 -0400, Daniel Keep  
> <daniel.keep.lists at gmail.com> wrote:
> 
> >
> >
> > Andrei Alexandrescu wrote:
> >> Robert Jacques wrote:
> >>> Repost in ascii, since utf-8 has been causing some issues.
> >>
> >> You should know that posting a long, serious proposal here has less
> >> chances than the paper -> bottle -> ocean route. A month from now it
> >> will be forgotten.
> >>
> >> Please post in a wiki/blog/webpage.
> >>
> >>
> >> Andrei
> >
> > Mostly because this teeny tiny window I read NG postings through doesn't
> > work for long posts.  Plus, Thunderbird doesn't support my
> > Text-to-speech addon.
> >
> > Why not whack it up on the D wiki?
> >
> >   -- Daniel
> 
> I just did. :)
> http://www.prowiki.org/wiki4d/wiki.cgi?OwnershipTypesInD

A link to an overview of GRFJ would be helpful.

The largest issue I see is using scope as any kind of output parameter. If I pass a variable in as a ref scope parameter, all type information I had must be erased. Any assignment to the head of the scope variable could be an incorrect type. For example, a local variable could be transformed into a shared variable. (both are scope inside the function call). This leads to a cascade of issues I have with the proposal, so I'll stop here and get your thoughts.  Const scope isnot an issue, but I think you aim to handle more than that.