基于共享资源声明的并行程序语言的设计与前端实现-计算机软件与理论专业论文.docxVIP

AbstractAbstract Abstract Abstract Currently，it is difficult and error-prone to write parallel programs by using locks to control the access to the shared resources．The recent technique using atomic block tO do synchrionization the parallel programming for the programmers． However,both the software and hardware support not enough，and cannot support the implementations of the atomic block as our expectation．This thesis presents a novel parallel programming language which uses the explicit declaration of shared resources to synchronize the program．It al lows the programmers to declare some data maintenance requirements over the shared variables of each thread．These requirements forbid other threads tO access the shared variables owned by the current thread．Therefore，the programmers do not need to consider how to use the expl icit locks to synchronize the access to the shared variables，and our programming model also avoid some problems that we have tO solve in the jmp Jementatjons of the atomic block．In this thesis，WC design a Short for Shared Resource Declarations Based Parallel C．style Language(SPC)based on the declaration of using shared variables．A prototype of the front—end of compi ler for SPC is implemented to show our works．The main contributions of this thesis are listed as foIlows： 1．Designing the SPC language We design a small parallel programming language SPC by giving the corresponding syntax，the informal operational semantic，and the definition of the type system． Based on a subset SPC language which is only capable of handling the integer data，we design an algorithm to analyze the SPC programs with the shared resource declaration information SO as to obtain the data maintenance requirements for each thread．Then we discuss the formal operational semantics of the language and the approach to generating the concrete codes that are wel l synchronized． 2．Implementing the SPC’S front-end Our group implements the compiler prototype for SPC based on the SUIF comp