可重构指令集处理器设计中的软件重定向关键技术研究.ppt

可重构指令集处理器设计中的软件重定向关键技术研究 答辩人：张惠臻 导 师：周学海 教授 内容提要 研究背景 问题与需求 ASIP技术与可重构计算 可重构指令集处理器 软件工具链重定向要求 软件重定向开发环境RSTDE及其关键技术 DP-RISP简介 RSTDE框架 热点动态剖析技术 热点代码映射匹配技术 编译代码生成的可重定向技术 总结与展望 问题与需求 动态变化的应用需求 嵌入式系统广泛的应用领域 科学研究、军事工业、社会生活等 多变的应用环境 日常居家、灾害现场、太空环境等 性能 VS. 灵活性 ASIC vs. GPP 权衡兼顾 ASIP技术与可重构计算 专用指令集处理器 ASIP 软件层次的灵活性，流片后硬件层无法修改 软件工具链问题 可重构计算 硬件可编程性 可重构指令集处理器RISP RISP=可重构计算+ASIP 指令集特点 固定的基本指令集 可变的扩展指令集 设计实现 硬件重构设计 软件代码生成 软件工具链可重定向 工具链快速开发技术 软件移植实现的一种支持技术 目标——在不同的硬件平台上快速地生成软件开发和执行环境，实现软件的兼容性 主要通过指令集和硬件资源等体系结构信息的描述方法来实现 技术意义 缩短开发时间，节省开发人力 提高工具链设计质量 利于新机器和新语言的使用 RISP软件开发工具研究现状 内容提要 研究背景 问题与需求 ASIP技术与可重构计算 可重构指令集处理器 软件工具链重定向要求 软件重定向开发环境RSTDE及其关键技术 DP-RISP简介 RSTDE框架 热点动态剖析技术 热点代码映射匹配技术 编译代码生成的可重定向技术 总结与展望 DP-RISP简介 特点 单片FPGA实现 具有动态剖析特性 主要组成 嵌入式通用处理器核 可重构逻辑部件 输入输出接口 工作模式 兼容模式 剖析模式 正常模式 软件工具链可重定向开发环境RSTDE 内容提要 研究背景 软件重定向开发环境RSTDE及其关键技术 DP-RISP简介 RSTDE框架 热点动态剖析技术 剖析技术介绍 可配置动态剖析器研究 采样剖析机制与实验 热点代码映射匹配技术 编译代码生成的可重定向技术 总结与展望 剖析技术介绍 一种性能分析技术 热点动态剖析技术 可配置动态剖析器CHDPP 基于执行路径动态剖析 分支识别、路径探测、特征存储三阶段 CHDPP的关键参数 路径确定 路径描述符 路径长度值 跨循环次数 利于对循环体的剖析 存储机制设计 存储表大小 Hash函数选择 可用的存储空间太小，路径描述符的表示空间太大 组相联度 替换算法 CHDPP准确度评估方案 频率路径大小 采样剖析 保证一定准确度的前提下，降低剖析开销 采样机制 计时中断采样 Arnold-Grove采样——采样次数，采样间隔 简化的Arnold-Grove采样 采样实现 使能信号 参数寄存器 采样次数 采样间隔 计数器 时钟间隔内已采样次数 当前时钟触发时的跳步值 采样剖析实验 计时频率：处理器工作时钟频率的1/1000 内容提要 研究背景 软件重定向开发环境RSTDE及其关键技术 DP-RISP简介 RSTDE框架 热点动态剖析技术 热点代码映射匹配技术 问题描述 动静代码映射机制 实验分析 编译代码生成的可重定向技术 总结与展望 热点代码映射匹配问题 问题描述 动态剖析的结果：运行时的指令序列 编译程序的输入：静态的应用源代码 动静代码的表示方法 动、静代码共同的基本结构——基本块 代码基本块的多项式表示 路径的参数化模板表示 路径表示的多重嵌套 基于多项式表示的映射匹配算法 基于KMP字符串匹配算法思想 匹配文本：动态路径信息的多项式表示 匹配模式：静态代码的基本块多项式表示集合 特点：多层次匹配 算法分析与评估 算法正确性分析 动态执行路径的基本块组合是静态代码基本块的多重集合 算法时间复杂度 算法有效性评估 选择匹配模式集合 单独的函数体匹配 内容提要 研究背景 软件重定向开发环境RSTDE及其关键技术 DP-RISP简介 RSTDE框架 热点动态剖析技术 热点代码映射匹配技术 编译代码生成的可重定向技术 可重定向编译器原理及关键技术 GCC可重定向实现的关键内容分析 RISP指令的GCC目标描述自动生成 基于RISP指令集的编译后端代码优化生成算法 总结与展望 可重定向编译器原理及关键技术 中间表示方法 机器描述技术 代码生成程序构造 硬件平台与代码生成的接口设计 GCC可重定向实现的关键内容 中间表示语言RTL RTL表达式 RTL结构 目标描述 宏定义头文件：目标平台相关参数 存储约定，寄存器、栈使用，汇编输出约定，文件格式等 机器描述文件 指令属性、指令模板等 函数实现文件 前两个文件中使用到的数据结构和函数等 代码生成