Definitions of Relaxed Memory Models

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

Definitions of Relaxed Memory Models #152

Closed eupp closed 2 years ago

eupp commented 2 years ago

Add basic formalization of memory models, according to the paper "Causal Consistency: Beyond Memory" by Matthieu Perrin, Achour Mostefaoui, Claude Jard (PPoPP 2016)

sequential consistency
causal consistency
pipelined consistency