The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Real-Time scheduling deals with the problem of concurrently executing processeses so that every process meets its timing constraints. From the seminal work of Liu and Layland in 1973, concerning the scheduling of periodic real-time processes on a single processor, many researchers have extended the model and proposed alternative scheduling algorithms and schedulability analyses. The goal of this series of two seminars is to introduce the problem and give a quick overview of the main results on real-time scheuling.
In the second seminar, I will address the problem of shared mutual exclusion. I will discuss the Priority Inheritance, Priority Ceiling and Stack Resource Policy protocols. Then I will present some results on soft real-time scheduling and more specifically Resource Reservation protocols. Finally, I will present hierarchical scheduling, and how to design a hierarchical system.