[Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=236

--- Comment #10 from Jacob Lifshay <programmerjake at gmail.com> ---
handy pdf with formal semantics they proposed as "repaired C11" atomics
semantics:
https://pure.mpg.de/rest/items/item_2543041/component/file_3332448/content
Kang, Jeehoon, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, and Derek Dreyer. "A
promising semantics for relaxed-memory concurrency." ACM SIGPLAN Notices 52,
no. 1 (2017): 175-189.

-- 
You are receiving this mail because:
You are on the CC list for the bug.