From Jason Turner

[thread.req.lockable.timed]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp4zw_m30s/{from.md → to.md} +17 -17
tmp/tmp4zw_m30s/{from.md → to.md} RENAMED
@@ -1,39 +1,39 @@
1
- #### `TimedLockable` requirements <a id="thread.req.lockable.timed">[[thread.req.lockable.timed]]</a>
2
 
3
- A type `L` meets the `TimedLockable` requirements if it meets the
4
- `Lockable` requirements and the following expressions are well-formed
5
- and have the specified semantics (`m` denotes a value of type `L`,
6
- `rel_time` denotes a value of an instantiation of `duration` (
7
- [[time.duration]]), and `abs_time` denotes a value of an instantiation
8
- of `time_point` ([[time.point]])).
9
 
10
  ``` cpp
11
  m.try_lock_for(rel_time)
12
  ```
13
 
14
  *Effects:* Attempts to acquire a lock for the current execution agent
15
- within the relative timeout ([[thread.req.timing]]) specified by
16
- `rel_time`. The function shall not return within the timeout specified
17
- by `rel_time` unless it has obtained a lock on `m` for the current
18
- execution agent. If an exception is thrown then a lock shall not have
19
- been acquired for the current execution agent.
20
 
21
  *Return type:* `bool`.
22
 
23
  *Returns:* `true` if the lock was acquired, `false` otherwise.
24
 
25
  ``` cpp
26
  m.try_lock_until(abs_time)
27
  ```
28
 
29
  *Effects:* Attempts to acquire a lock for the current execution agent
30
- before the absolute timeout ([[thread.req.timing]]) specified by
31
- `abs_time`. The function shall not return before the timeout specified
32
- by `abs_time` unless it has obtained a lock on `m` for the current
33
- execution agent. If an exception is thrown then a lock shall not have
34
- been acquired for the current execution agent.
35
 
36
  *Return type:* `bool`.
37
 
38
  *Returns:* `true` if the lock was acquired, `false` otherwise.
39
 
 
1
+ #### *Cpp17TimedLockable* requirements <a id="thread.req.lockable.timed">[[thread.req.lockable.timed]]</a>
2
 
3
+ A type `L` meets the *Cpp17TimedLockable* requirements if it meets the
4
+ *Cpp17Lockable* requirements and the following expressions are
5
+ well-formed and have the specified semantics (`m` denotes a value of
6
+ type `L`, `rel_time` denotes a value of an instantiation of `duration`
7
+ [[time.duration]], and `abs_time` denotes a value of an instantiation of
8
+ `time_point` [[time.point]]).
9
 
10
  ``` cpp
11
  m.try_lock_for(rel_time)
12
  ```
13
 
14
  *Effects:* Attempts to acquire a lock for the current execution agent
15
+ within the relative timeout [[thread.req.timing]] specified by
16
+ `rel_time`. The function will not return within the timeout specified by
17
+ `rel_time` unless it has obtained a lock on `m` for the current
18
+ execution agent. If an exception is thrown then a lock has not been
19
+ acquired for the current execution agent.
20
 
21
  *Return type:* `bool`.
22
 
23
  *Returns:* `true` if the lock was acquired, `false` otherwise.
24
 
25
  ``` cpp
26
  m.try_lock_until(abs_time)
27
  ```
28
 
29
  *Effects:* Attempts to acquire a lock for the current execution agent
30
+ before the absolute timeout [[thread.req.timing]] specified by
31
+ `abs_time`. The function will not return before the timeout specified by
32
+ `abs_time` unless it has obtained a lock on `m` for the current
33
+ execution agent. If an exception is thrown then a lock has not been
34
+ acquired for the current execution agent.
35
 
36
  *Return type:* `bool`.
37
 
38
  *Returns:* `true` if the lock was acquired, `false` otherwise.
39