Taming release-acquire consistency

Keyphrases

• Sequential Consistency 100%
• Release-Acquire 100%
• Operational Semantics 50%
• Implementation Cost 50%
• Semantic Bases 50%
• Local Optimization 50%
• X86-TSO 50%
• Power Architecture 50%
• Axiomatic Model 50%
• C11 Memory Model 50%
• Point-to-point Communication 50%

Computer Science

• Sequential Consistency 100%
• Memory Model 50%
• Power of Model 50%
• Point-to-Point Communication 50%
• Local Optimization 50%
• Operational Semantics 50%