现今的并行编程实践多采用锁来同步对共享资源的访问,编程难且易出错;新引入的原子区构造虽简化了编程,但支持其实现的软硬件技术尚不令人满意。本文就同步提出一种新的语言级的抽象——共享资源声明,它允许程序员从局部于线程的观点声明当前线程对某共享变量s访问的维持需求,即声明当前线程在运行时从上次访问s到这次访问s期间不允许其他线程访问s。从而,程序员无须考虑该如何使用锁等具体机制来同步对共享变量的访问,也可以避免或解决原子区所面临的一些问题。本文基于共享资源声明,设计一种具有C语言风格的并行编程语言SPC(Short for Shared Variable Holding Declarations Based Parallel C-style Language),并给出该语言的前端部分的实现工作。论文的主要研究内容有以下几个部分。1.设计SPC语言。参与设计一种小型并行编程语言SPC,给出其语法和非形式的语义描述以及类型系统的定义。以只含整型的SPC语言子集为基础,设计一种算法,通过分析SPC程序中的共享资源声明信息来获得线程对共享变量的维持需求信息。并以此讨论语言的操作语义的形式定义以及具体访问控制代码的生成方法。2.实现SPC的前端。课题组基于SUIF编译框架构筑SPC语言的编译器,它本质上将SPC程序编译成普通的含有具体并发访问控制的C程序。本文重点讨论SPC在SUIF框架上的中间表示等数据结构的设计,以及为SPC源程序生成中间表示的方法,为开展程序分析和程序变换奠定基础。