Editing Reentrant mutex (section)

== Software emulation ==
Software emulation can be accomplished{{Clarify|date=May 2019}} using the following structure:{{Citation needed|date=July 2015}}

* A "control" [[Condition variable|condition]] using a regular lock
* Owner identifier, unique to each thread (defaulting to empty / not set)
* Acquisition count (defaulting to zero)

=== Acquisition ===
# Acquire the control condition.
# If the owner is set and not the current thread, wait for the control condition to be notified (this also releases the condition).
# Set the owner to the current thread. The owner identifier should have already been cleared at this point unless the acquirer is already the owner.
# Increment the acquisition count (should always result in 1 for new owners).
# Release the control condition.

=== Release ===
# Acquire the control condition, asserting that the owner is the releaser.
# Decrement the acquisition count, asserting that the count is greater than or equal to zero.
# If the acquisition count is zero, clear the owner information and notify the control condition.
# Release the control condition.