CPE 335. Basic MIPS Architecture Part II

Transcription

1 CPE 335 Computer Organization Basic MIPS Architecture Part II Dr. Iyad Jafar Adapted from Dr. Gheith Abandah slides CPE232 Basic MIPS Architecture 1

2 Multicycle Datapath Approach Let an instruction take more than 1 clock cycle to complete Break up instructions into steps where - each step takes a cycle while trying to balance the amount of work to be done in each step - restrict each cycle to use only one major functional unit; unless used in parallel Not every instruction takes the same number of clock cycles In addition to faster clock rates, multicycle allows functional units that can be used more than once per instruction as long as they are used on different clock cycles, as a result Need one memory only but only one memory access per cycle Need one ALU/adder only but only one ALU operation per cycle CPE232 Basic MIPS Architecture 2

3 Multicycle Datapath Approach, con t At the end of a cycle Store values needed in a later cycle by the current instruction in internal registers (A,B, IR, and MDR). These registers are invisible to the programmer. All of these registers, except IR, hold data only between a pair of adjacent clock cycles thus they don t need write control signal. PC Memory Address Read Data (Instr. or Data) Write Data IR MDR Read Addr 1 Register Read Read Addr 2 Data 1 File Write Addr Read Write Data Data 2 A B ALU ALUo out IR Instruction Register MDR Memory Data Register A, B regfile read data registers ALUout ALU output register Data used by subsequent instructions are stored in programmer visible registers (i.e., register file, PC, or memory) CPE232 Basic MIPS Architecture 3

4 Multicycle Datapath Approach, con t Similar to single cycle, shared functional units should have multiplexers at their inputs. There is only one adder that will be used to update PC, perform ALU operations, comparison for beq, memory address computation, and branch address computation. CPE232 Basic MIPS Architecture 4

5 Multicycle Datapath Approach- Control Signals CPE232 Basic MIPS Architecture 5

6 The Multicycle Datapath with Control Signals PCWriteCond PCWrite IorD MemRead MemWrite MemtoReg IRWrite PCSource ALUOp Control ALUSrcB ALUSrcA RegWrite RegDst PC 0 1 Address Write Data Memory Read Data (Instr. or Data) IR MDR Instr[31-26] Instr[15-0] Instr[5-0] Read Addr 1 Register Read Addr 2 File Write Addr Write Data Sign Extend 32 Instr[25-0] Read Data 1 Read Data 2 Shift left 2 A B PC[31-28] Shift 28 left 2 zero ALU ALU control ALUout CPE232 Basic MIPS Architecture 6

7 Multicycle Machine: 1-bit Control Signals Signal Effect when deasserted Effect when asserted RegDst RegWrite The destination register number comes from the rt field None The destination register number comes from the rd field Write is enabled to selected destination register ALUSrcA The first ALU operand is the PC The first ALU operand is register A MemRead MemWrtite MemtoReg IorD None None The value fed to register file is from ALUOut PC is used as an address to memory unit Content of memory address is placed on Memory data out Memory location specified by the address is replaced by the value on Write data input The value fed to register file is from memory ALUOut is used to supply the address to the memory unit IRWrite None The output of memory is written into IR PCWrite None PCWriteCond None PC is written; the source is controlled by PCSource PC is written if Zero output from ALU is also active CPE232 Basic MIPS Architecture 7

8 Multicycle Machine: 2-bit Control Signals Signal Value Effect 00 ALU performs add operation ALUOp 01 ALU performs subtract operation 10 The funct field of the instruction determines the ALU operation 00 The second input to the ALU comes from register B ALUSrcB 01 The second input to the ALU is 4 (to increment PC) The second input to the ALU is the sign extended offset, lower 16 bits of IR. The second input to the ALU is the sign extended, lower 16 bits of the IR shifted left by two bits 00 Output of ALU (PC +4) is sent to the PC for writing PCSource 01 The content of ALUOut are sent to the PC for writing (Branch address) 10 The jump address is sent to the PC for writing CPE232 Basic MIPS Architecture 8

9 Breaking Instruction Execution into Clock Cycles Cycle 1 Cycle 2 Cycle 3 Cycle 4 Cycle 5 IFetch Dec Exec Mem WB 1. IFetch: Instruction Fetch and Update PC (Same for all instructions) Operations 11I 1.1 Instruction ti Fetch: IR <= Memory[PC] 1.2 Update PC : PC <= PC + 4 Control signals values - IorD = 0, MemRead = 1, IRWrite = 1 - ALUSrcA = 0, ALUSrcB = 01, ALUOp = 00, PCWrite = 1 - PCSrc = 00 CPE232 Basic MIPS Architecture 9

10 Breaking Instruction Execution into Clock Cycles 2. Decode - Instruction decode and register fetch (same for all instructions) We don t know the instruction yet, do non harmful operations Operations 2.1 read the two source registers rs and rt and place them in registers A and B, respectively. A <= Reg[IR[25:21]] B <= Reg[IR[20:16]] 2.2 Compute the branch address ALUOut <= PC + (sign-extend(ir[15:0]) <<2) Control signals values - ALUSrcA = 0, ALUSrcB = 11, ALUOp = 00 CPE232 Basic MIPS Architecture 10

11 Breaking Instruction Execution into Clock Cycles 3. Execution, Memory address computation, or branch completion Operation in this cycle depends on instruction type Operations * if memory reference, compute address ALUOut <= A + sign-extend(ir[15:0]) ALUSrcA A = 1, ALUSrcB = 10, ALUOp = 00 * if arithmetic-logic instruction, perform operation ALUOut <= A op B ALUSrcA = 1, ALUSrcB = 00, ALUOp = 10 CPE232 Basic MIPS Architecture 11

12 Breaking Instruction Execution into Clock Cycles 3. Execution, Memory address computation, or branch completion (continued) operation depends on instruction type Operations * if branch instruction if (A == B) PC<= ALUOut ALUSrcA A = 1, ALUSrcB = 00, ALUOp = 01, PCWriteCond = 1, PCSrc = 01 * if jump instruction PC <= {PC[31:28], (IR[25:0],2 b00)} PCSource = 10, PCWrite = 1 CPE232 Basic MIPS Architecture 12

13 Breaking Instruction Execution into Clock Cycles 4. Memory access or R-type completion operation in this cycle depends on instruction type Operations * if load instruction : read value from memory into MDR MDR <= Memory[ALUOut] MemRead = 1, IorD = 1 * if store instruction: store rt into memory Memory[ALUOut] <= B MemWrite = 1, IorD = 1 * if arithmetic-logical instruction: write ALU result into rd Reg[IR[15:11]] <= ALUOut MemtoReg = 0, RegDst = 1, RegWrite = 1 CPE232 Basic MIPS Architecture 13

14 Breaking Instruction Execution into Clock Cycles 5. Memory read completion Needed for the load instruction only Operations 5.1 store the loaded value in MDR into rt Reg[IR[20:16]] <= MDR RegWrite = 1, MemtoReg = 1, RegDst = 0 CPE232 Basic MIPS Architecture 14

15 Breaking Instruction Execution into Clock Cycles In this implementation, not all instructions take 5 cycles Instruction Class Clock Cycles Required Load 5 Store 4 Branch 3 Arithmetic-logical 4 Jump 3 CPE232 Basic MIPS Architecture 15

16 Multicycle Performance Compute the average CPI for multicycle implementation for SPECINT2000 program which has the following instruction mix: 25% loads, 10% stores, 11% branches, 2% jumps, 52% ALU. Assume the CPI for each instruction class as given in the previous table CPI = Σ CPIi x ICi /IC = 0.25 x x x x x 4 = Compare to CPI = 1 for single cycle?!! Assume CC M = 1/5 CC S Then Performance M / Performance S = (IC x 1 x CC S ) / (IC x 4.12 x (1/5) CC S ) = Multicycle is also cost-effective in terms of hardware. CPE232 Basic MIPS Architecture 16

17 Multicycle Control Unit Multicycle l datapath th control signals are not determined d solely l by the bits in the instruction e.g., g, op code bits tell what operation the ALU should be doing, but not what instruction cycle is to be done next Since the instruction is broken into multiple cycles, we need to know what we did in the previous cycle(s) in order to determine the current action Must use a finite state machine (FSM) for control a set of states (current state stored in State Register) next state function (determined by current state and the input) output function (determined by current state and the input) Combinational control logic... Inst Opcode... State Reg... Datapath control points Next State CPE232 Basic MIPS Architecture 17

18 The States of the Control Unit 10 states are required in the FSM control The sequence of states is determined by five steps of execution and the instruction CPE232 Basic MIPS Architecture 18

19 The Control Unit 1. Logic gates inputs : present state + opcode #bits = 10 outputs: control + next state #bits = 20 truth table size = 2 10 rows x 20 columns 2. ROM Canbeusedtoimplement the truth table above (2 10 x 20 bit = 20 Kbit) Each location stores the control signals values and the next state Each location is addressable by the opcode and next state value CPE232 Basic MIPS Architecture 19

20 Micro-programmed Control Unit ROM implementation is vulnerable to bugs and expensive especially for complex CPU. Size increase as the number and complexity of instructions (states) increases. Use Microprogramming The next state value may not be sequential Generate the next state outside the storage element Each state is a microinstruction and the signals are specified symbolically Use labels for sequencing CPE232 Basic MIPS Architecture 20

21 Sequencer CPE232 Basic MIPS Architecture 21

22 Microprogram The microassembler converts the microcode into actual signal values The sequencing field is used along with the opcode to determine the next state CPE232 Basic MIPS Architecture 22

23 Multicycle Advantages & Disadvantages Uses the clock cycle efficiently the clock cycle is timed to accommodate the slowest instruction step Cycle 1 Cycle 2 Cycle 3 Cycle 4 Cycle 5 Cycle 6 Cycle 7 Cycle 8 Cycle 9 Cycle 10 Clk lw sw R-type IFetch Dec Exec Mem WB IFetch Dec Exec Mem IFetch Multicycle implementations allow functional units to be used more than once per instruction as long as they are used on different clock cycles but Requires additional internal state registers, more muxes, and more complicated (FSM) control CPE232 Basic MIPS Architecture 23

24 Single Cycle vs. Multiple Cycle Timing Single Cycle Implementation: Clk Cycle 1 Cycle 2 Multiple Cycle Implementation: lw sw Waste multicycle clock slower than 1/5 th of single cycle clock due to state register overhead Clk Cycle 1 Cycle 2 Cycle 3 Cycle 4 Cycle 5 Cycle 6 Cycle 7 Cycle 8 Cycle 9 Cycle 10 lw IFetch Dec Exec Mem WB IFetch Dec Exec Mem sw R-type IFetch CPE232 Basic MIPS Architecture 24