tmp/tmpabozr_ws/{from.md → to.md}
RENAMED
|
@@ -32,11 +32,11 @@ when suitably instantiated. — *end note*]
|
|
| 32 |
|
| 33 |
*Effects:* All arguments are locked via a sequence of calls to `lock()`,
|
| 34 |
`try_lock()`, or `unlock()` on each argument. The sequence of calls does
|
| 35 |
not result in deadlock, but is otherwise unspecified.
|
| 36 |
|
| 37 |
-
[*Note 3*: A deadlock avoidance algorithm such as try-and-back-off
|
| 38 |
be used, but the specific algorithm is not specified to avoid
|
| 39 |
over-constraining implementations. — *end note*]
|
| 40 |
|
| 41 |
If a call to `lock()` or `try_lock()` throws an exception, `unlock()` is
|
| 42 |
called for any argument that had been locked by a call to `lock()` or
|
|
|
|
| 32 |
|
| 33 |
*Effects:* All arguments are locked via a sequence of calls to `lock()`,
|
| 34 |
`try_lock()`, or `unlock()` on each argument. The sequence of calls does
|
| 35 |
not result in deadlock, but is otherwise unspecified.
|
| 36 |
|
| 37 |
+
[*Note 3*: A deadlock avoidance algorithm such as try-and-back-off can
|
| 38 |
be used, but the specific algorithm is not specified to avoid
|
| 39 |
over-constraining implementations. — *end note*]
|
| 40 |
|
| 41 |
If a call to `lock()` or `try_lock()` throws an exception, `unlock()` is
|
| 42 |
called for any argument that had been locked by a call to `lock()` or
|