Work

A simulator for concurrent objects

Year: 2018

Type: article

Abstract: : "A concurrent object is a data structure shared by concurrent processes. This paper describes in detail a simulation package for simulating, testing, and analyzing implementations of concurrent objects. We use linearizability as our fundamental correctness condition, thereby exploiting the semantics of the object's type to enhance the degree of concurrency allowed. The simulator determines for a finite history of operations executed on a concurrent object whether the history is linearizable. The user can give the simulator a finite set of input test histories or let the simulator generate and test an unbounded number."

Source: Figshare

DOI: 10.1184/r1/6591374

Authors: Wing, Jeannette Marie., Gong, Chun

Institution: Carnegie Mellon University

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: National Science Foundation, Defense Advanced Research Projects Agency, Advanced Research Projects Agency

Award: Highly Concurrent Objects