论文部分内容阅读
针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足，提出扩展C／C＋＋标准语法，增加临界资源定义及操作关键字的方案，通过隐藏互斥锁的概念及实现从而降低开发复杂度、实现平台无关．在扩展语法基础上，提出采用分支栈检查算法在代码进行临界资源访问顺序合法化及配对完整性检查，可有效地减少死锁隐患、增强系统的可靠性．