《电子科大-系统结构实验-解决控制冒险.docx》由会员分享，可在线阅读，更多相关《电子科大-系统结构实验-解决控制冒险.docx（8页珍藏版）》请在课桌文档上搜索。
1、鱼占西故土W实验报告课程名称：计算机系统结构实验学院：计算机科学与工程学院专业：计算机科学与技术指导教师：好老师学生姓名：爱学习的大哥哥实验成绩：日期：2017年5月26日电子科技大学计算机学院实验中心也孑科技大学实验报告一、实验工程名称：解决控制冒险二、实验室名称：主楼A2-412实验时间：2017年5月26日三、实验目的在给出的流水线代码根底上，增加ID级关闭写使能信号，以解决不正确分支指令的影响。通过完成这次实验，加深对控制冒险现象的产生和消除控制冒险的原理的理解，提高编程和测试的能力。四、实验原理（一）转移相关问题转移指令改变程序顺序执行的特性。由于是流水线操作，在转移发生之前，假设干
2、条转移指令的后续指令已被取到流水线处理机中。这就是所谓的转移相关问题（branchhazard）,有时也称之为控制相关问题（COntroIhaZard）O回忆我们前面介绍的处理转移相关问题的4种技术：以上任何一种方法都会使硬件固定，编译时会根据硬件机制和转移行为对代码进行调度，以获取最正确性能。（二）消除无条件转移指令的后一条指令影响每条指令在ID时判断在当前在EXE阶段的操作码暂存器的值是否是无条件转移指令：如果是，那么不使能当前在ID阶段的那条指令的WZ、WMEM和WREG的信号，这样这条指令的执行就对程序的逻辑没有影响。（三）条件转移指令条件转移指令的实现思想与无条件转移指令有所类似，但
3、不完全相同。首先对于条件转移指令本身来说，需要判断Z标志是否能用。假设Z标志还没有准备好，那么要暂停流水线一个时钟周期。这一点和判断数据相关极为相似。但由于转移指令只可能改变PC而不改变其它状态，因此用不着封锁WZ,WMEM,WREG（对转移指令来讲，这些信号原本就为OJo因为如果处在译码级的是条件转移指令，而且处在EXE级的是A1.U类型的指令（就要写Z标志到流水线存放器Z了），那么要等到A1.U指令写完Z后，再判断转移与否，为此要暂停一个周期（或者如前所述，插入一条nop指令）。对于条件转移指令的下一条指令的处理方法与无条件指令不同。因为条件转移的下一条指令有可能执行也有可能不执行，需要在
4、对无条件转移指令的处理策略上进行扩展：条件转移的下一条指令在ID时判断在当前在EXE阶段的操作码暂存器的值是否是条件转移指令并且判断是否转移成功（Z的值没变），如果发现成功，那么不使能当前在ID阶段的那条指令的WZ、WMEM和WREG的信号，这条指令的执行就对程序的逻辑没有影响（与无条件处理方式相同）；如果发现转移不成功，说明本条指令为有效指令，使能当前在ID阶段的那条指令的WZ、WMEM和WREG的信号，本条指令正常执行。五、实验内容在给出的流水线代码根底上，增加ID级关闭写使能信号，以解决不正确分支指令的影响。六、实验器材（设备、元器件）ISEDeSignSUiteI4.7集成开发环境，编
5、程语言：Verik）gHD1.硬件描述语言七、实验步骤1、新建工程，将上个实验完成的解决数据冒险与数据前推的代码拷贝进来2、在直接跳转中，需要废除跳转指令的下一条（当译码出跳转指令时，下一条已经流出，所以要废除掉）；而在条件跳转中，需要根据Z的值来判断是否废除下一条指令。在代码中译码级,PCSoUrCe定义如下assignpcsource=i_jri_ji_ja1;选择下,条指令的地址，00选PC+4,Ol选转移地址，10选存放器内地址，11选跳转地址assignpcsource=i_beq&rsrtequi_bne&-rsrtequi_ji_jal;1.OADDEPEN,BTAKEN,ID_
6、branch）；如果是直接跳转，那么一定废除，Pcsource=Il,如果是条件跳转，废除的条件就是pcsource=01,暂不考虑jr指令，那么要废除下一条指令的条件就是pcsource=00;3、在顶层模块添加变量wirewz;/决定是否写Z值wire:exepcsource;/exepcsource主要用在条件跳转WZ需要在id级计算出来，然后传递到exe级,如果废除指令那么WZ=0；exepcsource与之相反，从exe级传递到id级，用来指示下一条指令是否废除。4、增加这两个变量后，顶层模块id级与exe级的代码如下pipeidid_stage(dpc4,inst,/指令译码工D级
7、wrnzwdizwwregzclockrresetn,bpc，jpc，pcsorce，dwreg，dm2reg，dwmem，daluc,daluimmfda,db,dimmfdrn,dshift,djal,Z,ern,mrn,ewreg,InWreg,idadepend,idbdepend,em2reg,wpc,exepcsource,wz);pipeexeexe_stage(wz,ealuc,ealuimm,eazeb,eimm,eshiftzernO,epc4,指令执彳j：EXEejal,ernzealuzZ,malu,wmo,exeadependfexebdepend);5、参加exep
8、csource后，根据步骤2的分析，如果PCSoUrCe!=OO,就废除掉下一条指令，即wreg、Wmem、WZ全部置0,这里需要注意的是，WZ的值有多种表示方法，由于WZ只在控制冒险中使用，并且在控制冒险中Wreg=Wmem=wz,所以这里可以直接将Wreg的值赋给wz,也可以wz=exepcsource0(pcsource0=i_beq&rsrtequ|i_bne&-rsrtequ|iJiJal,在条件跳转中pcsource0=i_beq&rsrtequ|i_bne)assignwreg=(i_add|i_subi_muli_andi_ori_xori_sll/wreg为1时写存放器堆中某
9、一存放器，否那么不写i_srlIi_srai_addii_mulii_andii_orii_xorii_lwIi_luiIi_jal)&wpc&(exepcsource=)&(exepcsource=);assignwmem=i_sw&wpc&(exepcsource=)&(exepcsource=);/为1时写存储器，否那么不写assignWZ=Wregid级CU模块完整代码如下：modulepipeidcu(rsrtequ,func,op,wreg,m2reg,wmem,aluc,regrt,aluimm,sext,pcsource,shift,jal,”数据前推参加的参数*/exe_rd
10、,mern_rd,exe_wreg,mern_wreg,idadepend,idbdepend,rs,rt,rd,exe_m2reg,wpc,exepcsource,wz)；input:exepcsource;input:exe_rd,mem_rd,rs,rt,rd;inputexe_wreg,mern_wreg,exe_m2reg;output:idadepend,idbdepend;outputwpc;/wreg是否写存放器/dm2reg为1时将存储器数据写入存放器，否那么将A1.U结果写入存放器/dwmem为1时写存储器，否那么不写/daluimm为1时A1.Ub输入端使用立即数/dsh
11、ift为1时A1.Ua输入端使用移位位数/djal为1时执行jal指令，否那么不是inputrsrtequ;input:funczop;outputwzfwregfr112reg,wmem,regrt,aluimmfsext,shiftfjal;output:aluc;output:pcsource;wirei_add,i_sub,i_mul,i_and,i_or,i_xor,i_sll,i_srl,i_sra,i_jr;对指令进行译码wirei_addi,i_muli,i_andi,i_ori,i_xori,i_lw,i_sw,i_beq,i_bne,i_lui,i_j,i_jal;and(
12、i_add,op,op,op,op,op,op,*func,func,func)；and(i_sub,op,op,op,op,op,op,*func,func,func)；and(i_mulz*op,op,op,op,op,op,*func,func,func)and(i_and,op,op】，op,op，op,op,func,func,func)and(ior,-op,op,op,op,op,op,func,func,-func);and(i_xorz*op,op,op,op,op,op,func,func,*func),and(i_sra,-op,op,op,op,op,op,func,-
13、func,func)fand(isrl,-op,op,op,op,op,op,-func,func,*func)fand(i_sll,-op,op,op,op,op,op,funczfunczfunc);and(ijr,-op,op,op,op,op,op,funcf-func,func);and(i_addi,-op,op,-op,op,op,op);and(i_muli,-op,op,op,hK2,h02;/addr3,rl,r2;assignrom,h05=2,h00000000;在指令中，第一条指令便是一条无条件跳转指令，要跳转到地址为2的指令，控制冒险应废除掉Ori指令,即r2不写入
14、r315(15),到了add指令时，ahi结果应为O运行程序，观察结果分析一下，在30OnS时，计算出Ori指令的值为15,但是并没有写入存放器，因为在400ns时alu的值为0,故证明了无条件跳转的控制冒险消除成功。2 .测试条件跳转branch,代码如下测试branch指令的停顿assignrom=h二:;/luirl,00assignror11=;/beqnext(beqrlr21)assignrom=;/orir4,rl,8080assignromh=2;/subr8,r9,r4fffassignror11=;/addir5,r,44assignrom=;/storer2,OxO（r4
15、）80在代码中，可以看到beq判断rl,2是否相同，因为二者都是0,自然要跳转到下一条语句，也就是SUb语句，因此Ori指令没有执行，Ori指令也正是前面提到要废除的指令，ori中将r4的值设为rl80（80）,如果控制冒险消除正确，M的值不会发生改变，也就是执行到sub指令时，alu计算出r8的值仍然为O0运行程序，查看测试结果：接下来，进行分析,在第400ns,alu的值为bf800050（80）,但是此时因为检测到了控制冒险，因此该值并没有写入M,这一点从图中在下一个时钟周期（50OnS）alu的值为0可以得到验证，因为如果M写入80,alu的值应为-80,因此，条件转移的控制冒险成功消除。九、总结、改良建议及心得体会（一）总结：经过对代码的改写，包括添加变量、模块参数、修改模块代码、增改连线、反复测试、修改等，成功地通过WZ、WMEMWREG信号消除了无条件转移语句和条件转移语句的后一条指令的影响，较好的完成了本次实验。（二）改良建议：如果能够有板子可以跑一下，就更有意思了，像之前的计算机组成原理那样，实验的最后一步是下载到板子上运行。（三）心得体会：1、先搞懂原理，画图，再编程2、编写多组指令进行测试，并且注意查看内部存放器的值，而不仅仅是查看结果。
