The Parallel Supply Function Abstraction for a Virtual Multiprocessor

Enrico Bini; Marko Bertogna; Sanjoy Baruah

The Parallel Supply Function Abstraction for a Virtual Multiprocessor

Enrico Bini
, Marko Bertogna
, Sanjoy Baruah

Department of Computer Science & Engineering

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

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.

Original language	English
Journal	Dagstuhl Seminar Proceedings
Volume	10071
State	Published - 2010
Event	Scheduling 2010 - Wadern, Germany Duration: Feb 14 2010 → Feb 19 2010

Cite this

@article{b572821e0d0d4151b8fce4d12eb0f789,

title = "The Parallel Supply Function Abstraction for a Virtual Multiprocessor",

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.",

author = "Enrico Bini and Marko Bertogna and Sanjoy Baruah",

note = "Publisher Copyright: {\textcopyright} 2010 Dagstuhl Seminar Proceedings.; Scheduling 2010 ; Conference date: 14-02-2010 Through 19-02-2010",

year = "2010",

language = "English",

volume = "10071",

journal = "Dagstuhl Seminar Proceedings",

issn = "1862-4405",

}

TY - JOUR

T1 - The Parallel Supply Function Abstraction for a Virtual Multiprocessor

AU - Bini, Enrico

AU - Bertogna, Marko

AU - Baruah, Sanjoy

PY - 2010

Y1 - 2010

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/85068501742

M3 - Conference article

AN - SCOPUS:85068501742

SN - 1862-4405

VL - 10071

JO - Dagstuhl Seminar Proceedings

JF - Dagstuhl Seminar Proceedings

T2 - Scheduling 2010

Y2 - 14 February 2010 through 19 February 2010

ER -

The Parallel Supply Function Abstraction for a Virtual Multiprocessor

Abstract

Other files and links

Fingerprint

Cite this