[cpp-threads] Somewhat relevant technical report

[Peter Dimov]

Alexander Terekhov wrote:
> On 12/17/05, Peter Dimov <pdimov at mmltd.net> wrote:
> [...]
>> Interesting, but... doesn't checking the old thread id require a
>> hoist-load? You could read "previous previous owner" instead of
>> "previous owner" otherwise, if the read is hoisted above the lock
>> acquisiton...
>
> Lock/unlocked bit and owner id can be kept in the same memory
> location.

Nice.

But it still doesn't help, we can insert a dummy lock+unlock l2 in T1 before 
everything else, and the problem with v1 remains. :-)