systematic miscompilation of volatile accesses

Discussion in 'C Programming' started by John Regehr, Apr 29, 2008.

  1. John Regehr

    John Regehr Guest

    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.

    http://www.cs.utah.edu/~regehr/papers/emsoft08_submit.pdf
    John Regehr, Apr 29, 2008
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Gary
    Replies:
    0
    Views:
    821
  2. NickName

    systematic file(s) deletion

    NickName, Dec 19, 2006, in forum: Java
    Replies:
    39
    Views:
    1,250
    John Ersatznom
    Jan 15, 2007
  3. ben
    Replies:
    5
    Views:
    583
    Ulrich Eckhardt
    Jan 11, 2005
  4. Replies:
    21
    Views:
    1,380
    Alex Vinokur
    Aug 18, 2007
  5. John Regehr

    miscompilation of volatiles?

    John Regehr, Jan 3, 2008, in forum: C Programming
    Replies:
    38
    Views:
    845
    Chris Hills
    Jan 12, 2008
Loading...

Share This Page