Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
A high-level operational semantics for hardware weak memory models
Robert J. Colvin, Graeme Smith
Modern processors deploy a variety of weak memory models, which for efficiency reasons may execute instructions in an order different to that specified by the program text. The con…
cs.LO2018
A sound and complete definition of linearizability on weak memory models
Graeme Smith, Kirsten Winter, Robert J. Colvin
Linearizability is a widely accepted notion of correctness for concurrent objects. Recent research has investigated redefining linearizability for particular hardware weak memory m…