architectures robust computer effects of microwaves · 2002-06-13 · reliable computer...
TRANSCRIPT
![Page 1: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/1.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
EFFECTS OF MICROWAVESRobust Computer Architectures
Prof. Bruce Jacob
Electrical & Computer EngineeringUniversity of Maryland, College Park
UNIVERSITY OF MARYLAND
![Page 2: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/2.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
System Modeling
WHEN systems fail, HOW do they fail?
We use this informationto develop & test reliable architectures
SIMULATOR
BehavioralResultsRE-THINK
HDL Modelof Chip
Results ofPhysical
Experiments& DeviceModeling
![Page 3: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/3.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Tasks (Talk Outline)
ACCOMPLISHED
•
Verilog models of two bootable microprocessors (simple/advanced)
•
Initial work on robust architectures(reliability studies, draft floorplan)
IN PROGRESS
•
Verilog model of microprocessor with hardware checkpoint/repair
FUTURE WORK
•
Fabricate and test physical designs
•
Enhanced Verilog and SPICE software
![Page 4: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/4.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Processor Model: simple
Single-Issue, In-Order, Five-Stage Pipeline
REGISTER FILE
SRC1SRC2
TGT
Program Counter
TLB &I-CACHE
OP rA PC
Sign-Ext-7SRC1
TGT
SRC2
PCOP rT OPERAND2 OPERAND1s2s1
rT STORE DATAOP
+1
TLB &D-CACHE
ADDRDATA IN
RF WRITE DATArT
DATA OUT
FETCHSTAGE
DECODESTAGE
EXECUTESTAGE
MEMORYSTAGE
WRITEBACKSTAGE
RF WRITE DATArT
Left-Shift-6
SRC2 SRC1
ALU OUTPUT
OPERAND0
PC
+1
ADD
PC
EXC
EXC
EXC
EXC
rCrB
s2s1
ALU &SHIFT
![Page 5: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/5.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Processor Model: simple
Single-Issue, In-Order, Five-Stage Pipeline
16-bit processor coreHandles interrupts precisely
![Page 6: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/6.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Processor Model: advanced
High-Performance Out-of-Order Core
Instruction N+1 Instruction N
FETCH BUFFERS
RESULT BUSES
OPERAND 1OPID
INSTR QUEUE
ISSUE BUS
ENQUEUEBUS
DATAMEMORY
OPIDOPERAND 2OPERAND 1OPID OPERAND 2 ADDRESS DATA
COMMIT
COMMITBUS
— —
REGISTERFILE
ALU0BUS
ALU1BUS
MEMORYBUS
EXECUTEPHASE
ISSUEPHASE
ENQUEUEPHASE
FETCHPHASE
OPID ADDRESS DATA
OPID ADDRESS DATA
IQ0 IQ1 Instruction N+2 IQ7IQ2 . . .
INSTRUCTIONMEMORY
BUS
![Page 7: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/7.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Processor Model: advanced
PowerPC ISA with AltiVec SIMD Unit
Design & layout of core in progress (AltiVec multiplier above)
![Page 8: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/8.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Robust Architectures
INITIAL STUDY: Assume the Worst Case
Checkpoint/Repair ...
CHECKPOINT:
Periodically save KNOWN-GOOD STATE
In case of FAULT, REPAIR to last saved state
TIME
State i-2 State i-1 State i
FAULTDETECT
Resume Executionfrom STATE i
![Page 9: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/9.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Robust Architectures
INITIAL STUDY: Assume the Worst Case
Implementation can be single- or multi-chip
. . .. . .
REPAIR
CHECKPOINT
Sensor/Detector
Busses protected viaECC encoding
Small shielded areaLarge transistors
72 x (32+ECC) bits
GPRs/FPRsCtrl Regs
PC
![Page 10: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/10.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Robust Architectures
0 1 2 4 8 16 32 640.00
0.25
0.50
0.75
1.0
Portion of die unaffected
Successrate
![Page 11: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/11.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Robust Architectures
![Page 12: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/12.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Robust Architectures
Initial Floorplan (simple CPU + safestore)
![Page 13: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/13.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Globally Asynchronous
ASSUMPTION: Clock Net is Weak Point
Processing elements generate local clocksSynchronize at inter-node communication
MEMORY MEMORY
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
P
![Page 14: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/14.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Future Work
Synthesize, Fabricate, Test Canonical Forms
•
Clock trees
•
Busses (w/ and w/o ECC)
•
Memories (w/ and w/o ECC)
•
Arithmetic/Logic Units
Incorporate Drift-Diffusion into CAD tools(more accurate SPICE/Verilog modeling)
![Page 15: Architectures Robust Computer EFFECTS OF MICROWAVES · 2002-06-13 · RELIABLE COMPUTER ARCHITECTURES MURI Review June 8, 2002 Bruce Jacob University of Maryland Tasks (Talk Outline)](https://reader033.vdocuments.site/reader033/viewer/2022060212/5f04f75c7e708231d4109776/html5/thumbnails/15.jpg)
RELIABLECOMPUTER
ARCHITECTURES
MURI Review
June 8, 2002
Bruce Jacob
University of
Maryland
Participants
Profs. Bruce Jacob & Neil Goldsman, UMCP
A host of grad students:
•
Azadeh Davoodi, Cagdas Dirik, Amol Gole, Samuel Rodriguez, Ohm Tuaycharoen (Architecture)
•
Akin Akturk, Zeynep Dilli, Tejas Chitnis (Microelectronics)
UNIVERSITY OF MARYLAND