41 lines
6.8 KiB
XML
41 lines
6.8 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="478px" preserveAspectRatio="none" style="width:369px;height:478px;" version="1.1" viewBox="0 0 369 478" width="369px" zoomAndPan="magnify"><defs/><g><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="315" x="31" y="12.8281">A1 CONTEXT — who owns task, queue and timer storage</text><!--MD5=[4541fb81c80c07473fe4b07432ef0971]
|
||
entity app--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="101" x="102.5" y="23.9041"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="79" x="112.5" y="46.7322">01 Application</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="81" x="112.5" y="63.0763">main + verifier</text><!--MD5=[2fdd58fa1f9dca7f678b1591ba5c253a]
|
||
entity dyn--><rect fill="#EDF6FA" height="85.3765" style="stroke: #2C7794; stroke-width: 1.5;" width="128" x="6" y="154.5941"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="108" x="16" y="177.4222">02 Dynamic branch</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="70" x="16" y="193.7663">xTaskCreate</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="81" x="16" y="210.1104">xQueueCreate</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="77" x="16" y="226.4545">xTimerCreate</text><!--MD5=[299d1c4a2ba6184a4b2319b3d939ce68]
|
||
entity stat--><rect fill="#EDF6FA" height="85.3765" style="stroke: #2C7794; stroke-width: 1.5;" width="132" x="169" y="154.5941"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="90" x="179" y="177.4222">03 Static branch</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="101" x="179" y="193.7663">xTaskCreateStatic</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="112" x="179" y="210.1104">xQueueCreateStatic</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="108" x="179" y="226.4545">xTimerCreateStatic</text><!--MD5=[5427960f0a0d6e728427509f19a12a87]
|
||
entity kernel--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="175" x="64.5" y="300.9641"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="110" x="74.5" y="323.7922">04 FreeRTOS kernel</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="155" x="74.5" y="340.1363">TCB · queue · timer daemon</text><!--MD5=[86bcb769366fd3cf48170f656eee3c0e]
|
||
entity ram--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="158" x="73" y="414.6541"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="94" x="83" y="437.4822">05 Hazard3 RAM</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="138" x="83" y="453.8263">ucHeap + named buffers</text><!--MD5=[844223e7c20978ac4b81c22d2d6ee8bd]
|
||
link app to dyn--><path d="M102.02,70.8041 C86.71,79.3541 71.68,91.0641 63,106.5941 C56.06,119.0041 54.94,133.9341 56.38,148.0141 " fill="none" id="app->dyn" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="57.02,152.9141,59.8293,143.4744,56.377,147.9556,51.8958,144.5033,57.02,152.9141" style="stroke: #A80036; stroke-width: 1.0;"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="124" x="64" y="120.4222">asks kernel to allocate</text><!--MD5=[e0f7f866026d3174b64552b149f8696b]
|
||
link app to stat--><path d="M175.8,76.9341 C183.13,85.9341 190.92,96.3541 197,106.5941 C204.79,119.6941 211.8,134.6841 217.62,148.6141 " fill="none" id="app->stat" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="219.47,153.1141,219.7787,143.2701,217.5835,148.4837,212.37,146.2885,219.47,153.1141" style="stroke: #A80036; stroke-width: 1.0;"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="151" x="206.9" y="120.4222">supplies persistent storage</text><!--MD5=[95003ff17088984a22052575ee8d8137]
|
||
link dyn to kernel--><path d="M96.85,240.2041 C108.35,258.1541 121.54,278.7541 132.14,295.2941 " fill="none" id="dyn->kernel" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="134.81,299.4741,133.3229,289.7382,132.1127,295.2641,126.5868,294.0538,134.81,299.4741" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[88142749908d9e422477f0519a59cdc1]
|
||
link stat to kernel--><path d="M207.82,240.2041 C196.18,258.1541 182.83,278.7541 172.11,295.2941 " fill="none" id="stat->kernel" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="169.4,299.4741,177.6574,294.1061,172.1239,295.2812,170.9488,289.7478,169.4,299.4741" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[f7b1c250898a6b689ea9b5bb053ebce9]
|
||
link kernel to ram--><path d="M152,353.9341 C152,370.1141 152,391.1241 152,408.3441 " fill="none" id="kernel->ram" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="152,412.9841,156,403.9841,152,407.9841,148,403.9841,152,412.9841" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[c715fc12bd8ef68b76af2fdf54c0f1d5]
|
||
@startuml
|
||
skinparam backgroundColor transparent
|
||
skinparam shadowing false
|
||
skinparam defaultFontName Monospace
|
||
skinparam defaultFontSize 12
|
||
skinparam rectangleBorderColor #2c7794
|
||
skinparam rectangleBackgroundColor #edf6fa
|
||
title A1 CONTEXT — who owns task, queue and timer storage
|
||
rectangle "01 Application\nmain + verifier" as app
|
||
rectangle "02 Dynamic branch\nxTaskCreate\nxQueueCreate\nxTimerCreate" as dyn
|
||
rectangle "03 Static branch\nxTaskCreateStatic\nxQueueCreateStatic\nxTimerCreateStatic" as stat
|
||
rectangle "04 FreeRTOS kernel\nTCB · queue · timer daemon" as kernel
|
||
rectangle "05 Hazard3 RAM\nucHeap + named buffers" as ram
|
||
app - -> dyn : asks kernel to allocate
|
||
app - -> stat : supplies persistent storage
|
||
dyn - -> kernel
|
||
stat - -> kernel
|
||
kernel - -> ram
|
||
@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> |
