Memory orders

Sequential Consistency

Relaxed Ordering

release-acquire

How they interact amongst themselves

  • Synchronization only happens between same atomic objects.

How they interact with each other

  • Independent.

Terminologies

  • synchronizes-with: Writes synchronize with reads. W->R RMW->R

  • happens-before: Some instruction happens before another.

    • A->B
    • Transitive. A -> B, B->C => A->C