zwarich, 
This issue with the C++ memory model has been haunting me:
https://docs.google.com/presentation/d/1TJBCPr6SP5wILt4or2j9QYUpl4rjhzQCAHRaumIB9mA/
It seems to break some basic local reasoning properties that you'd really like to hold.
zwarich, This issue with the C++ memory model has been haunting me:
https://docs.google.com/presentation/d/1TJBCPr6SP5wILt4or2j9QYUpl4rjhzQCAHRaumIB9mA/
It seems to break some basic local reasoning properties that you'd really like to hold.