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

Author

Stirewalt, R.E.K. ; Behrends, Reimer ; Dillon, Laura K.

Author_Institution

Dept. of Comput. Sci. & Eng., Michigan State Univ.

fYear

2005

fDate

7-7 April 2005

Firstpage

201

Lastpage

210

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 synchronization contracts to address this concern in programs written in object-oriented languages. Programs written using our model comprise modules that declare access requirements in module interfaces in lieu of using low-level synchronization 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

Keywords

concurrency control; distributed shared memory systems; multi-threading; object-oriented programming; safety-critical software; synchronisation; concurrency computation; deadlock; module interface; multithreaded shared-memory system; object-oriented language; object-oriented programming; software reliability; software safety; synchronization; Computer languages; Computer science; Concurrent computing; Contracts; Object oriented modeling; Reliability engineering; Safety; Software reusability; System recovery; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Workshop, 2005. 29th Annual IEEE/NASA

Conference_Location

Greenbelt, MD

Print_ISBN

0-7695-2306-4

Type

conf

DOI

10.1109/SEW.2005.39

Filename

1521208