一种链状数据结构细粒度自动加锁方法  

An Automatic Approach of Fine-grained Locking for Linked Data Structure

作　　者：张予现[1,2] 张昱[1,2] 

机构地区：[1]中国科学技术大学计算机科学与技术学院,合肥230027 [2]中国科学技术大学苏州研究院软件安全实验室,江苏苏州215123

出　　处：《小型微型计算机系统》2012年第9期1892-1897,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60928004)资助;中央高校基本科研业务费专项资金项目资助

摘　　要：细粒度锁在并行编程与并发软件设计中起着重要的作用.然而,细粒度锁对程序员具有较高的要求,通常在设计细粒度锁并发程序时会带来算法复杂,编程困难,程序易出错等问题.提出一种链状数据结构的细粒度加锁方法,并实现自动转换含有形状和共享标注的程序为细粒度锁代码的翻译器,为了使生成的代码具有无死锁,引入了一致性加锁协议,实验结果表明,基于本文方法能够自动为链状数据结构操作添加细粒度锁,生成的代码具有较高的并发性.Fine-grained locking is extremely important in multi-processor programming and concurrent software design. However, fine-grained locking is notoriously difficult for programmers to get right - mistakes can lead to data races, conservative protection placement ,the program error-prone and other issues. This paper presents an automatic fine-grained locking for linked data structure technique. We have implemented a translator which takes a program annotated with shape declaration and share effect provided by pro- grammer and automatically instruments the fine-grained locking, experimental results show that this method can automatically instru- ment fine-grained locking for linked data structure, making the program a higher concurrency.

关 键 词：并行编程 并发软件 细粒度锁 链状数据结构 翻译器 

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