北邮大三计算机体系结构实验三DLX管理解决方法器程序设计.doc

《北邮大三计算机体系结构实验三DLX管理解决方法器程序设计.doc》由会员分享，可在线阅读，更多相关《北邮大三计算机体系结构实验三DLX管理解决方法器程序设计.doc（10页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、实验三实验三 DLX 处理器程序设计处理器程序设计1. 实验目的实验目的学习简单编译优化方法，观察采用编译优化方法所带来的性能的提高。2. 实验原理实验原理采用静态调度方法重排指令序列，减少相关，优化程序。3、实验内容和要求、实验内容和要求 自编一段汇编代码，完成一维向量加法运算，并输出结果。观察程序中出现 的数据/控制/结构相关。 （注：使用一维数组表示一维向量。 ） 41 向量加法代码清单及注释向量加法代码清单及注释说明说明 1、向量加法设计源代码、向量加法设计源代码 .data VectorLength: .word 16 Vector1: .word 1,2,3,4,5,6,7,8,9

2、,10,11,12,13,14,15,16 Vector2: .word 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ；声明向量长度 以及声明向量 1、2 Printf1: .asciiz “Vector =“ Printf2: .asciiz “ %f“ .align 2 PrintPrompt: .word Printf1 PrintPar: .word Printf2 Result: .space 4 ；存放打印数据的空间申请 .text main: addi r14,r0,PrintPrompt trap 5 lw r20,VectorLength a

3、ddi r2,r0,0 Loop: ld f10,Vector1(r2) ld f12,Vector2(r2) ；循环体中读入向量 cvti2d f0,f10 cvti2d f2,f12 addd f4,f2,f0 ；加法运算 Finish:;* Finish,write result into stdout sd Result,f4 addi r14,r0,PrintPar trap 5 ；系统中断，输出结果 addi r2,r2,4 subi r20,r20,1 bnez r20,Loop ;* End trap 0 2、运行结果、运行结果 51 程序相关性分析结果程序相关性分析结果 （1

4、） 观察程序中出现的数据观察程序中出现的数据/ /控制控制/ /结构相关。指出程序中出现上述现象的指结构相关。指出程序中出现上述现象的指 令组合。令组合。 产生产生 34.12%的数据相关。的数据相关。当对当前指令的操作数寄存器进行操作的时候，前几 条指令的运算结果还未写回结果寄存器，由此产生数据相关。没有产生结构相关。没有产生结构相关。 产生产生 3.94%的控制相关。的控制相关。系统按照预测成功来执行指令，执行一条指令后马上 将其下一条指令 trap 读进来。（2 2）考察增加浮点运算部件对性能的影响。）考察增加浮点运算部件对性能的影响。 1 个浮点运算部件 3 个浮点运算部件同一段代码执

5、行相同步，但是经过对比发现浮点运算部件的多少对于程序执行 效率并没有什么影响，浮点运算部件的多少对统计结果都不造成影响，可能是 由于该程序不存在争用浮点运算部件资源的情况 （3）考察增加考察增加forwardforward 部件对性能的影响。部件对性能的影响。 不使用 forward 部件 使用 forward 部件使用forward部件之后执行相同的代码用的时钟周期比不使用forward部件少了 大约100个时钟周期，由于没有结构相关，所以使用forward部件主要使得RAW相 关明显减少了，占总的时钟周期比例也减少了，对控制相关没有什么影响。 总之，使用 forward 部件后，总的时钟周

6、期减少，数据相关减少，流水线的性 能得到很大的改善。（4）观察转移指令在转移成功和转移不成功时候的流水线开销。观察转移指令在转移成功和转移不成功时候的流水线开销。在本次实验中转移成功的几率比较大，进行 16 次转移只有一次转移不成功的， 因为系统按照预测成功来执行指令，当判断转移不成功时，系统对 trap 指令进 行的操作被全部作废，转而去执行跳转到的指令。42 双精度浮点加法求和代码清单及注释说明双精度浮点加法求和代码清单及注释说明 1、双精度浮点加法求和源代码、双精度浮点加法求和源代码 .data ;初始化两个用于相加的一维向量（双精度浮点数） ，向量长度为 20 a: .double 1

7、.9, 2.1, 3.7, 4.6, 5.5, 6.4, 7.3, 8.2, 9.1, 10.1, 11.2,12.3,13.4,14.5,15.6,16.7,17.8,18.9,19.0,20.2 b: .double 1.1, 2.2, 3.3, 4.4, 5.5, 6.6, 7.7, 8.8, 9.8, 10.9, 11.8,12.7,13.6,14.5,15.4,16.3,17.2,18.1,19.9,20.8 PrintfFormat:.asciiz “The result is nn%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%ft%f

8、t%ft%ft%ftnn“ .align 2 PrintfPar: .word PrintfFormat r: .space 200 ;r 为保存相加结果的向量空间 .text .global main main: addi r1,r0,0 ;r1 计数相加的次数 addui r4,r0,8 ;r4 为常数 8 loop: ;循环计算向量相加结果 subi r2,r1,20 ;r1=20 时，跳转到 finish beqz r2,finish multu r3,r1,r4;r3 为当前分量相对于向量基址的偏移(每个分量占 8B) ld f0,a(r3) ;取 a 中第 r1 个分量 ld f2

9、,b(r3) ;取 b 中第 r1 个分量 addd f4,f0,f2 ;相加结果放在 f4 中 sd r(r3),f4 ;将相加结果放入结果向量 r 中 addi r1,r1,1 ;下一分量 j loop finish: ;输出向量相加的结果 addi r14,r0,PrintfPar trap 5 2、运行结果：、运行结果：52 程序相关性分析结果程序相关性分析结果（1）观察程序中出现的数据/控制/结构相关。指出程序中出现上述现象的指令 组合。 产生了产生了 53.78%53.78%的数据相关。的数据相关。当对当前指令的操作数寄存器进行操作的时候，前 几条指令的运算结果还未写回结果寄存器，

10、由此产生数据相关。产生数据相关 的指令主要有： 1) addi r1,r0,0 subi r2,r1,20 2) subi r2,r1,20 beqz r2,finish 3) multu r3,r1,r4 ld f0,a(r3) 4) ld f2,b(r3) addd f4,f0,f2 无结构相关无结构相关 产生了产生了 4.29%的控制相关。的控制相关。系统按照预测成功来执行指令，执行一条指令后马 上将其下一条指令 trap 读进来。和 4.1 代码类似。 （2 2） 考察增加浮点运算部件对性能的影响。考察增加浮点运算部件对性能的影响。 1 个浮点运算部件 3 个浮点运算部件 同一段代码执

11、行相同步，但是经过对比发现浮点运算部件的多少对于程序执行 效率并没有什么影响，浮点运算部件的多少对统计结果都不造成影响，可能是 由于该程序函数中没有连续的浮点运算指令。 （3 3） 考察增加考察增加forwardforward 部件对性能的影响。部件对性能的影响。 没有 forward 部件 有 forward 部件 使用forward部件之后执行相同的代码用的时钟周期比不使用forward部件少了 大约122个时钟周期，使用forward部件使得RAW相关明显减少了，流水线的性 能得到很大的改善。 （4）观察转移指令在转移成功和转移不成功时候的流水线开销。观察转移指令在转移成功和转移不成功时

12、候的流水线开销。该转移指令不成功的情况较多，21 次预测中只有 1 次转移成功，所以预测顺序 取对流水线的性能是有利的。 6、实验、实验总结总结本次实验主要是向量求和运算，在本次实验我设计了两个部分，首先是整 数向量的加法，整数向量加法的实验进行成功后才在之前实验的基础上略作修 改，进行了的双精度浮点加法求和的实验。本次实验没有输入，是直接对固定 在代码中的数据进行运算，运算完毕后直接输出结果。编程中遇到的一些问题：在由整形改为双精度浮点运算的时候对双精度运算指令不知道怎么来标识，后来查到所有涉及到 double 型数据的运算指令，指令 代码都要加上 d 来说明，否则编译是不通过的。 通过本次自己编写汇编程序对浮点数的操作有了更深入的了解，也学会了 WINDLX 中浮点寄存器和浮点状态寄存器的设置和使用。熟悉了双精度浮点运算 的流水线操作过程，以及数据相关，结构相关，控制相关，forward 部件对于双 精度浮点运算流水线的影响。