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

摘要：

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

关键词：操作系统、临界区、竞争条件、软件测试

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页码：1256-1259