基于共享资源声明的并行程序语言的设计与前端实现.pdf

文档介绍：中国科学技术大学硕士学位论文基于共享资源声明的并行程序语言的设计与前端实现姓名:汪晨申请学位级别:硕士专业:计算机软件与理论指导教师:张昱20100401摘要摘要现今的并行编程实践多采用锁来同步对共享资源的访问,编程难且易出错;新引入的原子区构造虽简化了编程,佴支持其实现的软硬件技术尚不令人满意。本文就同步提出一种新的语言级的抽象一共享资源声明,它允许程序员从局部于线程的观点声明当前线程对某共享变量s访问的维持需求,即声明当前线程在运行时从上次访问s到这次访问s期间不允许其他线程访问s。从而,程序员无须考虑该如何使用锁等具体机制来同步对共享变量的访问,也可以避免或解决原子区所面临的一些问题。本文基于共享资源声明,设计一种具有C语言风格的并行编程语言SPC(),并给出该语言的前端部分的实现工作。论文的主要研究内容有以下几个部分。。参与设计‘种小型并行编程语言SPC,给出其语法和非彤式的语义描述以及类型系统的定义。以只含整型的SPC语言子集为基础,设计一种算法,通过分析SPC程序中的共享资源声明信息来获得线程对共享变量的维持需求信息。并以此讨论语言的操作语义的形式定义以及具体访问控制代码的生成方法。。课题组基于SUIF编译框架构筑SPC语言的编译器,它本质上将SPC程序编译成普通的含有具体并发访问控制的C程序。本文重点讨论SPC在SUIF框架上的中间表示等数据结构的设计,以及为SPC源程序生成中间表示的方法,为开展程序分析和程序变换奠定基础。关键字:并行程序语言;共享内存j共享资源声明j访问摔制AbstractAbstractCurrently,itisdifficultanderror-,boththesoftwareandhardwaresupportarenotenough,,esstothesharedvariables,,(SPC)—:,theinformaloperationalsemantic,,wedesignanalgorithmtoanalyzetheSPCprogramswiththesharedresourcedeclarationinformationSOastoobtain