Paper Info
Title
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
Abstract
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.
Year
DOI
Venue
2005
10.1109/SEW.2005.39
annual software engineering workshop
Keywords
DocType
ISBN
deadlock situation,access requirments,module interface,module implementation,large class,reliable use,synchroniztion contract,multi-threaded shared-memory systems,guarantee freedom,low-level synchroniztion primitive,fundamental engineering concern,data race,concurrency control,synchronisation,synchronization,object oriented programming,deadlock,multi threading,software reliability,object oriented language
Conference
0-7695-2306-4
Citations 
PageRank 
References 
5
0.51
10
Authors
3
Name
Order
Citations
PageRank
R. E. K. Stirewalt1101.31
Reimer Behrends2473.12
Laura K. Dillon349770.70