Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems

Authors:
R. E. K. Stirewalt;Reimer Behrends;Laura K. Dillon
Affiliations:
Department of Computer Science and Engineering Michigan State University East Lansing, MI;Department of Computer Science and Engineering Michigan State University East Lansing, MI;Department of Computer Science and Engineering Michigan State University East Lansing, MI
Venue:
SEW '05 Proceedings of the 29th Annual IEEE/NASA on Software Engineering Workshop
Year:
2005

Citing 0
Cited 2

Contracts and Middleware for Safe SOA Applications

SDSOA '07 Proceedings of the International Workshop on Systems Development in SOA Environments
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers

Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks

Quantified Score

Hi-index	0.00

Visualization

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.