北京航空航天大学学报 ›› 2011, Vol. 37 ›› Issue (10): 1256-1259.doi: CNKI:11-2625/V.20111020.1126.002

• 论文 • 上一篇    下一篇

操作系统共享数据临界保护正确性测试方法

张明杰, 雷迅, 宋恒, 李强   

  1. 复杂系统第四实验室, 北京 100076
  • 收稿日期:2010-06-20 出版日期:2011-10-30 发布日期:2011-11-03
  • 作者简介:张明杰(1974-),男,天津人,高级工程师,skyws@163.com.

Critical region protection testing method for operating system shared date

Zhang Mingjie, Lei Xun, Song Heng, Li Qiang   

  1. The Forth Complex System Laboratory, Beijing 100076, China
  • Received:2010-06-20 Online:2011-10-30 Published:2011-11-03

摘要: 研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.

Abstract: The method for testing critical region protection was studied. A method called SVAM (shared variable address monitor) for testing critical region protection mechanism of shared variable, which is based on monitoring shared date address, was presented. The proposed testing method consists of a real-time address monitor module and a shared variables address list. When the system is running, SVAM will monitor the variable written on the address bus. If the variable is updating and the interrupt is open, the system will enter uncontrollable status, and the critical region protection mechanism is corrupted. The correctness of SVAM was verified through theoretical analysis, and the validity of SVAM was verified through an embedded real-time operating system software testing project.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发