Decoupling lock-free data structures from memory reclamation for static analysis

Verification of concurrent data structures is one of the most challenging tasks in software verification. The topic has received considerable attention over the course of the last decade. Nevertheless, human-driven techniques remain cumbersome and notoriously difficult while automated approaches suf...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 3; H. POPL; S. 1 - 31
Hauptverfasser:	Meyer, Roland, Wolff, Sebastian
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 02.01.2019
Schlagworte:	Data structures design and analysis Design and analysis of algorithms Parallel algorithms Program analysis Program reasoning Program specifications Program verification Semantics and reasoning Shared memory algorithms Theory of computation static analysis memory management safe memory reclamation lock-free data structures linearizability verification
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!