Dynamic detection of atomic-set-serializability violations


Previously we presented <i>atomic sets</i>, memory locations that share some consistency property, and <i>units of work</i>, code fragments that preserve consistency of atomic sets on which they are declared. We also proposed <i>atomic-set serializability</i> as a correctness criterion for concurrent programs, stating that units of work must be serializable… (More)
DOI: 10.1145/1368088.1368120


4 Figures and Tables


Citations per Year

83 Citations

Semantic Scholar estimates that this publication has 83 citations based on the available data.

See our FAQ for additional information.