A promising semantics for relaxed-memory concurrency

Keyphrases

• Promising Semantics 100%
• Programmer 100%
• Relaxed Memory Concurrency 100%
• Compiler Optimization 50%
• Compiler 50%
• Concurrent Languages 50%
• Desiderata 50%
• Memory Models 50%
• Java 50%
• Out-of-order 50%
• C++11 50%
• X86-TSO 50%
• Relaxed Memory Models 50%
• Concurrency Model 50%
• Invariant-based 50%
• Relaxed Memory 50%
• Undefined Behavior 50%

Computer Science

• Concurrency 100%
• Memory Model 100%
• Concurrent Language 50%
• Compiler Optimization 50%
• Programming Language 50%
• Undefined Behavior 50%
• Optical Spectrum 50%