![Page 1: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/1.jpg)
A Naïve Timing Analyser’s
Wi h Li tWish List for
MPSoC Architectures
Peter Puschner
ARTISTDesign TA Activity Meeting Brussels, Belgium January 2009
![Page 2: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/2.jpg)
Remember ...we want to build safety-critical hard real-time systems
timing requirements have to be met!adequate engineering process– straight-forward construction
t ti b t ti ti i !– easy argumentation about properties – timing!
i l t !!!simple concepts!!!
2
![Page 3: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/3.jpg)
Hierarchical DesignHierarchical design keeps complexity manageable• subsystems need to be (de)composable:
weak/no interactions among subsystemsweak/no interactions among subsystems
SchedulingDesign
Scheduling
tt WCET Analysis
3
![Page 4: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/4.jpg)
Hierarchical DesignHierarchical design keeps complexity manageable• subsystems need to be (de)composable:
weak/no interactions among subsystemsweak/no interactions among subsystems
SchedulingDesign Scheduling
Scheduling
tt WCET Analysis
4
![Page 5: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/5.jpg)
We need ...
• simple, regular shapedimensions are easy to assess, describe
• composability: it has the same dimensions under all circumstances (stand alone, when integrated, ...)
• compositionality: combination function is simplecompositionality: combination function is simple
5
![Page 6: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/6.jpg)
... for low-complexity integration of task timingtask timing• composability: timing of task not affected by other tasks
I/O i i li f WCET• I/O compositionality of WCETs:
wcetA;B(I) = wcetA(I) + wcetB(OA(I))no cross border relationships between A and Bno cross-border relationships between A and B,thus no costly over-estimation by hierarchical TA
• simple, regular shape: stable, invariable XTssimple, regular shape: stable, invariable XTs
no undesirable effects of execution-time jitter,simple scheduling/schedulability tests
6
![Page 7: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/7.jpg)
Realizing Composability
• Spatial isolationcompeting tasks use different resources (e.g., SMART cache)price: reduced resource bandwidth for each taskprice: reduced resource bandwidth for each task
• Temporal isolationcompeting tasks use resources in different time windowsp gprice: save/restore state before/after each task activation
• Restrict state update strategy for shared resourcesf hi i i i d hi hi lprefetching into partitioned hierarchical memory:
execute task from one region while loading other;prefetch controller interprets prefetch table (computed offline) p p p ( p )
7
![Page 8: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/8.jpg)
Realizing I/O Comp. and Stability
Stability implies I/O compositionality of WCETs• Constant instruction-execution times• Code alternatives take equal time
– make timing of alternative traces equal;no cheap solution for complex architectures
– eliminate alternatives:fsingle-path conversion of code
8
![Page 9: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/9.jpg)
Obstacles in Chip-Multiprocessors
• Simultaneous multithreadingstrong coupling, e.g., due to use of same pipelinepessimism in static analysispessimism in static analysis
• Keeping caches coherent and consistentprotocols: exchange of cache information causesp gvariability of access time
• Shared caches and memoryb hi hl l leasy to use, but highly complex to analyze
(non-local effects!)
9
![Page 10: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/10.jpg)
Avoiding Unwanted Interactions
Protect time-relevant task state to make it predictablespatial separation multiple cores; pre-fetching on cores
l i i t d f i d i ti d i ipre-planning instead of using dynamic run-time decisionsMechanisms:
U f i l th d ( WCET i t d i )Use of single-path code (+ WCET-oriented programming)No multi-threading on CMP cores (temp. isolation)Use of simple in-order pipelinesUse of simple, in-order pipelinesStrong use of local memory with prefetch update and statically scheduled access to shared memory/resources
10
![Page 11: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/11.jpg)
MPSoC StructureCt l
ProcMem
Ctrl
nsfe
r
Bus
ProcMem
emor
y
em. t
ran
. ShM
or B
ProcMem
Me
bulk
me
Com
m
Mem
TT Interface
b
11
![Page 12: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/12.jpg)
SummaryW i t l d i l hi hi l d iWe aim at a clean and simple hierarchical design processProperties: Composability, I/O compositionality, Stability of XTSolutionSolution• Task level: constant instruction XTs, in-order pipes, and
single-path programming lead to invariable task XTsg p p g gsimple WCET analysis, advantages for scheduling
• Application: Spatial isolation: multiple cores local memorySpatial isolation: multiple cores, local memory Temporal isolation: communicationState update: pre-planned prefetching into local memory
12
![Page 13: A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC ...€¦ · A Naïve Timing Analyser’s Wi h Li tWish List for MPSoC Architectures Peter Puschner ARTISTDesign TA Activity](https://reader033.vdocument.in/reader033/viewer/2022050314/5f7614f277e9de51ca7d3c44/html5/thumbnails/13.jpg)
... thank you!
http://ti.tuwien.ac.at/rtshttp://ti.tuwien.ac.at/rts13