Hi,

Tomorrow at 10:30 in the seminar room our guest Enrico Bini will give a white-board seminar on real-time scheduling, see below.

Everyone are most welcome.

/Karl-Erik

------------------------------------------------------------------------------------------------------------------------------------

Presenter: Enrico Bini, Associate Professor, University of Turin

Title: Scheduling with Minimal Lag: borrowing from Combinatorics

Abstract: The fair allocation of resources is a central problem in

   scheduling. In its minimal formulation, given a number of tasks

   (demands in manufacturing, flows in networking, etc.) modeled by a

   utilization, the goal of the scheduler is to allocate resources as

   close as possible to an ideal fluid allocation. The lag measures the

   distance from the ideal schedule. A scheduler is normally called

   fair if it guarantees a bounded lag. Motivated by the observation that a lower lag implies a greater

   proximity to the ideal resource allocation, in this paper, we

   propose a scheduling algorithm that produces schedules with lower

   lag bounds. We accompany our algorithm with some tightness results,

   showing that below a certain bound, no feasible schedule

   exists. Finally, from a computational perspective, we show that our

   algorithm is very efficient and then suited for implementation in

   kernels such as Linux.

Bio: Enrico Bini is Associate Professor at Department of Computer Science, University of Turin. He also held positions at Scuola Superiore Sant'Anna (assistant professor, until 2016) and Lund University (Marie-Curie fellow, 2012-14). In 2004, he completed the PhD on Real-Time Systems at Scuola Superiore Sant'Anna (recipient of the "Spitali Award" for best PhD thesis of the whole university). In January 2010 he also completed a Master degree in Mathematics with a thesis on optimal sampling for linear control systems. He has published more than 100 papers (1 Test-of-Time award by the IEEE TCRTS, 4 best-paper awards @RTNS @RTCSA @ICC, 3 most cited papers @ECRTS, 1 most cited @RTSS) on real-time scheduling, operating systems, optimization methods for real-time and control systems, optimal management of distributed and parallel resources. He is Associate Editor of IEEE Transactions on Computers, ACM Computing Surveys, and Springer's Real-Time Systems journal. His service to the scientific community includes chairing 12 events (including Program Chair of RTSS21, Program co-Chair of RTCSA2020, chair of the Embedded Software track of DAC2020) and the participation in 82 Technical Program Committees.