The Parallel Supply Function Abstraction for a Virtual Multiprocessor

Authors Enrico Bini, Bertogna Marko, Sanjoy K. Baruah

Thumbnail PDF


  • Filesize: 128 kB
  • 14 pages

Document Identifiers

Author Details

Enrico Bini
Bertogna Marko
Sanjoy K. Baruah

Cite AsGet BibTex

Enrico Bini, Bertogna Marko, and Sanjoy K. Baruah. The Parallel Supply Function Abstraction for a Virtual Multiprocessor. In Scheduling. Dagstuhl Seminar Proceedings, Volume 10071, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


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.
  • Virtual multiprocessor


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail