| 一种动态共享数据结构的并发访问控制分析方法 |
| |
| 引用本文： | 张伟,张昱,汪晨,付小朋.一种动态共享数据结构的并发访问控制分析方法[J].中国科学技术大学学报,2011,41(2). |
| |
| 作者姓名： | 张伟 张昱 汪晨 付小朋 |
| |
| 作者单位： | 中国科学技术大学计算机科学技术学院,安徽,合肥,230027;中国科学技术大学苏州研究院软件安全实验室,江苏,苏州,215123 |
| |
| 摘 要： | 共享数据的并发访问控制是并行编程的关键之一,而对动态共享数据结构的细粒度并发访问控制更是其中的难点.针对操作动态数据结构的指针程序,提出一种并发访问控制的分析方法,该方法采用形状图对程序运行时的动态数据结构和指针变量关系建立抽象,通过形状图推导完成对共享单元的访问控制分析.程序员只需要声明指针及指向单元的共享性和数据结构形状特征,编译器利用本文中的方法分析得到共享单元的访问控制点,并添加使用互斥锁进行访问控制的代码.
|
| 关 键 词： | 并行编程 程序分析 访问控制 形状图 |
An analysis approach to concurrent access control for shared mutable data |
| |
| ZHANG Wei,ZHANG Yu,WANG Chen,FU Xiaopeng.An analysis approach to concurrent access control for shared mutable data[J].Journal of University of Science and Technology of China,2011,41(2). |
| |
| Authors: | ZHANG Wei ZHANG Yu WANG Chen FU Xiaopeng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
