[thread.lock.unique.locking]

Files changed (1) hide show

tmp/tmpta399w_n/{from.md → to.md} +21 -21

tmp/tmpta399w_n/{from.md → to.md} RENAMED Viewed

@@ -1,39 +1,39 @@
-##### `unique_lock` locking <a id="thread.lock.unique.locking">[[thread.lock.unique.locking]]</a>
 ``` cpp
 void lock();
 ```
 *Effects:* As if by `pm->lock()`.
-*Postconditions:* `owns == true`.
 *Throws:* Any exception thrown by `pm->lock()`. `system_error` when an
-exception is required ([[thread.req.exception]]).
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
 ``` cpp
 bool try_lock();
 ```
-*Requires:* The supplied `Mutex` shall meet the `Lockable`
-requirements ([[thread.req.lockable.req]]).
 *Effects:* As if by `pm->try_lock()`.
 *Returns:* The value returned by the call to `try_lock()`.
-*Postconditions:* `owns == res`, where `res` is the value returned by
-the call to `try_lock()`.
 *Throws:* Any exception thrown by `pm->try_lock()`. `system_error` when
-an exception is required ([[thread.req.exception]]).
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
@@ -41,22 +41,22 @@ an exception is required ([[thread.req.exception]]).
 ``` cpp
 template<class Clock, class Duration>
   bool try_lock_until(const chrono::time_point<Clock, Duration>& abs_time);
 ```
-*Requires:* The supplied `Mutex` type shall meet the `TimedLockable`
-requirements ([[thread.req.lockable.timed]]).
 *Effects:* As if by `pm->try_lock_until(abs_time)`.
 *Returns:* The value returned by the call to `try_lock_until(abs_time)`.
-*Postconditions:* `owns == res`, where `res` is the value returned by
-the call to `try_lock_until(abs_time)`.
 *Throws:* Any exception thrown by `pm->try_lock_until()`. `system_error`
-when an exception is required ([[thread.req.exception]]).
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
@@ -64,22 +64,22 @@ when an exception is required ([[thread.req.exception]]).
 ``` cpp
 template<class Rep, class Period>
   bool try_lock_for(const chrono::duration<Rep, Period>& rel_time);
 ```
-*Requires:* The supplied `Mutex` type shall meet the `TimedLockable`
-requirements ([[thread.req.lockable.timed]]).
 *Effects:* As if by `pm->try_lock_for(rel_time)`.
-*Returns:* The value returned by the call to `try_lock_until(rel_time)`.
-*Postconditions:* `owns == res`, where `res` is the value returned by
-the call to `try_lock_for(rel_time)`.
 *Throws:* Any exception thrown by `pm->try_lock_for()`. `system_error`
-when an exception is required ([[thread.req.exception]]).
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
@@ -88,14 +88,14 @@ when an exception is required ([[thread.req.exception]]).
 void unlock();
 ```
 *Effects:* As if by `pm->unlock()`.
-*Postconditions:* `owns == false`.
 *Throws:* `system_error` when an exception is
-required ([[thread.req.exception]]).
 *Error conditions:*
 - `operation_not_permitted` — if on entry `owns` is `false`.

+##### Locking <a id="thread.lock.unique.locking">[[thread.lock.unique.locking]]</a>
 ``` cpp
 void lock();
 ```
 *Effects:* As if by `pm->lock()`.
+*Ensures:* `owns == true`.
 *Throws:* Any exception thrown by `pm->lock()`. `system_error` when an
+exception is required [[thread.req.exception]].
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
 ``` cpp
 bool try_lock();
 ```
+*Preconditions:* The supplied `Mutex` meets the *Cpp17Lockable*
+requirements [[thread.req.lockable.req]].
 *Effects:* As if by `pm->try_lock()`.
 *Returns:* The value returned by the call to `try_lock()`.
+*Ensures:* `owns == res`, where `res` is the value returned by the call
+to `try_lock()`.
 *Throws:* Any exception thrown by `pm->try_lock()`. `system_error` when
+an exception is required [[thread.req.exception]].
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
 ``` cpp
 template<class Clock, class Duration>
   bool try_lock_until(const chrono::time_point<Clock, Duration>& abs_time);
 ```
+*Preconditions:* The supplied `Mutex` type meets the
+*Cpp17TimedLockable* requirements [[thread.req.lockable.timed]].
 *Effects:* As if by `pm->try_lock_until(abs_time)`.
 *Returns:* The value returned by the call to `try_lock_until(abs_time)`.
+*Ensures:* `owns == res`, where `res` is the value returned by the call
+to `try_lock_until(abs_time)`.
 *Throws:* Any exception thrown by `pm->try_lock_until()`. `system_error`
+when an exception is required [[thread.req.exception]].
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
 ``` cpp
 template<class Rep, class Period>
   bool try_lock_for(const chrono::duration<Rep, Period>& rel_time);
 ```
+*Preconditions:* The supplied `Mutex` type meets the
+*Cpp17TimedLockable* requirements [[thread.req.lockable.timed]].
 *Effects:* As if by `pm->try_lock_for(rel_time)`.
+*Returns:* The value returned by the call to `try_lock_for(rel_time)`.
+*Ensures:* `owns == res`, where `res` is the value returned by the call
+to `try_lock_for(rel_time)`.
 *Throws:* Any exception thrown by `pm->try_lock_for()`. `system_error`
+when an exception is required [[thread.req.exception]].
 *Error conditions:*
 - `operation_not_permitted` — if `pm` is `nullptr`.
 - `resource_deadlock_would_occur` — if on entry `owns` is `true`.
 void unlock();
 ```
 *Effects:* As if by `pm->unlock()`.
+*Ensures:* `owns == false`.
 *Throws:* `system_error` when an exception is
+required [[thread.req.exception]].
 *Error conditions:*
 - `operation_not_permitted` — if on entry `owns` is `false`.

Diff to HTML by rtfpessoa