Virtual Multiprocessor Platforms: Specification and Use

Authors:
Enrico Bini;Marko Bertogna;Sanjoy Baruah
Affiliations:
-;-;-
Venue:
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Year:
2009

Citing 0
Cited 7

A survey of hard real-time scheduling for multiprocessor systems

ACM Computing Surveys (CSUR)
Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems

ACM SIGBED Review - Work-in-Progress (WiP) Session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
RT-Xen: towards real-time hypervisor scheduling in xen

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
The generalized multiprocessor periodic resource interface model for hierarchical multiprocessor scheduling

Proceedings of the 20th International Conference on Real-Time and Network Systems
Compositional real-time scheduling framework for periodic reward-based task model

Journal of Systems and Software
Exact and approximate supply bound function for multiprocessor periodic resource model: unsynchronized servers

ACM SIGBED Review
Deadline and activation time assignment for partitioned real-time application on multiprocessor reservations

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.