信息技术与信息化
信息技術與信息化
신식기술여신식화
INFORMATION TECHNOLOGY & INFORMATIZATION
2015年
3期
79-82
,共4页
计算机联锁%有限状态机%并行任务同步模型%二乘二取二
計算機聯鎖%有限狀態機%併行任務同步模型%二乘二取二
계산궤련쇄%유한상태궤%병행임무동보모형%이승이취이
二乘二取二铁路计算机联锁系统中,两套4个CPU组成了容错计算结构,实现CPU之间的同步是基于表决的容错计算机系统的关键过程.因此,本文提出了一种基于有限状态机的主/备/从并行任务同步模型,用于准确描述系统中不同CPU对象的任务同步状态,为二乘二取二同步通信表决过程大规模复杂的逻辑和时序设计提供了方法学上的参考和简化.
二乘二取二鐵路計算機聯鎖繫統中,兩套4箇CPU組成瞭容錯計算結構,實現CPU之間的同步是基于錶決的容錯計算機繫統的關鍵過程.因此,本文提齣瞭一種基于有限狀態機的主/備/從併行任務同步模型,用于準確描述繫統中不同CPU對象的任務同步狀態,為二乘二取二同步通信錶決過程大規模複雜的邏輯和時序設計提供瞭方法學上的參攷和簡化.
이승이취이철로계산궤련쇄계통중,량투4개CPU조성료용착계산결구,실현CPU지간적동보시기우표결적용착계산궤계통적관건과정.인차,본문제출료일충기우유한상태궤적주/비/종병행임무동보모형,용우준학묘술계통중불동CPU대상적임무동보상태,위이승이취이동보통신표결과정대규모복잡적라집화시서설계제공료방법학상적삼고화간화.
