Lecture 6-7

advertisement
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
Download