帕维尔·科卡尔；马丁·斯蒂格；易、王 可变执行时间抢占式实时任务的多处理器可调度性分析。 （英语） Zbl 1141.68353号 Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763274-289（2007）。 摘要：本文研究了多处理器实时系统的可调度性分析问题。假设一组执行时间和截止日期已知的实时任务。我们使用时间自动机来描述任务的非确定性到达时间。可调度性问题是检查释放的任务实例是否可以在多处理器平台上的给定截止日期内执行，其中每个处理器都有一个任务队列来缓冲计划在处理器上运行的任务实例。从积极的方面来看，我们表明，对于具有非主动调度器或具有固定执行时间的任务的系统，该问题是可以判定的。一个令人惊讶的负面结果是，对于具有可变任务执行时间和抢占式调度程序的多处理器系统，可调度性分析问题是不可判定的，这在单处理器设置中仍然是一个开放问题。关于整个系列，请参见[Zbl 1138.68007号]. 引用于1文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 PDF格式BibTeX公司 XML格式引用 \textit{P.Krcal}等人，Lect。注释计算。科学。4763、274--289（2007年；Zbl 1141.68353） 全文： 内政部