From Jason Turner

[thread.mutex.recursive]

Diff to HTML by rtfpessoa

tmp/tmpel2sx1f2/{from.md → to.md} RENAMED
@@ -12,11 +12,11 @@ namespace std {
12
 
13
  void lock();
14
  bool try_lock() noexcept;
15
  void unlock();
16
 
17
- typedef implementation-defined native_handle_type; // See~[thread.req.native]
18
  native_handle_type native_handle(); // See~[thread.req.native]
19
  };
20
  }
21
  ```
22
 
@@ -24,13 +24,13 @@ The class `recursive_mutex` provides a recursive mutex with exclusive
24
  ownership semantics. If one thread owns a `recursive_mutex` object,
25
  attempts by another thread to acquire ownership of that object will fail
26
  (for `try_lock()`) or block (for `lock()`) until the first thread has
27
  completely released ownership.
28
 
29
- The class `recursive_mutex` shall satisfy all the Mutex requirements (
30
- [[thread.mutex.requirements]]). It shall be a standard-layout class
31
- (Clause  [[class]]).
32
 
33
  A thread that owns a `recursive_mutex` object may acquire additional
34
  levels of ownership by calling `lock()` or `try_lock()` on that object.
35
  It is unspecified how many levels of ownership may be acquired by a
36
  single thread. If a thread has already acquired the maximum level of
 
12
 
13
  void lock();
14
  bool try_lock() noexcept;
15
  void unlock();
16
 
17
+ using native_handle_type = implementation-defined; // See~[thread.req.native]
18
  native_handle_type native_handle(); // See~[thread.req.native]
19
  };
20
  }
21
  ```
22
 
 
24
  ownership semantics. If one thread owns a `recursive_mutex` object,
25
  attempts by another thread to acquire ownership of that object will fail
26
  (for `try_lock()`) or block (for `lock()`) until the first thread has
27
  completely released ownership.
28
 
29
+ The class `recursive_mutex` shall satisfy all of the mutex
30
+ requirements ([[thread.mutex.requirements]]). It shall be a
31
+ standard-layout class (Clause  [[class]]).
32
 
33
  A thread that owns a `recursive_mutex` object may acquire additional
34
  levels of ownership by calling `lock()` or `try_lock()` on that object.
35
  It is unspecified how many levels of ownership may be acquired by a
36
  single thread. If a thread has already acquired the maximum level of