近年来随着超线程、多核体系结构等多线程技术的发展和广泛应用,计算机底层系统已经提供了越来越高效的并行运行平台。但是,当前并行编程仍然是件困难的事情。如何提高程序的并发度,保证共享数据的一致性,减轻程序员编程的负担,降低编译器运行的开销等,都成为制约并行编程的重大问题。本课题组试图就同步问题提出另一种形式的高级抽象——共享资源使用声明,探索从这种抽象描述获取程序对共享变量的本质要求的程序分析理论和技术,研究选用最有效的同步方式(锁、事务内存或无锁等)生成满足这本质要求的共享变量访问控制代码的理论和技术。本文研究重心主要包含三部分:1)研究链表结构动态数据的共享性和维持性,并给出自动加锁操作的同步控制方法;2)研究整型共享数据的维持区间,根据程序结构和维持区间的关系,分析具体加锁和解锁的访问控制点。3)在一个编译框架下完成前面所述语言的实现,包括用于代码翻译的程序变换和变换后程序的运行库。