tmp/tmpw5obwtp2/{from.md → to.md}
RENAMED
|
@@ -34,13 +34,13 @@ resource pointer to `r`, otherwise sets the default memory resource
|
|
| 34 |
pointer to `new_delete_resource()`.
|
| 35 |
|
| 36 |
*Returns:* The previous value of the default memory resource pointer.
|
| 37 |
|
| 38 |
*Remarks:* Calling the `set_default_resource` and `get_default_resource`
|
| 39 |
-
functions shall not incur a data race. A call to the
|
| 40 |
-
`set_default_resource` function
|
| 41 |
-
|
| 42 |
|
| 43 |
``` cpp
|
| 44 |
memory_resource* get_default_resource() noexcept;
|
| 45 |
```
|
| 46 |
|
|
|
|
| 34 |
pointer to `new_delete_resource()`.
|
| 35 |
|
| 36 |
*Returns:* The previous value of the default memory resource pointer.
|
| 37 |
|
| 38 |
*Remarks:* Calling the `set_default_resource` and `get_default_resource`
|
| 39 |
+
functions shall not incur a data race [[intro.races]]. A call to the
|
| 40 |
+
`set_default_resource` function synchronizes with subsequent calls to
|
| 41 |
+
the `set_default_resource` and `get_default_resource` functions.
|
| 42 |
|
| 43 |
``` cpp
|
| 44 |
memory_resource* get_default_resource() noexcept;
|
| 45 |
```
|
| 46 |
|