计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2011年
10期
3399-3401,3406
,共4页
实时系统%多处理器%实时调度%可调度性%可预测性%EDZL算法
實時繫統%多處理器%實時調度%可調度性%可預測性%EDZL算法
실시계통%다처리기%실시조도%가조도성%가예측성%EDZL산법
在多处理器实时系统中,由于调度的不规则性,系统的可预测性判定问题尤为重要.针对多处理器系统中实时任务调度的可预测性问题,给出了不可预测的实时任务集反例,证明了一种可预测的实时任务集合.对于多处理器实时系统中常用的最早截止期零松弛调度算法(earliest deadline zero laxity,EDZL)的可预测性,利用EDZL算法的基本性质,用一种筒捷的方法证明了EDZL算法是可预测的.通过仿真系统验证了证明的正确性,该方法可用于多处理器及分布式实时系统的设计和验证.
在多處理器實時繫統中,由于調度的不規則性,繫統的可預測性判定問題尤為重要.針對多處理器繫統中實時任務調度的可預測性問題,給齣瞭不可預測的實時任務集反例,證明瞭一種可預測的實時任務集閤.對于多處理器實時繫統中常用的最早截止期零鬆弛調度算法(earliest deadline zero laxity,EDZL)的可預測性,利用EDZL算法的基本性質,用一種筒捷的方法證明瞭EDZL算法是可預測的.通過倣真繫統驗證瞭證明的正確性,該方法可用于多處理器及分佈式實時繫統的設計和驗證.
재다처리기실시계통중,유우조도적불규칙성,계통적가예측성판정문제우위중요.침대다처리기계통중실시임무조도적가예측성문제,급출료불가예측적실시임무집반례,증명료일충가예측적실시임무집합.대우다처리기실시계통중상용적최조절지기령송이조도산법(earliest deadline zero laxity,EDZL)적가예측성,이용EDZL산법적기본성질,용일충통첩적방법증명료EDZL산법시가예측적.통과방진계통험증료증명적정학성,해방법가용우다처리기급분포식실시계통적설계화험증.