May 20 - José Marinho, ISEP, Portugal - On Preemption Delay and WCET handling on Reservation frameworks¶

Talk abstract: The demand for time predictability on real-time systems has been addressed, in practice, by overallocation of resources to overcome the non-determinism present in code execution. With the evolution of microprocessor architecture technology, this scenario tends to move in the direction of having even more waste due to the inefficient usage of several architectural constructs geared towards the minimisation of average case execution times. This talk will cover the problem of efficient usage of caches in a multi-task preemptive system. Due to the ever increasing processor memory gap, the amount of knowledge on the cache state available on the system, has a strong impact on the resource allocation decisions taken. Some cache related preemption delay algorithms will be presented along with a method for managing CRPD on run-time.

Speaker Bio.: José Marinho is an Electrical Engineer from the University of Coimbra. While studying for his degree, José became interested in processor architectures and real-time systems. After a year working in robotics (ISR-Coimbra), José finally moved into ISEP's CISTER unit to carry out his PhD studies in real-time systems.