Root causing linearizability violations

DOI10.1007/978-3-030-53288-8_17MaRDI QIDQ2225113zbMATH OpenOpenAlexFDO

Authors Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Publication date 4 February 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-53288-8_17

zbMATH Keywords

concurrency

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Interleaving-tree based fine-grained linearizability fault localization
• Verifying concurrent programs against sequential specifications
• Trace-based symbolic analysis for atomicity violations

Cited in

(3)

• Interleaving-tree based fine-grained linearizability fault localization
• Analyzing linearizability violations in the presence of read-modify-write operations
• Error invariants for concurrent traces

This page was built for publication: Root causing linearizability violations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2225113)