DIP74 - where is at?

Ola Fosheim Grøstad via Digitalmars-d digitalmars-d at puremagic.com
Tue Oct 13 06:02:40 PDT 2015


On Tuesday, 13 October 2015 at 12:40:46 UTC, Ola Fosheim Grøstad 
wrote:
> On Monday, 12 October 2015 at 19:35:34 UTC, Marco Leise wrote:
>> Wouldn't it be great if everyone took notes of the currently
>> perceived shortcomings of shared so that there is a pile of
>> use- and corner-cases to look at for a redesign?
>
> The problem with shared is that shared should not be constant 
> over time, it should be related to behavioural typing/type 
> state.
>
> Synchronization is a temporal factor not a static typing factor.

That said, if you have:

1. writer-ownership as a feature
2. mark variables as "only writable by one owner"

Then the compiler can drop some read locks for the _owning_ 
thread.

But D does not have ownership as a feature beyond "thread local 
memory"?



More information about the Digitalmars-d mailing list