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

摘要：

现今的并行编程实践多采用锁来同步对共享资源的访问,编程难且易出错;新引入的原子区构造虽简化了编程,但支持其实现的软硬件技术尚不令人满意.本文就同步提出一种新的语言级抽象一共享变量维持声明,它允许程序员从局部于线程的观点声明当前线程对某共享变量s访问的维持需求,即声明当前线程在运行时从上次访问s到这次访问s期间不允许其他线程访问s.从而,程序员无须考虑该如何使用锁等具体机制来同步对共享变量的访问,也可以避免或解决原子区所面临的一些问题.本文给出了共享变量维持声明的语法和语义描述,讨论了由这种声明信息生成共享变量访问控制代码的方法.

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

所属期刊栏目：32

分类号：TP312(计算技术、计算机技术)

资助基金：国家自然科学基金项目90718026,60928004

在线出版日期：2012-02-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1387-1393