loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual IEEE/NASA Software Engineering Workshop
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
Greenbelt, Maryland
April 06-April 07
ISBN: 0-7695-2306-4
ASCII Text
x 
 
R. E. K. Stirewalt, Reimer Behrends, Laura K. Dillon, "Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 201-210, 29th Annual IEEE/NASA Software Engineering Workshop, 2005.
 
 
BibTex
x
 
@article{ 10.1109/SEW.2005.39,
author = {R. E. K. Stirewalt and Reimer Behrends and Laura K. Dillon},
title = {Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems},
journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard},
volume = {0},
year = {2005},
isbn = {0-7695-2306-4},
pages = {201-210},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2005.39},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Workshop, Annual IEEE/NASA Goddard
TI - Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
SN - 0-7695-2306-4
SP201
EP210
A1 - R. E. K. Stirewalt,
A1 - Reimer Behrends,
A1 - Laura K. Dillon,
PY - 2005
KW - null
VL - 0
JA - Software Engineering Workshop, Annual IEEE/NASA Goddard
ER -
 
R. E. K. Stirewalt, Department of Computer Science and Engineering Michigan State University East Lansing, MI
Reimer Behrends, Department of Computer Science and Engineering Michigan State University East Lansing, MI
Laura K. Dillon, Department of Computer Science and Engineering Michigan State University East Lansing, MI

The safe and reliable use of concurrency in multi-threaded systems has emerged as a fundamental engineering concern. We recently developed a model of synchroniztion contracts to address this concern in programs written in object-oriented languages. Programs written using our model comprise modules that declare access requirments in module interfaces in lieu of using low-level synchroniztion primitives in module implementations. At run time, these contracts are negotiated to derive schedules that guarantee freedom from data races while avoiding a large class of deadlock situations.

Citation:
R. E. K. Stirewalt, Reimer Behrends, Laura K. Dillon, "Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems," sew, pp.201-210, 29th Annual IEEE/NASA Software Engineering Workshop, 2005
Usage of this product signifies your acceptance of the Terms of Use.