现今的并行编程实践多采用锁等较低的同步机制访问共享资源,这种编程困难且易出错;新引入的原子区构造虽简化了编程,但支持其实现的软硬件技术尚不令人满意。我们课题组就同步提出一种新的语言级抽象——共享变量维持声明,它通过声明共享资源及其使用特征来取代对共享资源同步访问控制的编程,并能避免或解决原子区的所面临的一些问题。本文致力于在课题组设计的并行语言基础上,重点研究整型和指针型共享单元的维持信息分析算法,探讨完成以下工作:1、设计和实现了一种针对整型共享变量维持区间的数据流算法,以计算出共享变量的维持区间。这种算法是过程内的、流敏感的、上下文不敏感的,用于计算并行块中的共享变量的维持区间。2、设计和实现了一种计算程序中指针域的定值引用链的算法,以连接对动态链状数据结构(如链表、树等)进行定值的语句和引用这些链状数据结构的语句。这种算法是过程内的、流敏感的、上下文不敏感的,针对每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结构的语句的集合。该结果将被整合到我们设计和开发的含有指针型的并行语言SPC中,指导对操作动态链状数据结构的并行程序的正确分析和程序变换。