作者:张伟 张昱 汪晨 付小朋并行编程程序分析访问控制形状图
摘要:共享数据的并发访问控制是并行编程的关键之一,而对动态共享数据结构的细粒度并发访问控制更是其中的难点.针对操作动态数据结构的指针程序,提出一种并发访问控制的分析方法,该方法采用形状图对程序运行时的动态数据结构和指针变量关系建立抽象,通过形状图推导完成对共享单元的访问控制分析.程序员只需要声明指针及指向单元的共享性和数据结构形状特征,编译器利用本文中的方法分析得到共享单元的访问控制点,并添加使用互斥锁进行访问控制的代码.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《中国科学技术大学学报》(CN:34-1054/N)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国科学技术大学学报》主要刊登基础科学、技术科学及管理科学领域创新、应用价值较高的学术论文和研究成果。
杂志详情