|
Authors: | Pratyush Kumar, Nikolay Stoimenov, Lothar Thiele |
Group: | Computer Engineering |
Type: | Inproceedings |
Title: | An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems |
Year: | 2012 |
Month: | July |
Pub-Key: | KST12a |
Book Titel: | Proc. of 24th Euromicro Conference on Real-Time Systems (ECRTS 2012) |
Pages: | 245-254 |
Keywords: | ESD, MPA, Servers |
Publisher: | IEEE |
Abstract: | Nowadays, 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 work, we consider such a reconfiguration of the reservation provided by a constant bandwidth server (CBS). Firstly, we define an exact notion of correctness of a server’s reconfiguration. Then we design a provably correct server algorithm R-CBS that allows for run-time reconfiguration of a standard CBS. The algorithm maintains specific information about the execution trace and uses it to efficiently perform the reconfiguration at the earliest possible time. We highlight the advantages of R-CBS in comparison to reconfiguration of TDMA servers and in reconfiguring multiple servers simultaneously. |
Location: | Pisa, Italy |
Resources: | [BibTeX] [Paper as PDF] |