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

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by R. E. K. Stirewalt Articles by Reimer Behrends Articles by Laura K. Dillon

29th Annual IEEE/NASA Software Engineering Workshop

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2005.39

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.