A control-theoretical approach to thread scheduling for multicore processors

Feedback control has been applied to computing systems, usually taking a designed system and closing a loop to adjust some of its parameters. However, the design of computing systems components as controllers have shown advantages with respect to state-of-the-art techniques, especially in the scheduling domain, where uniprocessor schedulers have been designed as discrete-time control structures. However, the most recent computing devices (from smartphone to personal computers) have more than one core and the devised techniques cannot be applied to this context directly. This paper provides the necessary foundation to address the multicore scheduling problem as a control problem, as an extension of the uniprocessor case. We qualify the quantities to be measured and used as feedback signals for tackling the extension. We also present some control solutions and compare them using a simulator, publicly available to foster the research on the topic. The comparison shows that the devised policies have low computational complexity but achieves very good results in terms of scalability.

[1]  Sanjay Ranka,et al.  Using game theory for scheduling tasks on multi-core processors for simultaneous optimization of performance and energy , 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

[2]  Alberto Leva,et al.  A dynamic modelling framework for control-based computing system design , 2015 .

[3]  Alberto Leva,et al.  Feedback process scheduling with simple discrete-time control structures , 2010 .

[4]  James H. Anderson,et al.  Real-Time Scheduling on Multicore Platforms , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[5]  Alberto Leva,et al.  Task scheduling , 2014, ACM Trans. Embed. Comput. Syst..

[6]  Jonathan Walpole,et al.  Analysis of a reservation-based feedback scheduler , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[7]  Gail E. Kaiser,et al.  Self-managing systems: a control theory foundation , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[8]  Thomas Vogel,et al.  Software Engineering Meets Control Theory , 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

[9]  Mary Shaw,et al.  Engineering Self-Adaptive Systems through Feedback Loops , 2009, Software Engineering for Self-Adaptive Systems.

[10]  Alberto Leva,et al.  A general control-theoretical methodology for runtime resource allocation in computing systems , 2013, 52nd IEEE Conference on Decision and Control.

[11]  Alessandro Vittorio Papadopoulos,et al.  Design and Performance Guarantees in Cloud Computing: Challenges and Opportunities , 2015 .

[12]  Rajib Mall Real-Time Systems: Theory and Practice , 2009 .

[13]  Karl-Erik Årzén,et al.  A Game-Theoretic Resource Manager for RT Applications , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[14]  Robert Tappan Morris,et al.  Reinventing Scheduling for Multicore Systems , 2009, HotOS.

[15]  P. S. Grover,et al.  Developing self managing software systems using agile modeling , 2013, SOEN.

[16]  Alberto Leva,et al.  Hard real-time guarantees in feedback-based resource reservations , 2015, Real-Time Systems.

[17]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[18]  Alberto Leva,et al.  FLOPSYNC-2: Efficient Monotonic Clock Synchronisation , 2014, 2014 IEEE Real-Time Systems Symposium.

[19]  Peyman Oreizy,et al.  An architecture-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[20]  Xiaoyun Zhu,et al.  Designing Controllable Computer Systems , 2005, HotOS.

[21]  D. Geer,et al.  Chip makers turn to multicore processors , 2005, Computer.

[22]  Alberto Leva,et al.  Control-Based Operating System Design , 2013, IET Control Engineering Series.

[23]  Ladan Tahvildari,et al.  Self-adaptive software: Landscape and research challenges , 2009, TAAS.

[24]  Alberto Leva,et al.  Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization , 2015, 2015 IEEE Real-Time Systems Symposium.

[25]  Yixin Diao,et al.  Feedback Control of Computing Systems , 2004 .

[26]  Zichuan Xu,et al.  An Energy-Aware Multi-Core Scheduler based on Generalized Tit-For-Tat Cooperative Game , 2012, J. Comput..

[27]  Alberto Leva,et al.  A PI-based control structure as an operating system scheduler , 2012 .

[28]  Chandandeep Singh Pabla Completely fair scheduler , 2009 .