A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Safe concurrency for aggregate objects with invariants
2005
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for object-oriented programs that protects object structures against inconsistency due to race conditions. It is based on a recent methodology for single-threaded programs where developers define aggregate object structures using an ownership system and declare invariants over them. The methodology is supported by a set of
doi:10.1109/sefm.2005.39
dblp:conf/sefm/JacobsPLS05
fatcat:vnq6tfbewjelrbhknq57r62nua