26th IEEE International Real-Time Systems Symposium (RTSS'05)
Preemptible Atomic Regions for Real-Time Java
Miami, Florida
December 05-December 08
ISBN: 0-7695-2490-7
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.
Citation:
Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek, "Preemptible Atomic Regions for Real-Time Java," rtss, pp.62-71, 26th IEEE International Real-Time Systems Symposium (RTSS'05), 2005