Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
{bpw,asampson,luisceze,djg}@cs.washington.edu
Abstract
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