lab-rv32i-freertos-c-static-allocation/doc/assets/a7-runtime.svg

<?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="395px" preserveAspectRatio="none" style="width:543px;height:395px;" version="1.1" viewBox="0 0 543 395" width="543px" zoomAndPan="magnify"><defs/><g><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="317" x="116.5" y="12.8281">A7 RUNTIME — address provenance and heap invariants</text><!--MD5=[20ee4b2374ce4c140f3ed7ab4e66eea7]
entity heap--><rect fill="#EDF6FA" height="85.3765" style="stroke: #2C7794; stroke-width: 1.5;" width="116" x="6" y="24.5541"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="96" x="16" y="47.3822">01 ucHeap arena</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="73" x="16" y="63.7263">dynamic TCB</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="85" x="16" y="80.0704">dynamic queue</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="80" x="16" y="96.4145">dynamic timer</text><!--MD5=[bc98ebb1779642ad01254a57fe695731]
entity bss--><rect fill="#EDF6FA" height="85.3765" style="stroke: #2C7794; stroke-width: 1.5;" width="181" x="157.5" y="24.5541"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="158" x="167.5" y="47.3822">02 named persistent buffers</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="98" x="167.5" y="63.7263">static TCB + stack</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="161" x="167.5" y="80.0704">static queue object + storage</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="100" x="167.5" y="96.4145">static timer object</text><!--MD5=[862ebe305f068a9a150a38aa6740efca]
entity services--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="159" x="373.5" y="32.7341"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="139" x="383.5" y="55.5622">03 kernel-service buffers</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="47" x="383.5" y="71.9063">Idle task</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="102" x="383.5" y="88.2504">Timer service task</text><!--MD5=[b3e50d7f14325a04caac74353e1c3e4a]
entity relation--><rect fill="#EDF6FA" height="85.3765" style="stroke: #2C7794; stroke-width: 1.5;" width="111" x="192.5" y="169.9341"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="91" x="202.5" y="192.7622">04 heap relation</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="45" x="202.5" y="209.1063">H1 &lt; H0</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="45" x="202.5" y="225.4504">H2 = H1</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="45" x="202.5" y="241.7945">H3 = H2</text><!--MD5=[30ba7fb1050e29c0f3290b9e87c281e8]
entity log--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="129" x="183.5" y="315.3141"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="82" x="193.5" y="338.1422">05 evidence[8]</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="109" x="193.5" y="354.4863">commit marker last</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="89" x="193.5" y="370.8304">digest cdf44a0a</text><!--MD5=[02caddc9f8d8ed62a08c5abfb1f085a0]
link heap to relation--><path d="M117.72,110.1041 C140,127.4741 165.94,147.6841 188.77,165.4741 " fill="none" id="heap-&gt;relation" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="192.71,168.5341,188.0681,159.8477,188.7655,165.4614,183.1519,166.1589,192.71,168.5341" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[1b9e6995314164e9557107debb93977b]
link bss to relation--><path d="M248,110.1041 C248,126.7441 248,145.9841 248,163.2141 " fill="none" id="bss-&gt;relation" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="248,167.9541,252,158.9541,248,162.9541,244,158.9541,248,167.9541" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[7d61fe185cd425c1b673f8bc451c28cb]
link services to relation--><path d="M404.42,102.2241 C375.88,122.1841 339.54,147.6041 309.07,168.9141 " fill="none" id="services-&gt;relation" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="305.09,171.6941,314.7565,169.8076,309.1855,168.8258,310.1673,163.2548,305.09,171.6941" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[1d5a28c40c41dfb4286dc5867e2df648]
link relation to log--><path d="M248,255.6641 C248,272.4941 248,291.8141 248,308.4741 " fill="none" id="relation-&gt;log" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="248,313.4441,252,304.4441,248,308.4441,244,304.4441,248,313.4441" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[23b09fe5608adafbc0fa54b08b56f04e]
@startuml
skinparam backgroundColor transparent
skinparam shadowing false
skinparam defaultFontName Monospace
skinparam defaultFontSize 12
skinparam rectangleBorderColor #2c7794
skinparam rectangleBackgroundColor #edf6fa
title A7 RUNTIME — address provenance and heap invariants
rectangle "01 ucHeap arena\ndynamic TCB\ndynamic queue\ndynamic timer" as heap
rectangle "02 named persistent buffers\nstatic TCB + stack\nstatic queue object + storage\nstatic timer object" as bss
rectangle "03 kernel-service buffers\nIdle task\nTimer service task" as services
rectangle "04 heap relation\nH1 < H0\nH2 = H1\nH3 = H2" as relation
rectangle "05 evidence[8]\ncommit marker last\ndigest cdf44a0a" as log
heap - -> relation
bss - -> relation
services - -> relation
relation - -> 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>