47 lines
8.1 KiB
XML
47 lines
8.1 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentScriptType="application/ecmascript" contentStyleType="text/css" height="378px" preserveAspectRatio="none" style="width:539px;height:378px;" version="1.1" viewBox="0 0 539 378" width="539px" zoomAndPan="magnify"><defs/><g><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="344" x="101" y="12.8281">A7 RUNTIME — public evidence and debugger-only TCB detail</text><!--MD5=[b15dda4ed305ababd0a15fef38b4eb6d]
|
||
entity experiment--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="109" x="204" y="23.9041"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="53" x="214" y="46.7322">01 g_fc08</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="76" x="214" y="63.0763">mutex handle</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="89" x="214" y="79.4204">protected_value</text><!--MD5=[cce3472c5646352849134f9dadeb1b6a]
|
||
entity low--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="139" x="13" y="152.9341"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="119" x="23" y="175.7622">02 Low handle / stack</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="119" x="23" y="192.1063">uxTaskPriorityGet = 3</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="109" x="23" y="208.4504">mutex holder = Low</text><!--MD5=[14d0722cf5b909ee93912fd030bf9990]
|
||
entity high--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="143" x="187" y="161.1041"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="123" x="197" y="183.9322">03 High handle / stack</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="119" x="197" y="200.2763">eTaskState = Blocked</text><!--MD5=[67463a8a93d235c1b9ef492366a72a88]
|
||
entity medium--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="163" x="365" y="152.9341"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="143" x="375" y="175.7622">04 Medium handle / stack</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="109" x="375" y="192.1063">eTaskState = Ready</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="60" x="375" y="208.4504">started = 0</text><!--MD5=[0bb6f33dfd49e802fce6b5273bbb9861]
|
||
entity tcb--><rect fill="#EDF6FA" height="85.3765" style="stroke: #2C7794; stroke-width: 1.5;" width="151" x="6" y="281.9641"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="131" x="16" y="304.7922">05 kernel TCB evidence</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="101" x="16" y="321.1363">uxBasePriority = 1</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="73" x="16" y="337.4804">uxPriority = 3</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="88" x="16" y="353.8245">(debugger only)</text><!--MD5=[30ba7fb1050e29c0f3290b9e87c281e8]
|
||
entity log--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="137" x="192" y="290.1441"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="117" x="202" y="312.9722">06 g_fc08_events[10]</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="109" x="202" y="329.3163">commit marker last</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="93" x="202" y="345.6604">digest 5433b784</text><!--MD5=[a07dc87dcfb0b2eb65d67fc065adae59]
|
||
link experiment to low--><path d="M211.8,93.1241 C188.03,110.2841 159.06,131.1941 134.57,148.8641 " fill="none" id="experiment->low" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="130.65,151.7041,140.2886,149.6799,134.7041,148.7777,135.6063,143.1933,130.65,151.7041" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[b9522d85cf839a8565f9ff7433ad213c]
|
||
link experiment to high--><path d="M258.5,93.1241 C258.5,112.1441 258.5,135.7741 258.5,154.5041 " fill="none" id="experiment->high" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="258.5,159.1341,262.5,150.1341,258.5,154.1341,254.5,150.1341,258.5,159.1341" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[bdfc17e4d28f793dfed890547445afdf]
|
||
link experiment to medium--><path d="M308.39,93.1241 C333.88,110.3541 364.98,131.3641 391.2,149.0841 " fill="none" id="experiment->medium" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="395.13,151.7341,389.9132,143.3804,390.9874,148.9343,385.4335,150.0085,395.13,151.7341" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[d1d32904c2db3aa5fd00d4abf93eace5]
|
||
link low to tcb--><path d="M82.25,222.2241 C82.13,238.2441 81.99,257.6841 81.86,275.2341 " fill="none" id="low->tcb" style="stroke: #A80036; stroke-width: 1.0; stroke-dasharray: 7.0,7.0;"/><polygon fill="#A80036" points="81.82,280.0941,85.897,271.1287,81.8629,275.0943,77.8973,271.0602,81.82,280.0941" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[f75079b6a5a27a1736afb6bbdc48a346]
|
||
link low to log--><path d="M126.96,222.2241 C152.44,241.5741 184.5,265.9241 210.81,285.9141 " fill="none" id="low->log" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="214.79,288.9341,210.0245,280.315,210.802,285.9181,205.1989,286.6957,214.79,288.9341" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[68c15f91978f47105a96b7f20109a11a]
|
||
link high to log--><path d="M258.88,214.2041 C259.17,233.7241 259.57,260.9341 259.9,283.3341 " fill="none" id="high->log" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="259.98,288.3041,263.8251,279.2369,259.8943,283.3048,255.8263,279.374,259.98,288.3041" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[77629c9d82df5c801e52420ef1e6f761]
|
||
link medium to log--><path d="M400.04,222.2241 C373.3,241.6641 339.64,266.1241 312.08,286.1641 " fill="none" id="medium->log" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="308.23,288.9541,317.8604,286.8915,312.2724,286.0116,313.1524,280.4236,308.23,288.9541" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[2abf51212c5b55463d94c6e77e5944b9]
|
||
@startuml
|
||
skinparam backgroundColor transparent
|
||
skinparam shadowing false
|
||
skinparam defaultFontName Monospace
|
||
skinparam defaultFontSize 12
|
||
skinparam rectangleBorderColor #2c7794
|
||
skinparam rectangleBackgroundColor #edf6fa
|
||
title A7 RUNTIME — public evidence and debugger-only TCB detail
|
||
rectangle "01 g_fc08\nmutex handle\nprotected_value" as experiment
|
||
rectangle "02 Low handle / stack\nuxTaskPriorityGet = 3\nmutex holder = Low" as low
|
||
rectangle "03 High handle / stack\neTaskState = Blocked" as high
|
||
rectangle "04 Medium handle / stack\neTaskState = Ready\nstarted = 0" as medium
|
||
rectangle "05 kernel TCB evidence\nuxBasePriority = 1\nuxPriority = 3\n(debugger only)" as tcb
|
||
rectangle "06 g_fc08_events[10]\ncommit marker last\ndigest 5433b784" as log
|
||
experiment - -> low
|
||
experiment - -> high
|
||
experiment - -> medium
|
||
low ..> tcb
|
||
low - -> log
|
||
high - -> log
|
||
medium - -> log
|
||
@enduml
|
||
|
||
PlantUML version 1.2020.02(Sun Mar 01 11:22:07 CET 2020)
|
||
(GPL source distribution)
|
||
Java Runtime: OpenJDK Runtime Environment
|
||
JVM: OpenJDK 64-Bit Server VM
|
||
Java Version: 25.0.4-ea+4-1-Debian
|
||
Operating System: Linux
|
||
Default Encoding: UTF-8
|
||
Language: en
|
||
Country: null
|
||
--></g></svg> |
