MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Supporting Nested Locking in Multiprocessor Real-Time Systems

Bryan Ward
University of North Carolina, Chapel Hill
SWS Colloquium
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1  
AG Audience
English

Date, Time and Location

Tuesday, 3 July 2012
11:00
90 Minutes
E1 5
029
Saarbrücken

Abstract

This paper presents the first real-time multiprocessor locking protocol that supports fine-grained nested resource requests. This locking protocol relies on a novel technique for ordering the satisfaction of resource requests to ensure a bounded duration of priority inversions for nested requests. This technique can be applied on partitioned, clustered, and globally scheduled systems in which waiting is realized by either spinning or suspending. Furthermore, this technique can be used to construct fine-grained nested locking protocols that are efficient under spin-based, suspension-oblivious or suspension-aware analysis of priority inversions. Locking protocols built upon this technique perform no worse than coarse-grained locking mechanisms, while allowing for increased parallelism in the average case (and, depending upon the task set, better worst-case performance).

Contact

Claudia Richter
9303 9103
--email hidden

Video Broadcast

Yes
Kaiserslautern
G26
206
passcode not visible
logged in users only

Claudia Richter, 07/02/2012 09:23 -- Created document.