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

Implementation of grammar extemsion based automatic mutex

针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足,提出扩展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.