Release sequence in C++0x memory model

Discussion in 'C Programming' started by Giovanni Funchal, Oct 13, 2010.

  1. Giovanni Funchal

    Giovanni Funchal

    Joined:
    Oct 13, 2010
    Messages:
    1
    While I think I've understood the definition of a "release sequence", I don't quite get why it is defined in such a way.

    Basically, its a contiguous part of the modification order that starts with a release (let's call it X), and is followed by either (a) writes by the same thread or (b) RMWs.

    The way I tend to interpret it is that a write by a different thread would cause a loss of "information" about X. RMWs don't cause this loss of information because of the "modify" aspect that carries some dependency on the previous value without completely erasing it. Is this intuition correct?

    -- Giovanni
     
    Giovanni Funchal, Oct 13, 2010
    #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. erinbot@gmail.com

    Convert Java Model to Java Model without XML

    erinbot@gmail.com, Oct 6, 2006, in forum: Java
    Replies:
    1
    Views:
    489
    Andreas Wollschlaeger
    Oct 6, 2006
  2. stef mientki
    Replies:
    13
    Views:
    646
    stef mientki
    Oct 20, 2007
  3. George

    sequence points and the execution model

    George, Jan 17, 2009, in forum: C Programming
    Replies:
    7
    Views:
    322
    Richard
    Jan 20, 2009
  4. Kaz Kylheku

    Re: sequence points and the execution model

    Kaz Kylheku, Jan 18, 2009, in forum: C Programming
    Replies:
    5
    Views:
    312
    Phil Carmody
    Jan 20, 2009
  5. Larry Gates

    Re: sequence points and the execution model

    Larry Gates, Jan 19, 2009, in forum: C Programming
    Replies:
    59
    Views:
    1,116
    Tim Rentsch
    Feb 12, 2009
Loading...

Share This Page