University of North Carolina
The authors consider coordinating accesses to shared data structures in multiprocessor real-time systems scheduled under preemptive global EDF. To their knowledge, prior work on global EDF has focused only on systems of independent tasks. They take an initial step here towards a generic resource-sharing framework by considering simple shared objects, such as queues, stacks, and linked lists. In many applications, the predominate use of synchronization constructs is for sharing such simple objects. They analyze two synchronization methods for such objects, one based on queue-based spin locks and a second based on lock-free algorithms.