Showing 2018Show all
2 papers · 1 filter
cs.PL2018
Correctness of Concurrent Objects under Weak Memory Models
Graeme Smith, Kirsten Winter, Robert J. Colvin
In this paper we develop a theory for correctness of concurrent objects under weak memory models. Central to our definitions is the concept of observations which determine when eff…
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…