TY - GEN
T1 - Virtual multiprocessor platforms
T2 - Real-Time Systems Symposium, RTSS 2009
AU - Bini, Enrico
AU - Bertogna, Marco
AU - Baruah, Sanjoy
PY - 2009
Y1 - 2009
N2 - A new abstraction - the Parallel Supply Function (PSF) - is proposed for representing the computing capabilities offered by virtual platforms implemented atop identical multiprocessors. It is shown that this abstraction is strictly more powerful than previously-proposed ones, from the perspective of more accurately representing the inherent parallelism of the provided computing capabilities. Sufficient tests are derived for determining whether a given real-time task system, represented as a collection of sporadic tasks, is guaranteed to always meet all deadlines when scheduled upon a specified virtual platform using the global EDF scheduling algorithm.
AB - A new abstraction - the Parallel Supply Function (PSF) - is proposed for representing the computing capabilities offered by virtual platforms implemented atop identical multiprocessors. It is shown that this abstraction is strictly more powerful than previously-proposed ones, from the perspective of more accurately representing the inherent parallelism of the provided computing capabilities. Sufficient tests are derived for determining whether a given real-time task system, represented as a collection of sporadic tasks, is guaranteed to always meet all deadlines when scheduled upon a specified virtual platform using the global EDF scheduling algorithm.
UR - https://www.scopus.com/pages/publications/77649319564
U2 - 10.1109/RTSS.2009.35
DO - 10.1109/RTSS.2009.35
M3 - Conference contribution
AN - SCOPUS:77649319564
SN - 9780769538754
T3 - Proceedings - Real-Time Systems Symposium
SP - 437
EP - 446
BT - Proceedings - Real-Time Systems Symposium, RTSS 2009
Y2 - 1 December 2009 through 4 December 2009
ER -