@BRIAN_____ @johnregehr @spun_off could something else happen to the data OOO even if the code treated the pointer as volatile?
-
-
Replying to @mik235
@mik235@johnregehr @spun_off My policy is to not think about what happens when one misuses `volatile` beyond proving & removing the misuse.1 reply 0 retweets 0 likes -
Replying to @BRIAN_____
@BRIAN_____ every OS and embedded system depends on what (AFAICT) you think is misuse of volatile, right? https://lwn.net/Articles/508991/ …2 replies 0 retweets 1 like -
Replying to @johnregehr
@johnregehr Curious to hear what you think about http://lwn.net/Articles/586838/ …. To what extent is it possible in theory to make an OS in C11?2 replies 0 retweets 1 like -
Replying to @BRIAN_____
@johnregehr i.e., ignoring whether it is the *best* solution, could one actually create an OS where volatile has only its original meaning?2 replies 0 retweets 0 likes -
Replying to @BRIAN_____
@BRIAN_____ in a strict implementation of ISO C, no way1 reply 0 retweets 1 like
@johnregehr That would be an awesome paper or blog post, if you ever write it. I think it could be done, or at least we're not too far away.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.