Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Composable Specifications for Structured Shared-Memory Communication

Summary: Composable Specifications
for Structured Shared-Memory Communication
Benjamin P. Wood Adrian Sampson Luis Ceze Dan Grossman
University of Washington
In this paper we propose a communication-centric approach
to specifying and checking how multithreaded programs use
shared memory to perform inter-thread communication. Our
approach complements past efforts for improving the safety
of multithreaded programs such as race detection and atom-
icity checking. Unlike prior work, we focus on what pieces
of code are allowed to communicate with one another, as
opposed to declaring what data items are shared or what
code blocks should be atomic. We develop a language that
supports composable specifications at multiple levels of ab-
straction and that allows libraries to specify whether or not
shared-memory communication is exposed to clients. The
precise meaning of a specification is given with a formal se-
mantics we present. We have developed a dynamic-analysis


Source: Anderson, Richard - Department of Computer Science and Engineering, University of Washington at Seattle


Collections: Computer Technologies and Information Sciences