tmp/tmp8bd1bsdn/{from.md → to.md}
RENAMED
|
@@ -14,11 +14,13 @@ acquired for the current execution agent.
|
|
| 14 |
|
| 15 |
``` cpp
|
| 16 |
m.unlock()
|
| 17 |
```
|
| 18 |
|
| 19 |
-
*Preconditions:* The current execution agent holds a lock on
|
|
|
|
| 20 |
|
| 21 |
-
*Effects:* Releases a lock on `m` held by the current
|
|
|
|
| 22 |
|
| 23 |
*Throws:* Nothing.
|
| 24 |
|
|
|
|
| 14 |
|
| 15 |
``` cpp
|
| 16 |
m.unlock()
|
| 17 |
```
|
| 18 |
|
| 19 |
+
*Preconditions:* The current execution agent holds a non-shared lock on
|
| 20 |
+
`m`.
|
| 21 |
|
| 22 |
+
*Effects:* Releases a non-shared lock on `m` held by the current
|
| 23 |
+
execution agent.
|
| 24 |
|
| 25 |
*Throws:* Nothing.
|
| 26 |
|