tmp/tmpy81mcauk/{from.md → to.md}
RENAMED
|
@@ -4,11 +4,10 @@ For purposes of determining the existence of data races, the library
|
|
| 4 |
versions of `operator new`, user replacement versions of global
|
| 5 |
`operator new`, the C standard library functions `aligned_alloc`,
|
| 6 |
`calloc`, and `malloc`, the library versions of `operator delete`, user
|
| 7 |
replacement versions of `operator delete`, the C standard library
|
| 8 |
function `free`, and the C standard library function `realloc` shall not
|
| 9 |
-
introduce a data race
|
| 10 |
that allocate or deallocate a particular unit of storage shall occur in
|
| 11 |
a single total order, and each such deallocation call shall happen
|
| 12 |
-
before
|
| 13 |
-
order.
|
| 14 |
|
|
|
|
| 4 |
versions of `operator new`, user replacement versions of global
|
| 5 |
`operator new`, the C standard library functions `aligned_alloc`,
|
| 6 |
`calloc`, and `malloc`, the library versions of `operator delete`, user
|
| 7 |
replacement versions of `operator delete`, the C standard library
|
| 8 |
function `free`, and the C standard library function `realloc` shall not
|
| 9 |
+
introduce a data race [[res.on.data.races]]. Calls to these functions
|
| 10 |
that allocate or deallocate a particular unit of storage shall occur in
|
| 11 |
a single total order, and each such deallocation call shall happen
|
| 12 |
+
before [[intro.multithread]] the next allocation (if any) in this order.
|
|
|
|
| 13 |
|