The Parallel Supply Function Abstraction for a Virtual Multiprocessor

Authors Enrico Bini, Bertogna Marko, Sanjoy K. Baruah



PDF
Thumbnail PDF

File

DagSemProc.10071.14.pdf
  • Filesize: 128 kB
  • 14 pages

Document Identifiers

Author Details

Enrico Bini
Bertogna Marko
Sanjoy K. Baruah

Cite As Get 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) https://doi.org/10.4230/DagSemProc.10071.14

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.

Subject Classification

Keywords
  • Virtual multiprocessor

Metrics

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

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail