【摘 要】
：
随着多核架构在实时系统中的应用,多核实时调度已成为研究热点.在多核全局调度中,任务在多核间迁移通常会引起缓存预热.在严格实时调度中,这部分时间可能导致任务错过截止时
【机 构】
：
中国科学技术大学计算机科学与技术学院,中国科学技术大学苏州研究院嵌入式系统实验室
【基金项目】
：
中国高技术研究发展（863）计划（2008AA01Z101）资助
论文部分内容阅读
随着多核架构在实时系统中的应用,多核实时调度已成为研究热点.在多核全局调度中,任务在多核间迁移通常会引起缓存预热.在严格实时调度中,这部分时间可能导致任务错过截止时间.为此基于调度理论的测试方法比较悲观,在作可调度性判定时,引入模型检测.考虑缓存预热时间的抽象模型仅局限在双核,提出一种建模方法,能够在更多核的条件下,验证调度系统的正确性和可调度性.
其他文献
7月3日,美国纽约轻质原油期货价格亚洲交易时段突破每桶100美元,自去年9月以来首次突破这一关口。分析师认为,埃及政局动荡是助推油价上涨的主要原因。虽然埃及是个每天生产7
前段时间的雾霾天气，引发国内对于油品质量的大规模讨论。大部分公众及媒体将矛头指向中国石油和中国石化两大国内成品油供应巨头。然而，国内油品供应商中，民营地方炼厂（下称地炼
8月17日至18日，绿色低碳时代炼油技术及发展研讨会在北京召开，与会各位院士和专家分别就绿色低碳时代的炼油技术发表了自己的意见和看法。会上，多数专家就原油劣质化的趋势达成
共享数据的并发访问控制是并行编程的关键之一,而对动态共享数据结构的细粒度并发访问控制更是其中的难点.针对操作动态数据结构的指针程序,提出一种并发访问控制的分析方法,
近日，一名加油站站长介绍说，他们站开设的加油站“一刻钟讲堂”对于解决员工在工作中遇到的问题十分有效。笔者认为加油站“一刻钟讲堂”值得推广。
结合CIP方法和高阶紧致方法，提出了紧致型CIP方法，并利用该方法对非线性波进行数值模拟，该种方法采用小模板得到高精度的格式，通过3个算例可以看出其优越性。
提出了一种基于时空相对灵敏度函数和亮度掩蔽效应的X．264的改进方法．旨在去除视频中时域和空域中的视觉心理冗余．通过在两个测试视频上的测试显示，这种方法能够在不影响视频质量
北美尤其是美国近些年来一直是全球油气业务并购高发区，且这一格局有望在今后一段时期保持相对稳定。数据显示，2008年北美的油气业务并购交易额占全球交易的比例达52．9％，2009年受
在平衡损失风险函数准则下研究了未知参数的Bayes线性无偏最小方差（BLUMV）估计相对于最小二乘（LS）估计的优良性.在predictive Pitman closeness（PRPC）准则下研究了BLUMV估计相对于L