tmp/tmphjrwk_rr/{from.md → to.md}
RENAMED
|
@@ -102,11 +102,11 @@ a call to `unlock()` or the call to `try_lock_for()` or
|
|
| 102 |
|
| 103 |
The class `timed_mutex` meets all of the timed mutex requirements
|
| 104 |
[[thread.timedmutex.requirements]]. It is a standard-layout class
|
| 105 |
[[class.prop]].
|
| 106 |
|
| 107 |
-
The behavior of a program is undefined if
|
| 108 |
|
| 109 |
- it destroys a `timed_mutex` object owned by any thread,
|
| 110 |
- a thread that owns a `timed_mutex` object calls `lock()`,
|
| 111 |
`try_lock()`, `try_lock_for()`, or `try_lock_until()` on that object,
|
| 112 |
or
|
|
@@ -161,10 +161,10 @@ for a `recursive_timed_mutex` object, additional calls to `try_lock()`,
|
|
| 161 |
`unlock()` once for each level of ownership acquired by calls to
|
| 162 |
`lock()`, `try_lock()`, `try_lock_for()`, and `try_lock_until()`. Only
|
| 163 |
when all levels of ownership have been released may ownership of the
|
| 164 |
object be acquired by another thread.
|
| 165 |
|
| 166 |
-
The behavior of a program is undefined if
|
| 167 |
|
| 168 |
- it destroys a `recursive_timed_mutex` object owned by any thread, or
|
| 169 |
- a thread terminates while owning a `recursive_timed_mutex` object.
|
| 170 |
|
|
|
|
| 102 |
|
| 103 |
The class `timed_mutex` meets all of the timed mutex requirements
|
| 104 |
[[thread.timedmutex.requirements]]. It is a standard-layout class
|
| 105 |
[[class.prop]].
|
| 106 |
|
| 107 |
+
The behavior of a program is undefined if
|
| 108 |
|
| 109 |
- it destroys a `timed_mutex` object owned by any thread,
|
| 110 |
- a thread that owns a `timed_mutex` object calls `lock()`,
|
| 111 |
`try_lock()`, `try_lock_for()`, or `try_lock_until()` on that object,
|
| 112 |
or
|
|
|
|
| 161 |
`unlock()` once for each level of ownership acquired by calls to
|
| 162 |
`lock()`, `try_lock()`, `try_lock_for()`, and `try_lock_until()`. Only
|
| 163 |
when all levels of ownership have been released may ownership of the
|
| 164 |
object be acquired by another thread.
|
| 165 |
|
| 166 |
+
The behavior of a program is undefined if
|
| 167 |
|
| 168 |
- it destroys a `recursive_timed_mutex` object owned by any thread, or
|
| 169 |
- a thread terminates while owning a `recursive_timed_mutex` object.
|
| 170 |
|