tmp/tmpvi2xss0a/{from.md → to.md}
RENAMED
|
@@ -34,14 +34,13 @@ namespace std {
|
|
| 34 |
```
|
| 35 |
|
| 36 |
The class `shared_timed_mutex` provides a non-recursive mutex with
|
| 37 |
shared ownership semantics.
|
| 38 |
|
| 39 |
-
The class `shared_timed_mutex` shall satisfy all of the
|
| 40 |
-
|
| 41 |
-
|
| 42 |
-
class (Clause [[class]]).
|
| 43 |
|
| 44 |
The behavior of a program is undefined if:
|
| 45 |
|
| 46 |
- it destroys a `shared_timed_mutex` object owned by any thread,
|
| 47 |
- a thread attempts to recursively gain any ownership of a
|
|
|
|
| 34 |
```
|
| 35 |
|
| 36 |
The class `shared_timed_mutex` provides a non-recursive mutex with
|
| 37 |
shared ownership semantics.
|
| 38 |
|
| 39 |
+
The class `shared_timed_mutex` shall satisfy all of the shared timed
|
| 40 |
+
mutex requirements ([[thread.sharedtimedmutex.requirements]]). It shall
|
| 41 |
+
be a standard-layout class (Clause [[class]]).
|
|
|
|
| 42 |
|
| 43 |
The behavior of a program is undefined if:
|
| 44 |
|
| 45 |
- it destroys a `shared_timed_mutex` object owned by any thread,
|
| 46 |
- a thread attempts to recursively gain any ownership of a
|