Benjamin Lerner

Purifying Causal Atomicity

copyright notice

Benjamin Lerner and Dan Grossman

Technical report, 2008


Atomicity has been studied extensively as a tool for simplifying a programmer's understanding of concurrent code. The challenge of atomicity analysis is to precisely find those code sections of interest that do obey an atomicity discipline. In this paper, we present an extension to Farzan and Madhusudan's work on Causal Atomicity, adapting the purity analysis proposed by Flanagan et. al. to the Petri-net setting. Our work is compositional—a different purity analysis could be implemented with minimal extra effort, and similarly another atomicity criterion could be checked without changing the purity translation—and compatible—the analysis of any program that does not use purity annotations is trivially equivalent to the original analysis.



download vcard icon
Email (essential):
Location (likely):
West Village H, Office 326
Post (possible):
Northeastern University
Khoury College of Computer Sciences
360 Huntington Ave, 2nd floor
Boston, MA 02115
work Lecturer Office 326