I just wanted to plug a study that a colleague and I recently
completed where we found that it is not uncommon for optimizing
compilers to generate incorrect code for accessing volatile objects.
This is, I think, no big surprise since volatiles are not that easy to
test and generating correct code entails getting a lot of special
cases right.
completed where we found that it is not uncommon for optimizing
compilers to generate incorrect code for accessing volatile objects.
This is, I think, no big surprise since volatiles are not that easy to
test and generating correct code entails getting a lot of special
cases right.
