一种基于语法扩展的自动互斥锁实现机制  

Implementation of grammar extemsion based automatic mutex

作　　者：陶毅[1] 杨红雨[1] 胡术[1] 

机构地区：[1]四川大学图形图像研究所,成都610064

出　　处：《四川大学学报（自然科学版）》2008年第3期503-506,共4页Journal of Sichuan University(Natural Science Edition)

基　　金：国家重大技术装备创新项目(2002-565-6)

摘　　要：针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足,提出扩展C/C++标准语法,增加临界资源定义及操作关键字的方案,通过隐藏互斥锁的概念及实现从而降低开发复杂度、实现平台无关.在扩展语法基础上,提出采用分支栈检查算法在代码进行临界资源访问顺序合法化及配对完整性检查,可有效地减少死锁隐患、增强系统的可靠性.To aim at the situation that in multiprogramming environment, the use of mutex has such disadvantages as different standards, complex rules, prone to deadlock, a new method is proposed which extends the C ＋ ＋ standard grammar to incorporate in some critical resource define and access key words. Through hiding the concept and implementation of mutex, the development complexity is reduced and the programming is OS independent. Based on the grammar extension, the branched-stack algorithm is proposed to conduct critical resource access sequence and match integrity checking in code. As a result, hidden troubles brought by deadlock will decreased and reliability will enhanced effectively.

关 键 词：语法扩展 互斥锁 临界资源 有限自动机 死锁检测 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]