COATCheck: Verifying memory ordering at the hardware-OS interface

Keyphrases

• Address Translation 66%
• Computer System 33%
• Constraint Solver 33%
• Domain-specific Languages 33%
• Full Potential 33%
• Happens-before 33%
• High Performance 33%
• Level System 33%
• Memory Consistency Models 66%
• Memory Ordering 100%
• Microarchitecture 33%
• Modern Computer 33%
• Operating System 33%
• Ordering Rules 33%
• Out-of-order Processors 33%
• Static Constraint 33%
• System Functionality 33%
• System Level 33%
• Virtual Address 66%
• Virtual Memory 33%
• Well-defined 33%

Computer Science

• Address Translation 100%
• Computer System 50%
• Constraint Solver 50%
• Domain-Specific Language 50%
• Memory Consistency 100%
• Microarchitecture 50%
• Modern Computer 50%
• Operating System Level 50%
• Out-of-Order Processor 50%
• System Functionality 50%
• Virtual Address 50%
• Virtual Memory 50%