[dmd-concurrency] synchronized, shared, and regular methods inside the same class

[Michel Fortin]

Le 2010-01-04 à 11:21, Jason House a écrit :

> On Jan 4, 2010, at 9:46 AM, Andrei Alexandrescu <andrei at erdani.com> wrote:
> 
>> This may be easiest to answer for people with extensive experience with Java's threading model. Consider the following D code:
>> 
>> class A {
>>   void foo() synchronized;
>>   void bar() shared;
>>   void baz();
>> }
>> 
>> If we have an object of type A, all three methods are callable.
> 
> In dmd 2.037, that was not true. Bugzilla 3642 (on diagnostic message) shows sample code where calling A.bar fails on objects of type A.

And also, if the object is not shared, calling the shared method bar could leak a reference to the thread-local object in a variable shared with other threads. So I think the compiler is correct in rejecting a call to a shared method on a non-shared object. That is, unless it can prove the reference doesn't escape the function's scope.

-- 
Michel Fortin
michel.fortin at michelf.com
http://michelf.com/