Thanks Rasmus and Jonathan for your comments and suggestions.
> On 20 May 2020, at 12:07, Jonathan Wakely wrote:
>
> On Wed, 20 May 2020 at 09:44, Rasmus Villemoes
> wrote:
>>
>> Hi
>>
>> The condition variable implementation added in commit 806dd0472f56fd
>> seems to fall into the trap(s) p
On Wed, 20 May 2020 at 09:44, Rasmus Villemoes wrote:
>
> Hi
>
> The condition variable implementation added in commit 806dd0472f56fd
> seems to fall into the trap(s) pointed out in the paper
>
> http://birrell.org/andrew/papers/ImplementingCVs.pdf
>
> in particular, the "if no thread is current
Hi
The condition variable implementation added in commit 806dd0472f56fd
seems to fall into the trap(s) pointed out in the paper
http://birrell.org/andrew/papers/ImplementingCVs.pdf
in particular, the "if no thread is currently waiting, signal should not
leave a full semaphore so a following _w
