Virtual Multiprocessor Platforms: Specification and Use

被引:20
作者
Bini, Enrico [1 ]
Bertogna, Marco [1 ]
Baruah, Sanjoy [2 ]
机构
[1] Scuola Super Sant Anna, Pisa, Italy
[2] Univ N Carolina, Chapel Hill, NC USA
来源
2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS | 2009年
基金
芬兰科学院; 美国国家科学基金会;
关键词
D O I
10.1109/RTSS.2009.35
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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.
引用
收藏
页码:437 / +
页数:3
相关论文
共 17 条
[1]   Integrating multimedia applications in hard real-time systems [J].
Abeni, L ;
Buttazzo, G .
19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, :4-13
[2]   The FTT-CAN protocol: Why and how [J].
Almeida, L ;
Pedreiras, P ;
Fonseca, JAG .
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2002, 49 (06) :1189-1201
[3]  
BARUAH S, 2008, P EUROMICRO C REAL T
[4]  
BARUAH SK, 1990, PROCEEDINGS : 11TH REAL-TIME SYSTEMS SYMPOSIUM, P182, DOI 10.1109/REAL.1990.128746
[5]  
BERTOGNA M, 2008, IEEE T PARALLEL DIST
[6]  
BINI E, 2009, 15 IEEE INT C EMB RE
[7]  
Chang Y, 2008, 432 YCS U YORK
[8]  
Deng Z, 1997, REAL TIM SYST SYMP P, P308, DOI 10.1109/REAL.1997.641292
[9]  
Easwaran A, 2007, RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, P129