Quantification of Sequential Consistency in Actor-like Systems: An Exploratory Study

Thumbnail Image
Date
2014-04-25
Authors
Long, Yuheng
Bagherzadeh, Mehdi
Lin, Eric
Upadhyaya, Ganesha
Rajan, Hridesh
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Authors
Person
Rajan, Hridesh
Professor and Department Chair of Computer Science
Research Projects
Organizational Units
Organizational Unit
Journal Issue
Is Version Of
Versions
Series
Department
Computer Science
Abstract

For sequentially-trained programmers, sequential consistency, i.e. program operations run in the same order as they appear in code, is the most intuitive consistency model to understand their programs. Recently variations of the actor model have been added to programming languages and libraries as a concurrency mechanism. Actor models, in general, do not guarantee sequential consistency. A surprising observation, studied in detail here using a large (130 KLOC) set of benchmarks, is that: the variation of the actor model supported by a language or library causes sequential inconsistencies exhibited by programs to vary greatly. Knowing the impact of these variations on sequential inconsistencies is important for focusing testing and verification efforts: for instance, if the variation supports in-order messaging then programs have 53% less sequential inconsistencies; or support for data isolation allows triggering of 75% of sequential inconsistencies by only controlling interleavings of 2 actors and 2 messages.

Comments

Copyright © 2014, Yuheng Long and Mehdi Bagherzadeh and Eric Lin and Ganesha Upadhyaya and Hridesh Rajan.

Description
Keywords
Citation
DOI
Source
Subject Categories
Copyright
Collections