tmp/tmpiy1plr6e/{from.md → to.md}
RENAMED
|
@@ -47,10 +47,10 @@ for a `recursive_timed_mutex` object, additional calls to `try_lock()`,
|
|
| 47 |
`unlock()` once for each level of ownership acquired by calls to
|
| 48 |
`lock()`, `try_lock()`, `try_lock_for()`, and `try_lock_until()`. Only
|
| 49 |
when all levels of ownership have been released may ownership of the
|
| 50 |
object be acquired by another thread.
|
| 51 |
|
| 52 |
-
The behavior of a program is undefined if
|
| 53 |
|
| 54 |
- it destroys a `recursive_timed_mutex` object owned by any thread, or
|
| 55 |
- a thread terminates while owning a `recursive_timed_mutex` object.
|
| 56 |
|
|
|
|
| 47 |
`unlock()` once for each level of ownership acquired by calls to
|
| 48 |
`lock()`, `try_lock()`, `try_lock_for()`, and `try_lock_until()`. Only
|
| 49 |
when all levels of ownership have been released may ownership of the
|
| 50 |
object be acquired by another thread.
|
| 51 |
|
| 52 |
+
The behavior of a program is undefined if
|
| 53 |
|
| 54 |
- it destroys a `recursive_timed_mutex` object owned by any thread, or
|
| 55 |
- a thread terminates while owning a `recursive_timed_mutex` object.
|
| 56 |
|