You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I just noticed that “single total order” and “total order” aren’t special terms in the standard’s latex… it probably needs to be from an SG1 perspective! And it seems to be used kinda loosely… and using it correctly is important!
Mutex uses “single total order” and call_once uses “total order”, it seems on purpose, but other uses I’m not sure! There aren’t that many…
This seems like an easy editorial fix (which I can send a PR for), but was wondering if it's better to go through an SG1 paper to do this from the editorial team's perspective (hence this issue).
The text was updated successfully, but these errors were encountered:
We should be careful: sometimes, there is a global total order (e.g. memory_order_seq_cst), sometimes, there is a separate total order per object. call_once is in the latter camp, and I believe mutexes are, too.
I believe this is editorial if the phrasing in context is clear whether it refers to a global total order or a per-object total order. It would be good if Olivier Giroux could review any changes in this area.
jensmaurer
changed the title
“single total order” and “total order”
[thread] “single total order” and “total order”
Mar 3, 2021
I just noticed that “single total order” and “total order” aren’t special terms in the standard’s latex… it probably needs to be from an SG1 perspective! And it seems to be used kinda loosely… and using it correctly is important!
Mutex uses “single total order” and call_once uses “total order”, it seems on purpose, but other uses I’m not sure! There aren’t that many…
This seems like an easy editorial fix (which I can send a PR for), but was wondering if it's better to go through an SG1 paper to do this from the editorial team's perspective (hence this issue).
The text was updated successfully, but these errors were encountered: