“Scheduling and Synchronization for Multi-Core Real-Time Systems”
Karthik Lakshmanan, Carnegie Mellon University
Multi-core technology represents a dominant shift in processor architectures, primarily due to the power and thermal limitations of technology scaling. From an application perspective, we need to leverage parallelism and limit inter-thread synchronization. From the operating system perspective, we need to schedule such applications on available processor cores to meet their timing constraints while maintaining caching performance. In this talk I will present an operating system framework for scheduling and synchronization, which can efficiently utilize multi-core processors for predictable task execution and provide analytical deadline guarantees. Specifically, this framework will address the issues of effectively allocating fixed-priority tasks to processor cores, coordinating such allocation with synchronization to reduce blocking penalties and scheduling parallel real-time tasks to exploit multiple cores.
The proposed solutions have been developed in the context of distributed resource kernels, an infrastructure built as a Linux kernel extension for end-to-end resource management. I will also show the application of these solutions to various domains, including automotive systems, avionics controls, autonomous robots and other cyber-physical systems. Finally I will discuss open research challenges in this domain and provide potential directions for future work.
Karthik Lakshmanan is a PhD candidate in electrical and computer engineering at Carnegie Mellon University, where he is a member of the Real-Time and Multimedia Systems Laboratory. His research interests include real-time systems, multi-core computing, cyber-physical systems, operating systems, embedded systems and wireless sensor networks. His PhD dissertation is on the topic of “Scheduling and Synchronization for Multi-Core Real-Time Systems.” He has authored multiple publications on the topic of multi-core scheduling in real-time systems, and he has been a regular external reviewer for real-time and cyber-physical systems conferences, including RTSS, RTAS, ICCPS and ICDCS.