26th IEEE International Real-Time Systems Symposium (RTSS'05) (2005)
Dec. 5, 2005 to Dec. 8, 2005
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTSS.2005.34
Jeremy Manson , Purdue University
Jason Baker , Purdue University
Antonio Cunei , Purdue University
Suresh Jagannathan , Purdue University
Marek Prochazka , Purdue University
Bin Xin , Purdue University
Jan Vitek , Purdue University
We present a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclusion in several ways. First, and foremost, PARs provide strong correctness guarantees. Any sequence of operations declared atomic will not suffer interference from other threads, even in the presence of programmer errors. In spite of this, PARs can be preempted by high priority tasks; this is essential to the minimization of blocking times. We have implemented PARs in a uniprocessor real-time Java virtual machine and evaluated their utility on a number of programs. The results suggest that programs that use PARs, depending on their semantics, can run faster and experience less jitter than those that use locks.
B. Xin et al., "Preemptible Atomic Regions for Real-Time Java," 26th IEEE International Real-Time Systems Symposium (RTSS'05)(RTSS), Miami, Florida, 2005, pp. 62-71.