并行语言并发程序细粒度链状数据结构维持分析翻译器.docVIP

并行语言论文：基于共享和形状标注的并行语言程序分析与变换 【中文摘要】多核多处理新一代体系结构的迅猛发展,引发了软件开发方式上的巨变,为了能够充分地发挥体系结构上带来的优势,越来越需要并行编程和并发软件设计,但是,当前并行编程依然是件困难的事情。本课题组已经设计并实现了一种共享资源使用声明的并行程序语言SPC-II,它是基于共享内存模型的一种并行程序语言。与现有的并行语言不同,它最大特点在于为程序员提供一种访问控制的高级抽象,程序员不需要自己管理并发控制,而只需要声明所使用的共享资源,让编译器分析所使用的共享资源的保护区间,根据共享资源的保护区间插桩访问控制代码。本文在课题组的并行语言基础上,着重研究含有指针类型的链状数据结构访问控制,论文的主要研究内容有以下几个部分:1.一种链状数据结构自动细粒度加锁方法就细粒度并发访问链状数据结构提出一种自动方法,这些链状数据结构目前是单链表和双链表,通过分析SPC-II程序中的共享链状数据结构的形状信息来分析程序中共享数据单元的保护信息。2. SPC-II语言翻译器的实现在SUIF编译框架上,实现了一个并行语言SPC-II的编译器,该编译器实质上是一个源语言(SPC-II语言)到源语言(基于... 【英文摘要】The rapid development of Multi-core or multi-processing architecture has brought drastic changes in the way of software development.In order to get the benefits of architecture, parallel programming and concurrent software design has become more and more important, but parallel programming is still a difficult task.Our group is studying a high-productivity parallel programming language base on shared resource useage declaration, which is based on shared memory model,it differents with the current existi... 【关键词】并行语言 并发程序 细粒度 链状数据结构 维持分析 翻译器 【英文关键词】parallel programming language concurrency program fine grained mutable data structure Concurrent access control holding analysis Translator 【索购全文】联系Q1：138113721 Q2：139938848 【目录】基于共享和形状标注的并行语言程序分析与变换 摘要 4-5 ABSTRACT 5-6 第1章 绪论 10-16 1.1 问题描述 10-11 1.2 相关工作与研究现状 11-14 1.2.1 常用的并发控制机制 11-12 1.2.2 指针分析与形状分析 12-13 1.2.3 锁分配算法 13-14 1.3 研究内容 14-15 1.4 论文组织 15-16 第2章 SPC-II语言 16-34 2.1 具体语法 16-22 2.1.1 共享性 16 2.1.2 并行语句 16-17 2.1.3 共享变量的维持语义 17-19 2.1.4 形状声明 19-20 2.1.5 变量 20-21 2.1.6 程序实例 21-22 2.2 抽象语法 22-23 2.3 静态语义 23-29 2.3.1 良型类型 24 2.3.2 类型兼容 24-25 2.3.3 良型类型上下文 25 2.3.4 副作用 25-26 2.3.5 共享效果 26 2.3.6 良型表达式 26-28 2.3.7 良型语句 28-29 2.3.8 良型程序 29 2.4 动态语义 29-32 2.4.1 抽象机 29-30 2.4.2 操作语义 30-32 2.5 总结 32-34 第3章 一种链状数据结构细粒度加锁方法 34-46 3.1 形状图 34-36 3.1.1 定义 34-35 3.1.2 内存抽象 35-36 3.1.3 维持语义 36 3.2 维持分析 36-42 3.2.1 原子命令上的维持分析 37-40 3.2.2 维持数据流分析 40-41 3.2.3 实例分析 41-42 3.3 访问控制代码生成 42-43 3.3.1 细粒度锁语句插桩 42 3