The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Hard real-time guarantees in feedback-based resource reservations

På svenska

Author

  • Alessandro Vittorio Papadopoulos
  • Martina Maggio
  • Alberto Leva
  • Enrico Bini

Summary, in English

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 (3−sqrt(5))/2. 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.

Publishing year

2015

Language

English

Pages

221-246

Publication/Series

Real-Time Systems

Volume

51

Issue

3

Document type

Journal article

Publisher

Springer

Topic

  • Control Engineering

Status

Published

Research group

  • LCCC
  • ELLIIT

ISBN/ISSN/Other

  • ISSN: 1573-1383