Hard real-time guarantees in feedback-based resource reservations

Resource reservation is a technique that allows isolating applications from interfering among each other. In the most classic setting, this method requires the periodic allocation of a given budget of resource over time. However, in reality, the actual budget allocation may deviate from its ideal value. Examples of causes of this deviation are: the presence of a system tick, the usage of shared resources, the self-blocking on I/O operations, etc. Since control techniques are an effective mean to deal with uncertainties and disturbances, unknown at design time but bounded, in this paper we propose to use feedback to achieve the target budget allocation, which may have deviated due to on-line events. The proposed scheme, called Self-Adaptive Server (SAS), is described and analyzed. We prove that the controller gain, which maximizes the resource delivered to the application, is $$\frac{3-\sqrt{5}}{2}$$3-52. We also implemented the scheduler on a lightweight operating system for a microcontroller. Thanks to the extremely simple implementation, SAS servers are well suited for low-overhead resource isolation mechanisms with proved real-time guarantees.

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

[2]  C. Desoer,et al.  Feedback Systems: Input-Output Properties , 1975 .

[3]  Tei-Wei Kuo,et al.  RTSS 2007: Preface , 2007, RTSS 2007.

[4]  Sanjoy K. Baruah,et al.  Resource-Sharing Servers for Open Environments , 2009, IEEE Transactions on Industrial Informatics.

[5]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[6]  Klaus Gresser,et al.  An Event Model for Deadline Verification of Hard Real-Time Systems , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[7]  Rolf Ernst,et al.  Event model interfaces for heterogeneous system analysis , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[8]  Sang Hyuk Son,et al.  A feedback control approach for guaranteeing relative delays in Web servers , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[9]  Robert C. Daley,et al.  An experimental time-sharing system , 1962, AIEE-IRE '62 (Spring).

[10]  Giuseppe Lipari,et al.  Resource partitioning among real-time applications , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[11]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[12]  Insik Shin,et al.  Overrun Methods and Resource Holding Times for Hierarchical Scheduling of Semi-Independent Real-Time Systems , 2010, IEEE Transactions on Industrial Informatics.

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

[14]  Sang Hyuk Son,et al.  The case for feedback control real-time scheduling , 1998, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[15]  Anton Cervin,et al.  Feedback scheduling of control tasks , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[16]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[17]  Sanjoy K. Baruah,et al.  Virtual Multiprocessor Platforms: Specification and Use , 2009, 2009 30th IEEE Real-Time Systems Symposium.

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

[19]  Sam Lightstone,et al.  Adaptive self-tuning memory in DB2 , 2006, VLDB.

[20]  Roy H. Campbell,et al.  Context switch overheads for Linux on ARM platforms , 2007, ExpCS '07.

[21]  Nathan Fisher,et al.  Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[22]  Giuseppe Lipari,et al.  A methodology for designing hierarchical scheduling systems , 2005, J. Embed. Comput..

[23]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[24]  Claudio Scordino,et al.  An EDF scheduling class for the Linux kernel ∗ , 2009 .

[25]  Sanjoy K. Baruah,et al.  Proportionate progress: a notion of fairness in resource allocation , 1993, STOC '93.

[26]  Aloysius K. Mok,et al.  Resource partition for real-time systems , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[27]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[28]  Wang Yi,et al.  On the Tractability of Digraph-Based Task Models , 2011, 2011 23rd Euromicro Conference on Real-Time Systems.

[29]  Tore Hägglund,et al.  Advanced PID Control , 2005 .

[30]  Stefan Savage,et al.  Processor capacity reserves: an abstraction for managing processor usage , 1993, Proceedings of IEEE 4th Workshop on Workstation Operating Systems. WWOS-III.