A Parallel Programming Language With Shared Resource Declaration Design And Front-end Implement

Nowdays, the way to synchronously access the shared resources with lock in parallel programming is difficult to write and error-prone. The newly atomic region technic make user easily to write, but software and hardware technology is not yet satisfactory, and can not completely support its implementation. This paper presents a new language abstract with synchronization mechanisms, i.e. using declaration of shared resuouce. It allows user to declare local holding requiration of some shared variable s in current thread. e.g. it declares that program execution forbid other threads accessing this shared variable s since the lastest access to s in this thread. Therefor, user can keep away from the burden that how to access the shared variables with concrete synchronization mechanisms, like as lock and so on, but also the problem that the atomic region must confront. In the paper, we design a SPC(Short for Shared Variable Holding Declarations Based Parallel C-style Language) language based with the using declaration of shared variable. Then implement the front-end of the SPC compiler. The main work of the thesis as follows:1. Design the SPC languageTo take part in designing a small parallel programming language SPC, and give its syntax, informal semantic description, and type system definition .To design an algorithm based on a subset of integer-based SPC language. By analyszing the SPC program to use the shared resource declaration information, We can obtain the shared variable holding demand information of the thread. Then, We can discuss the formal of the operation semantic of the language and the concrete access control code generation method.3. Implement the SPC's front-endThe team build the SPC compiler based on the SUIF compiler framework, whih transforms the SPC to the C language included the concrete access control code of parallel. The important of the thesis discuss to design the data structure on the SUIF intermediate representation, and the method to generate the intermediate representation from SPC source, which is the base for program analysis and program transformation.