Title :
Numerically efficient probabilistic guarantees for resource reservations
Author :
Manica, N. ; Palopoli, Luigi ; Abeni, Luca
Author_Institution :
Dipt. di Scienza e Ing. dell´Inf., Univ. of Trento, Trento, Italy
Abstract :
This paper presents an efficient algorithm for providing probabilistic guarantees in soft real-time systems using resource reservations. We use a conservative model for the temporal evolution of a resource reservation, which has a particular structure - a quasi birth death process - enabling an efficient computation of the stationary probability of respecting deadlines. We show the accuracy and the efficiency of the method in a large set of experiments.
Keywords :
numerical analysis; probability; processor scheduling; real-time systems; resource allocation; conservative model; numerically efficient probabilistic guarantees; quasibirth death process; resource reservation; resource reservations; soft real-time systems; stationary probability; temporal evolution; Probabilistic Guarantees; Soft real-time systems;
Conference_Titel :
Emerging Technologies & Factory Automation (ETFA), 2012 IEEE 17th Conference on
Conference_Location :
Krakow
Print_ISBN :
978-1-4673-4735-8
Electronic_ISBN :
1946-0740
DOI :
10.1109/ETFA.2012.6489566