基于共享资源声明的并发访问控制研究与实现-计算机软件与理论专业论文.docxVIP

AbstractWith Abstract With the development and widespread use of multi-COre processors techniques， low-!evel architectures are providing more and more efficient platform for parallel applications．However it is still extremely hard for programmers to do parallel a8 programming。There exists challenging problems on parallel programmmg，SUCh how to increase concurrency，ensuring the consistency of shard data，relieving the burden of parallel programming and reducing the runtime overhead of compilers· Our research group attempts to propose a novel synchronization abstractlon—— the declaration of using shared resources．Based on this new abstraction we explore the basic theories and techniques for obtaining the requirements over shared variables· Then some efficient synchronization mechanism(mutual exclusive lock，software transactional memory interfaces or lock·free mechanism)are used for generating well．synchronized codes according to the requirements· This thesis mainly contains three parts：1)Investigation of the sharing property and sustainability of dynamical data structures such aS link list，then to propose a method to instrument the original code with locks automatically；2)Investigation of the susraining region of shared integer data，and analyzing the locking and unlocking points by the relation of program structure and the sustaining region； 3)Implementation of the language in a compiler framework，including program transformation and runtime library． This thesis，s work which combines the analysis result with code transformation and the mntime library would be helpful to implement higher-level abstraction in parallel programming languages· Key Words：Concurrency Programming；Program Analysis；Concurrent Access Control；S hape Analysis III 中国科学技术大学学位论文原创性声明本人声明所呈交的学位论文，是本人在导师指导卜．进行研究工作所取得的成 中国科学技术大学学位论文原创性声明 本人声明所呈交的学位论文，是本人在导师指导卜．进行研究工作所取得的成 果。除已特另J)Jn以标注和致谢的地方外，论文中不包含任何他人已经发表或撰写 过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作了明确 的说明。 作者签名：星丝至堑 签字日期： 忉l。。6。l。 中国科学技术大学学位论文授权使用声明 作为