面向信号的ATLAS语言分片技术

论文摘要

本文对ATLAS语言的静态程序分片技术进行了研究。本文首先分析了ATLAS语言所特有的面向信号语句、定时语句、数据总线语句,提出一种基于虚拟资源的设备依赖和时序依赖;设备依赖给出一条信号语句对另一条信号语句在虚拟资源上的依赖关系。时序依赖给出一条信号语句对另一条信号语句定时或延时的控制关系。本文根据ATLAS语言的特点提出新的分片准则,不仅可以对变量进行分片,也可以对虚拟资源进行分片。本文给出一种增强系统依赖图ASDG,相对于传统的系统依赖图它增加了设备依赖边和时序依赖边,并且改进了对图进行遍历的两阶段图形可达性算法,在此基础上最终实现了ATLAS语言程序分片系统。本文还将ATLAS语言分片系统应用于资源配置,给出一种利用程序分片技术获取信号并行性的方法,为资源配置的实现提供了必要的信息。

论文目录

• 内容提要
• 第一章 绪论
• 1.1 研究背景和意义
• 1.2 本文的主要工作
• 1.3 本文的组织结构
• 第二章 相关知识准备
• 2.1 面向信号的ATLAS语言
• 2.1.1 ATLAS语言的发展历史
• 2.1.2 ATLAS测试规范和测试程序
• 2.1.3 ATLAS测试程序的基本结构
• 2.1.4 SMART系统测试程序结构
• 2.2 程序分片技术介绍
• 2.2.1 程序分片技术的发展史
• 2.2.2 程序分片的分类
• 2.2.3 程序分片的应用
• 2.2.4 研究的现状
• 第三章 面向信号语言的程序分片技术
• 3.1 信号语句的相关概念
• 3.1.1 信号语句的定义
• 3.1.2 虚拟资源的定义
• 3.1.3 信号语句中的设备依赖
• 3.1.4 信号语句中的时序依赖
• 3.2 ATLAS语言静态分片准则
• 3.3 基于系统依赖图的程序分片技术
• 3.3.1 分片系统的总体结构
• 3.3.2 构造增强系统依赖图
• 3.3.3 改进的两阶段图形可达性分片算法
• 3.3.4 依赖图到分片后程序的转换
• 第四章 ATLAS 程序分片系统的设计和实现
• 4.1 系统简介
• 4.1.1 开发环境
• 4.1.2 设计思想
• 4.1.3 系统功能
• 4.2 分片系统的详细设计
• 4.2.1 数据结构
• 4.2.2 分片算法
• 4.3 一个应用实例
• 4.3.1 一个实例的源程序
• 4.3.2 程序分片标准及结果
• 第五章 程序分片在资源配置中的应用
• 5.1 资源配置的基本思想
• 5.2 程序分片在资源配置中的应用
• 第六章 总结和展望
• 6.1 总结
• 6.2 将来的工作
• 参考文献
• 摘要
• Abstract
• 致谢
• 导师及作者简介