genodelabs/genode — Issue #129: Improve documentation for Lock and Cancelable_lock
Author: chelmuth
Created: 2012-02-28 07:57:36+00:00
State: open
Labels: doc

The documentation of Genode locking primitives is rather minimal. This sometimes leads to misunderstandings by users.

One important fact is that Cancelable_lock is non-recursive. Also, Blocking_canceled should be documented thoroughly.