tmp/tmpmyy3ptkt/{from.md → to.md}
RENAMED
|
@@ -1,10 +1,10 @@
|
|
| 1 |
#### In general <a id="thread.mutex.requirements.general">[[thread.mutex.requirements.general]]</a>
|
| 2 |
|
| 3 |
A mutex object facilitates protection against data races and allows safe
|
| 4 |
-
synchronization of data between execution agents
|
| 5 |
-
[[thread.req.lockable]]
|
| 6 |
-
|
| 7 |
-
|
| 8 |
simultaneous ownership to one or many execution agents. Both recursive
|
| 9 |
and non-recursive mutexes are supplied.
|
| 10 |
|
|
|
|
| 1 |
#### In general <a id="thread.mutex.requirements.general">[[thread.mutex.requirements.general]]</a>
|
| 2 |
|
| 3 |
A mutex object facilitates protection against data races and allows safe
|
| 4 |
+
synchronization of data between execution agents
|
| 5 |
+
[[thread.req.lockable]]. An execution agent *owns* a mutex from the time
|
| 6 |
+
it successfully calls one of the lock functions until it calls unlock.
|
| 7 |
+
Mutexes can be either recursive or non-recursive, and can grant
|
| 8 |
simultaneous ownership to one or many execution agents. Both recursive
|
| 9 |
and non-recursive mutexes are supplied.
|
| 10 |
|