一种含共享变量维持声明的并行程序语言  

Parallel Programming Language with Shared Variable Holding Declaration

作　　者：汪晨[1,2] 张昱[1,2] 付小朋[1,2] 张伟[1,2] 

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

出　　处：《小型微型计算机系统》2011年第7期1387-1393,共7页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(9071802660928004)资助

摘　　要：现今的并行编程实践多采用锁来同步对共享资源的访问,编程难且易出错;新引入的原子区构造虽简化了编程,但支持其实现的软硬件技术尚不令人满意.本文就同步提出一种新的语言级抽象-共享变量维持声明,它允许程序员从局部于线程的观点声明当前线程对某共享变量s访问的维持需求,即声明当前线程在运行时从上次访问s到这次访问s期间不允许其他线程访问s.从而,程序员无须考虑该如何使用锁等具体机制来同步对共享变量的访问,也可以避免或解决原子区所面临的一些问题.本文给出了共享变量维持声明的语法和语义描述,讨论了由这种声明信息生成共享变量访问控制代码的方法.Nowadays the way to synchronously access the shared resources using locks in parallel programming is difficult to write and error-prone. The newly language construct of atomic section promises to make parallel programming easier, but the software and hardware technology to support atomic sections is not satisfied. This paper presents a new language abstract on synchronization mechanisms, i.e. holding declaration of shared variables. It allows programmers to declare the local holding requirement of some shared variable s in current thread, e.g. declaring that it is forbidden to access the shared variable s from other threads since the latest access to s in current thread. Therefore, programmers need not consider how to access shared variables with concrete synchronization mechanisms, such as using locks and so on, and can avoid or solve some problems confronted by atomic sections. In the paper, the syntax and the semantic description of the shared variable holding declaration are presented, and methods for generating the shared variable access control code from such declaration information are discussed.

关 键 词：并行程序语言 同步 共享变量维持 访问控制 

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