[NSWI004] Question about lock in 08-memory-models-graded

[Ondřej Roztočil]

Hi,

I have a question about Q3 in 08-memory-models-graded. What is meant by the recursive_lock/unlock methods? Should we assume the lock is implemented as some kind of reetrant mutex (as described in https://en.wikipedia.org/wiki/Reentrant_mutex)?

Sorry about asking so late and thanks in advance.

Regards

Ondřej
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://d3s.mff.cuni.cz/pipermail/nswi004/attachments/20201125/5bef65c8/attachment.htm>