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. Advertisements

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:
    921
  2. A.M-SG
    Replies:
    4
    Views:
    521
    Steven Cheng[MSFT]
    Nov 2, 2005
  3. Replies:
    1
    Views:
    413
    Furious George
    Apr 19, 2006
  4. Clemens Lode

    Optimizing array accesses

    Clemens Lode, Oct 12, 2003, in forum: C++
    Replies:
    2
    Views:
    408
    Jon Bell
    Oct 12, 2003
  5. NickName

    systematic file(s) deletion

    NickName, Dec 19, 2006, in forum: Java
    Replies:
    39
    Views:
    1,469
    John Ersatznom
    Jan 15, 2007
  6. ben
    Replies:
    5
    Views:
    790
    Ulrich Eckhardt
    Jan 11, 2005
  7. Replies:
    21
    Views:
    1,730
    Alex Vinokur
    Aug 18, 2007
  8. John Regehr

    miscompilation of volatiles?

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