Publication
OOPSLA 2014
Conference paper

Flint: Fixing linearizability violations

View publication

Abstract

Writing concurrent software while achieving both correctness and efficiency is a grand challenge. To facilitate this task, concurrent data structures have been introduced into the standard library of popular languages like Java and C#. Unfortunately, while the operations exposed by concurrent data structures are atomic (or linearizable), compositions of these operations are not necessarily atomic. Recent studies have found many erroneous implementations of composed concurrent operations. Copyright 2014 ACM.

Date

Publication

OOPSLA 2014

Authors

Share