An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems
Now-a-days, real-time applications expect the supporting computing system to be reconfigured at run-time. Even during such reconfiguration, timing requirements of the applications must be met. By extension, such requirements are relevant in the design of resource reservations techniques. In this paper, the authors consider such a reconfiguration of the reservation provided by a Constant Bandwidth Server (CBS). Firstly, they define an exact notion of correctness of a server's reconfiguration. Then, they design a provably correct server algorithm R-CBS that allows for run-time reconfiguration of a standard CBS.