Improved Blocking Time Analysis and Evaluation for the Multiprocessor Priority Ceiling Protocol

来源 :Journal of Computer Science and Technology | 被引量 : 0次 | 上传用户:HalfHour
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The Multiprocessor Priority Ceiling Protocol(MPCP) is a classic suspension-based real-time locking protocol for partitioned fixed-priority(P-FP) scheduling. However,existing blocking time analysis is pessimistic under the P-FP +MPCP scheduling,which negatively impacts the schedulability for real-time tasks. In this paper,we model each task as an alternating sequence of normal and critical sections,and use both the best-case execution time(BCET) and the worst-case execution time(WCET) to describe the execution requirement for each section. Based on this model,a novel analysis is proposed to bound shared resource requests. This analysis uses BCET to derive the lower bound on the inter-arrival time for shared resource requests,and uses WCET to obtain the upper bound on the execution time of a task on critical sections during an arbitrary time interval of △t. Based on this analysis,improved blocking analysis and its associated worst-case response time(WCRT) analysis are proposed for P-FP + MPCP scheduling. Schedulability experiments indicate that the proposed method outperforms the existing methods and improves the schedulability significantly. The Multiprocessor Priority Ceiling Protocol (MPCP) is a classic suspension-based real-time locking protocol for partitioned fixed-priority (P-FP) scheduling. However, existing blocking time analysis is pessimistic under the P-FP + MPCP scheduling, which negatively impacts the schedulability for real-time tasks. In this paper, we model each task as an alternating sequence of normal and critical sections, and use both the best-case execution time (BCET) and the worst-case execution time (WCET) to describe the execution requirement for each section. Based on this model, a novel analysis is proposed to bound shared resource requests. This analysis uses BCET to derive the lower bound on the inter-arrival time for shared resource requests, and uses WCET to obtain the Based on this analysis, improved blocking analysis and its associated worst-case response time (WCRT) analysis are proposed for P-FP + MPCP scheduling. Schedulability experiments indicate that the proposed method outperforms the existing methods and improves the schedulability significantly.
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
目的 研究缺氧诱导因子HIF-1α在人多种胃癌细胞系中的表达及意义。方法 分别利用RT-PCR和Westernblot的方法检测多种胃癌细胞系中HIF-1α的表达水平。结果 常氧条件下,在
为准确判断复杂多步攻击的意图和下一步攻击行为,需要对入侵告警进行定量关联分析.针对复杂多步攻击产生的告警在序列中经常间隔出现的实际,提出一种间隔告警定量关联方法.利
患者 ,男 ,10岁。间歇性抽搐 7年 ,步态不稳 4年。查体发育畸形。四肢粗短 ,掌骨短小 ,以右手第 4、5掌骨为显著 ,智力障碍。血液化验 :血钙降低 1.0mmol/L ,血磷 3 .0mmol/L ,ALP增高 40
Equipped with 512-bit wide SIMD instructions and large numbers of computing cores, the emerging x86-based Intelr Many Integrated Core (MIC) Architecture provide
目的调查估计邯郸市男性同性恋人群规模,分析影响评估结果的因素。方法结合乘数法和捕获-再捕获法对邯郸市男性同性恋活动场所进行调查估计。结果计算得出男性同性恋人群为1
目的:探讨乳腺导管的X线解剖形态,进一步提高对乳腺导管系统疾病的诊断与治疗水平.方法:作者回顾254例369支乳腺导管造影资料.结果:乳腺导管的X线解剖形态大致可分为4型,即全
目的 探讨循证护理在年龄相关性白内障超生乳化吸除术联合人工晶体植入术后的应用效果.方法 对385例年龄相关性白内障患者,应用循证护理程序,检索相关文献结合临床经验及患者
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊