tmp/tmpb_u2cj6h/{from.md → to.md}
RENAMED
|
@@ -36,11 +36,11 @@ shared ownership semantics.
|
|
| 36 |
|
| 37 |
The class `shared_timed_mutex` meets all of the shared timed mutex
|
| 38 |
requirements [[thread.sharedtimedmutex.requirements]]. It is a
|
| 39 |
standard-layout class [[class.prop]].
|
| 40 |
|
| 41 |
-
The behavior of a program is undefined if
|
| 42 |
|
| 43 |
- it destroys a `shared_timed_mutex` object owned by any thread,
|
| 44 |
- a thread attempts to recursively gain any ownership of a
|
| 45 |
`shared_timed_mutex`, or
|
| 46 |
- a thread terminates while possessing any ownership of a
|
|
|
|
| 36 |
|
| 37 |
The class `shared_timed_mutex` meets all of the shared timed mutex
|
| 38 |
requirements [[thread.sharedtimedmutex.requirements]]. It is a
|
| 39 |
standard-layout class [[class.prop]].
|
| 40 |
|
| 41 |
+
The behavior of a program is undefined if
|
| 42 |
|
| 43 |
- it destroys a `shared_timed_mutex` object owned by any thread,
|
| 44 |
- a thread attempts to recursively gain any ownership of a
|
| 45 |
`shared_timed_mutex`, or
|
| 46 |
- a thread terminates while possessing any ownership of a
|