| 一种基于语法扩展的自动互斥锁实现机制 |
| |
| 引用本文： | 陶毅,杨红雨,胡术. 一种基于语法扩展的自动互斥锁实现机制[J]. 四川大学学报(自然科学版), 2008, 45(3): 503-506 |
| |
| 作者姓名： | 陶毅 杨红雨 胡术 |
| |
| 作者单位： | 四川大学图形图像研究所,成都,610064;四川大学图形图像研究所,成都,610064;四川大学图形图像研究所,成都,610064 |
| |
| 基金项目： | 国家重大技术装备创新项目(2002-565-6) |
| |
| 摘 要： | 针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足，提出扩展C/C++标准语法，增加临界资源定义及操作关键字的方案，通过隐藏互斥锁的概念及实现从而降低开发复杂度、实现平台无关.在扩展语法基础上，提出采用分支栈检查算法在代码进行临界资源访问顺序合法化及配对完整性检查，可有效地减少死锁隐患、增强系统的可靠性.
|
| 关 键 词： | 语法扩展 互斥锁 临界资源 有限自动机 死锁检测 |
Implementation of grammar extemsion based automatic mutex |
| |
| TAO Yi,YANG Hong-Yu,HU Shu. Implementation of grammar extemsion based automatic mutex[J]. Journal of Sichuan University (Natural Science Edition), 2008, 45(3): 503-506 |
| |
| Authors: | TAO Yi YANG Hong-Yu HU Shu |
| |
| Affiliation: | Institute of Image and Graphics, Sichuan University;Institute of Image and Graphics, Sichuan University;Institute of Image and Graphics, Sichuan University |
| |
| Abstract: | |
| |
| Keywords: | grammar extension mutex critical resource DFA deadlock checking |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《四川大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《四川大学学报(自然科学版)》下载全文 |
