[thread.req] - C++23 → Trunk

Files changed (1) hide show

tmp/tmpz3m_glky/{from.md → to.md} +22 -24

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

@@ -120,11 +120,11 @@ exceptions*.
 supplied by the implementation as specified in  [[time.clock]] do not
 throw exceptions. — *end note*]
 ### Requirements for *Cpp17Lockable* types <a id="thread.req.lockable">[[thread.req.lockable]]</a>
-#### In general <a id="thread.req.lockable.general">[[thread.req.lockable.general]]</a>
 An *execution agent* is an entity such as a thread that may perform work
 in parallel with other execution agents.
 [*Note 1*: Implementations or users can introduce other kinds of agents
@@ -164,13 +164,13 @@ A lock on an object `m` is said to be
 nature of any lock ownership is not part of these
 definitions. — *end note*]
 #### *Cpp17BasicLockable* requirements <a id="thread.req.lockable.basic">[[thread.req.lockable.basic]]</a>
-A type `L` meets the *Cpp17BasicLockable* requirements if the following
-expressions are well-formed and have the specified semantics (`m`
-denotes a value of type `L`).
 ``` cpp
 m.lock()
 ```
@@ -190,14 +190,13 @@ execution agent.
 *Throws:* Nothing.
 #### *Cpp17Lockable* requirements <a id="thread.req.lockable.req">[[thread.req.lockable.req]]</a>
-A type `L` meets the *Cpp17Lockable* requirements if it meets the
-*Cpp17BasicLockable* requirements and the following expressions are
-well-formed and have the specified semantics (`m` denotes a value of
-type `L`).
 ``` cpp
 m.try_lock()
 ```
@@ -209,16 +208,16 @@ been acquired for the current execution agent.
 *Returns:* `true` if the lock was acquired, otherwise `false`.
 #### *Cpp17TimedLockable* requirements <a id="thread.req.lockable.timed">[[thread.req.lockable.timed]]</a>
-A type `L` meets the *Cpp17TimedLockable* requirements if it meets the
-*Cpp17Lockable* requirements and the following expressions are
-well-formed and have the specified semantics (`m` denotes a value of
-type `L`, `rel_time` denotes a value of an instantiation of `duration`
-[[time.duration]], and `abs_time` denotes a value of an instantiation of
-`time_point` [[time.point]]).
 ``` cpp
 m.try_lock_for(rel_time)
 ```
@@ -248,14 +247,13 @@ acquired for the current execution agent.
 *Returns:* `true` if the lock was acquired, otherwise `false`.
 #### *Cpp17SharedLockable* requirements <a id="thread.req.lockable.shared">[[thread.req.lockable.shared]]</a>
-A type `L` meets the *Cpp17SharedLockable* requirements if the following
-expressions are well-formed, have the specified semantics, and the
-expression `m.try_lock_shared()` has type `bool` (`m` denotes a value of
-type `L`):
 ``` cpp
 m.lock_shared()
 ```
@@ -284,16 +282,16 @@ agent.
 *Throws:* Nothing.
 #### *Cpp17SharedTimedLockable* requirements <a id="thread.req.lockable.shared.timed">[[thread.req.lockable.shared.timed]]</a>
-A type `L` meets the *Cpp17SharedTimedLockable* requirements if it meets
-the *Cpp17SharedLockable* requirements, and the following expressions
-are well-formed, have type `bool`, and have the specified semantics (`m`
-denotes a value of type `L`, `rel_time` denotes a value of a
-specialization of `chrono::duration`, and `abs_time` denotes a value of
-a specialization of `chrono::time_point`).
 ``` cpp
 m.try_lock_shared_for(rel_time)
 ```

 supplied by the implementation as specified in  [[time.clock]] do not
 throw exceptions. — *end note*]
 ### Requirements for *Cpp17Lockable* types <a id="thread.req.lockable">[[thread.req.lockable]]</a>
+#### General <a id="thread.req.lockable.general">[[thread.req.lockable.general]]</a>
 An *execution agent* is an entity such as a thread that may perform work
 in parallel with other execution agents.
 [*Note 1*: Implementations or users can introduce other kinds of agents
 nature of any lock ownership is not part of these
 definitions. — *end note*]
 #### *Cpp17BasicLockable* requirements <a id="thread.req.lockable.basic">[[thread.req.lockable.basic]]</a>
+A type `L` meets the requirements if the following expressions are
+well-formed and have the specified semantics (`m` denotes a value of
+type `L`).
 ``` cpp
 m.lock()
 ```
 *Throws:* Nothing.
 #### *Cpp17Lockable* requirements <a id="thread.req.lockable.req">[[thread.req.lockable.req]]</a>
+A type `L` meets the requirements if it meets the *Cpp17BasicLockable*
+requirements and the following expressions are well-formed and have the
+specified semantics (`m` denotes a value of type `L`).
 ``` cpp
 m.try_lock()
 ```
 *Returns:* `true` if the lock was acquired, otherwise `false`.
 #### *Cpp17TimedLockable* requirements <a id="thread.req.lockable.timed">[[thread.req.lockable.timed]]</a>
+A type `L` meets the requirements if it meets the *Cpp17Lockable*
+requirements and the following expressions are well-formed and have the
+specified semantics (`m` denotes a value of type `L`, `rel_time` denotes
+a value of an instantiation of `duration` [[time.duration]], and
+`abs_time` denotes a value of an instantiation of `time_point`
+[[time.point]]).
 ``` cpp
 m.try_lock_for(rel_time)
 ```
 *Returns:* `true` if the lock was acquired, otherwise `false`.
 #### *Cpp17SharedLockable* requirements <a id="thread.req.lockable.shared">[[thread.req.lockable.shared]]</a>
+A type `L` meets the requirements if the following expressions are
+well-formed, have the specified semantics, and the expression
+`m.try_lock_shared()` has type `bool` (`m` denotes a value of type `L`):
 ``` cpp
 m.lock_shared()
 ```
 *Throws:* Nothing.
 #### *Cpp17SharedTimedLockable* requirements <a id="thread.req.lockable.shared.timed">[[thread.req.lockable.shared.timed]]</a>
+A type `L` meets the requirements if it meets the *Cpp17SharedLockable*
+requirements, and the following expressions are well-formed, have type
+`bool`, and have the specified semantics (`m` denotes a value of type
+`L`, `rel_time` denotes a value of a specialization of
+`chrono::duration`, and `abs_time` denotes a value of a specialization
+of `chrono::time_point`).
 ``` cpp
 m.try_lock_shared_for(rel_time)
 ```

Diff to HTML by rtfpessoa