Datorarkitektur I Fö 6/7- 1 Datorarkitektur I Fö 6/7- 2 Internal Structure of the CPU INTERNAL STRUCTURE AND FUNCTIONING OF THE CPU System Bus 1. Internal Structure of the CPU Control Unit 5. Pipeline Hazards Address Lines IR PC ALU Data Lines 4. Instruction Pipelining 2. Register Organization Control Lines 3. The Instruction Cycle Registers CPU Internal CPU Bus 6. Structural Hazards 7. Data Hazards 8. Control Hazards Petru Eles, IDA, LiTH Petru Eles, IDA, LiTH Datorarkitektur I Fö 6/7- 3 Datorarkitektur I Register Organization Fö 6/7- 4 Some Trade-offs A large number of general purpose registers ⇒ large number of bits for encoding register operands; specialization of registers reduces this need. • Too small number of registers creates problems to the programmer and leads to an increased memory traffic. The number of general-purpose or data registers is often between 8 - 32. RISC processors often have a very large number of registers (~ 100). • • The set of registers within the CPU represents the top level of the memory hierarchy inside the computer system - User visible registers: can be accessed by assembly language programmers. - Control and Status registers: used by the Control Unit to control the operation of the CPU; not directly accessible by the programmer. User Visible Registers • • Some architectures provide a set of registers which can be used without restrictions as operands for any opcode and as address registers; these are so called general-purpose registers. Often the architecture creates a separation between: - data registers: can be used to hold only data. Some architectures impose restrictions to the use of data registers: for example there can be disjoint sets of registers for integer and for floating point computation. - address registers: registers used only for address representation and computation: base registers, index registers, stack pointer, etc. In some architectures address registers can be specialized for some of the previous functions. Petru Eles, IDA, LiTH Control and Status Registers • • • • • Program Counter (PC): holds the address of the instruction to be fetched. Instruction Register (IR): holds the last instruction fetched. Memory Address Register (MAR): holds the address of a memory location that is to be read or written. Memory Buffer Register (MBR): holds the data to be written to memory or the data most recently read. Program Status Word (PSW): Condition Code Flags + other bits defining the status of the CPU (interrupt enabled/disabled, supervisor, etc.) Petru Eles, IDA, LiTH Datorarkitektur I Fö 6/7- 5 Datorarkitektur I Fö 6/7- 6 The Instruction Cycle Some Examples of Register Organizations • • Z8000: 16 General purpose registers; no restrictions in use Intel 80X86, Pentium: 4 Data registers 4 Index&address registers 4 Base (segment) registers Some of the Address registers can also be used for general purpose Fetch instruction FI Decode DI Fetch operand • PowerPC: 2 groups of General purpose registers, each of 32 registers; one group is for integer (fixed point) computation, the other one for floating point computation. Petru Eles, IDA, LiTH Execute instruction Fö 6/7- 7 Datorarkitektur I Instruction Pipelining Fö 6/7- 8 Acceleration by Pipelining Instruction execution is extremely complex and involves several operations which are executed successively (see slide 6). This implies a large amount of hardware, but only one part of this hardware works at a given moment. Two stage pipeline: • • Pipelining is an implementation technique whereby multiple instructions are overlapped in execution. This is solved without additional hardware but only by letting different parts of the hardware work for different instructions at the same time. The pipeline organization of a CPU is similar to an assembly line: the work to be done in an instruction is broken into smaller steps (pieces), each of which takes a fraction of the time needed to complete the entire instruction. Each of these steps is a pipe stage (or a pipe segment). Pipe stages are connected to form a pipe: Stage 1 • Stage 2 1 2 3 4 5 6 7 8 Instr. i FI EI FI EI Instr. i+2 Instr. i+3 Instr. i+4 Instr. i+5 Instr. i+6 FI EI FI EI FI EI FI EI FI EI We consider that each instruction takes execution time Tex. Execution time for the 7 instructions, with pipelining: (Tex/2)*8= 4*Tex Stage n The time required for moving an instruction from one stage to the next: a machine cycle (often this is one clock cycle). The execution of one instruction takes several machine cycles as it passes through the pipeline. Petru Eles, IDA, LiTH FI: fetch instruction EI: execute instruction Clock cycle → Instr. i+1 • - Execute instruction (EI) - Write back operand (WO) Petru Eles, IDA, LiTH Datorarkitektur I • - Calculate operand address (CO) - Fetch operand (FO) Petru Eles, IDA, LiTH Datorarkitektur I Fö 6/7- 9 Datorarkitektur I Fö 6/7- 10 Acceleration by Pipelining (cont’d) Acceleration by Pipelining (cont’d) Six stage pipeline (see also slide 6): FI: fetch instruction FO: fetch operand DI: decode instruction EI: execute instruction CO: calculate operand address WO:write operand Clock cycle → 1 2 3 4 5 6 7 8 9 10 11 12 Instr. i FI DI COFO EI WO Instr. i+1 Instr. i+2 Instr. i+3 • FI DI COFO EI WO FI DI COFO EI WO Apparently a greater number of stages always provides better performance. However: - a greater number of stages increases the overhead in moving information between stages and synchronization between stages. - with the number of stages the complexity of the CPU grows. - it is difficult to keep a large pipeline at maximum rate because of pipeline hazards. FI DI COFO EI WO Instr. i+4 FI DI COFO EI WO Instr. i+5 80486 and Pentium: FI DI COFO EI WO Instr. i+6 FI DI COFO EI WO PowerPC: five-stage pipeline for integer instr. eight-stage pipeline for FP instr. four-stage pipeline for integer instr. six-stage pipeline for FP instr. Execution time for the 7 instructions, with pipelining: (Tex/6)*12= 2*Tex • After a certain time (N-1 cycles) all the N stages of the pipeline are working: the pipeline is filled. Now, theoretically, the pipeline works providing maximal parallelism (N instructions are active simultaneously). Petru Eles, IDA, LiTH Petru Eles, IDA, LiTH Datorarkitektur I Fö 6/7- 11 Datorarkitektur I Pipeline Hazards Structural Hazards • • • Pipeline hazards are situations that prevent the next instruction in the instruction stream from executing during its designated clock cycle. The instruction is said to be stalled. When an instruction is stalled, all instructions later in the pipeline than the stalled instruction are also stalled. Instructions earlier than the stalled one can continue. No new instructions are fetched during the stall. Types of hazards: 1. Structural hazards 2. Data hazards 3. Control hazards Fö 6/7- 12 Structural hazards occur when a certain resource (memory, functional unit) is requested by more than one instruction at the same time. Instruction ADD R4,X fetches in the FO stage operand X from memory. The memory doesn’t accept another access during that cycle. Clock cycle → 1 2 3 4 5 6 7 8 9 10 11 12 ADD R4,X FI DI COFO EI WO Instr. i+1 Instr. i+2 Instr. i+3 Instr. i+4 FI DI COFO EI WO FI DI COFO EI WO stall FI DI COFO EI WO FI DI COFO EI WO Penalty: 1 cycle • Petru Eles, IDA, LiTH Certain resources are duplicated in order to avoid structural hazards. Functional units (ALU, FP unit) can be pipelined themselves in order to support several instructions at a time. A classical way to avoid hazards at memory access is by providing separate data and instruction caches. Petru Eles, IDA, LiTH Datorarkitektur I Fö 6/7- 13 Datorarkitektur I Fö 6/7- 14 Data Hazards Data Hazards (cont’d) • • We have two instructions, I1 and I2. In a pipeline the execution of I2 can start before I1 has terminated. If in a certain stage of the pipeline, I2 needs the result produced by I1, but this result has not yet been generated, we have a data hazard. I1: I2: MUL ADD MUX R2 ← R2 * R3 R1 ← R1 + R2 R2,R3 R1,R2 MUX bypass path bypass path ALU Clock cycle → 1 2 3 4 5 6 7 8 9 10 11 12 MUL R2,R3 FI DI COFO EI WO ADD R1,R2 Some of the penalty produced by data hazards can be avoided using a technique called forwarding (bypassing). from reg- from register or ister or memory memory to register or memory FI DI CO stall stall FO EI WO FI DI Instr. i+2 COFO EI WO • Before executing its FO stage, the ADD instruction is stalled until the MUL instruction has written the result into R2. Penalty: 2 cycles The ALU result is always fed back to the ALU input. If the hardware detects that the value needed for the current operation is the one produced by the previous operation (but which has not yet been written back) it selects the forwarded result as the ALU input, instead of the value read from register or memory. Clock cycle → 1 2 3 4 5 6 7 8 9 10 11 12 MUL R2,R3 FI DI COFO EI WO ADD R1,R2 FI DI CO stall FO EI WO After the EI stage of the MUL instruction the result is available by forwarding. The penalty is reduced to one cycle. Petru Eles, IDA, LiTH Petru Eles, IDA, LiTH Datorarkitektur I Fö 6/7- 15 Datorarkitektur I Control Hazards Fö 6/7- 16 Control Hazards (cont’d) Conditional branch • Control hazards are produced by branch instructions. Unconditional branch -------------BR TARGET -------------TARGET -------------After the FO stage of the branch instruction the address of the target is known and it can be fetched 1 2 3 4 5 6 7 8 9 10 11 12 BR TARGET FI DI COFO EI WO FI target+1 stall stall Clock cycle → 1 2 3 4 5 6 7 8 9 10 11 12 ADD R1,R2 FI DI COFO EI WO target The instruction following the branch is fetched; before the DI is finished it is not known that a branch is executed. Later the fetched instruction is discarded FI stall stall FI DI COFO EI WO Penalty: 3 cycles Branch not taken At this moment the condition is known and instr+1 can go on. Clock cycle → 1 2 3 4 5 6 7 8 9 10 11 12 ADD R1,R2 FI DI COFO EI WO BEZ TARGET instr i+1 Penalty: 2 cycles Petru Eles, IDA, LiTH FI DI COFO EI WO FI DI COFO EI WO FI DI COFO EI WO Penalty: 3 cycles R1 ← R1 + R2 branch if zero At this moment, both the condition (set by ADD) and the target address are known. BEZ TARGET Clock cycle → target TARGET Branch is taken ADD R1,R2 BEZ TARGET instruction i+1 ------------------------- Petru Eles, IDA, LiTH FI DI COFO EI WO FI stall stall DI COFO EI WO Datorarkitektur I Fö 6/7- 17 Datorarkitektur I Fö 6/7- 18 Summary Control Hazards (cont’d) • • With conditional branch we have a penalty even if the branch has not been taken. This is because we have to wait until the branch condition is available. • Branch instructions represent a major problem in assuring an optimal flow through the pipeline. Several approaches have been taken for reducing branch penalties (see slides of the following lecture). • • • • Petru Eles, IDA, LiTH The main components of the CPU are: Control Unit, ALU and Register set. They are interconnected through the internal CPU Bus. Interconnection with external modules is through the System Bus. Control signals issued by the Control Unit coordinate the functionality and data flow inside the CPU and between CPU and external modules. The register set id the top level of the memory hierarchy. Only a part of the registers is user visible. User visible registers can be general-purpose or specialised. Instructions are executed by the CPU as a sequence of steps. Instruction execution can be substantially accelerated by instruction pipelining. A pipeline is organized as a succession of N stages. At a certain moment N instructions can be active inside the pipeline. Keeping a pipeline at its maximal rate is prevented by pipeline hazards. Structural hazards are due to resource conflicts. Data hazards are produced by data dependencies between instructions. Control hazards are produced as consequence of branch instructions Petru Eles, IDA, LiTH