计算机仿真
計算機倣真
계산궤방진
COMPUTER SIMULATION
2005年
12期
252-254,288
,共4页
多处理实时系统%实时任务%消息机制%通信
多處理實時繫統%實時任務%消息機製%通信
다처리실시계통%실시임무%소식궤제%통신
RTEMS是美国军方为高性能实时系统研发的实时内核,已被成功应用于卫星数据处理和轨道控制.同时,它为实时仿真提供了有力的技术支持.实时仿真的实体是实时任务,消息机制在实时任务通信同步中扮演重要的角色.该文首先介绍了RTEMS通信同步的管理功能,然后分析了RTEMS消息机制与传统消息机制的差异.以形式化的语言定义了RTEMS消息机制,并且创建了其消息通信模型.在此基础上,借助树形结构详细剖析了消息创建指令.最后设计了一个Msg-Test测试实例,验证消息机制的正确性.分析得出,RTEMS的消息机制调度方式灵活,设计合理严谨,为实时仿真提供了可靠保证.
RTEMS是美國軍方為高性能實時繫統研髮的實時內覈,已被成功應用于衛星數據處理和軌道控製.同時,它為實時倣真提供瞭有力的技術支持.實時倣真的實體是實時任務,消息機製在實時任務通信同步中扮縯重要的角色.該文首先介紹瞭RTEMS通信同步的管理功能,然後分析瞭RTEMS消息機製與傳統消息機製的差異.以形式化的語言定義瞭RTEMS消息機製,併且創建瞭其消息通信模型.在此基礎上,藉助樹形結構詳細剖析瞭消息創建指令.最後設計瞭一箇Msg-Test測試實例,驗證消息機製的正確性.分析得齣,RTEMS的消息機製調度方式靈活,設計閤理嚴謹,為實時倣真提供瞭可靠保證.
RTEMS시미국군방위고성능실시계통연발적실시내핵,이피성공응용우위성수거처리화궤도공제.동시,타위실시방진제공료유력적기술지지.실시방진적실체시실시임무,소식궤제재실시임무통신동보중분연중요적각색.해문수선개소료RTEMS통신동보적관리공능,연후분석료RTEMS소식궤제여전통소식궤제적차이.이형식화적어언정의료RTEMS소식궤제,병차창건료기소식통신모형.재차기출상,차조수형결구상세부석료소식창건지령.최후설계료일개Msg-Test측시실례,험증소식궤제적정학성.분석득출,RTEMS적소식궤제조도방식령활,설계합리엄근,위실시방진제공료가고보증.
