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

小 型 微 型 计 算 机 系 统 2010 年 月 第 期 Journal of Chinese Computer Systems Vol.30 No. 2010 一种含共享变量维持声明的并行程序语言 1,2 1,2 1，2 1,2 汪 晨 ，张 昱 ，付小朋 ，张 伟 1 （中国科学技术大学计算机科学与技术学院，安徽 合肥 230027 ） 2 （中国科学技术大学苏州研究院软件安全实验室，江苏 苏州 215123 ） E-mail ： yuzhang@ 摘 要：现今的并行编程实践多采用锁来同步对共享资源的访问，编程难且易出错；新引入的原子区构造虽简化了编程， 但支持其实现的软硬件技术尚不令人满意。本文就同步提出一种新的语言级抽象——共享变量维持声明，它允许程序员从 局部于线程的观点声明当前线程对某共享变量 s 访问的维持需求，即声明当前线程在运行时从上次访问 s 到这次访问 s 期 间不允许其他线程访问s 。从而，程序员无须考虑该如何使用锁等具体机制来同步对共享变量的访问，也可以避免或解决 原子区所面临的一些问题。本文给出了共享变量维持声明的语法和语义描述，讨论了由这种声明信息生成共享变量访问控 制代码的方法。 关键词：并行程序语言；同步；共享变量维持；访问控制 中图分类号：TP 文献标识码：A 文章编号 ：1000-1220 （2010 ）02-- A Parallel Programming Language With Shared Variable Holding Declaration Wang Chen1,2，Zhang Yu1,2，Fu Xiao-peng1,2，Zhang Wei1,2 1 （School of Computer Science Technology, University of Science Technology of China, Hefei 230027, China ） 2 （Software Security Lab., Suzhou Institute for Advanced Study, University of Science Technology of China, Suzhou, 215123 ） Abstract: Nowadays the way to synchronously access the shared resources with lock 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 with synchronization mechanisms, i.e. holding declaration of shared variables. It allows user 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, pr