edu-freertos-c/lab-rv32i-freertos-heap4
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
lab-rv32i-freertos-heap4/web/figures/a7-runtime.svg
T
user 48eccb5e24 feat: add interactive FC01 heap4 card
2026-07-20 12:04:14 +02:00

44 lines
7.4 KiB
XML
Raw Permalink Blame History

This file contains invisible Unicode characters
This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
<?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="82.7447px" preserveAspectRatio="none" style="width:814px;height:82px;" version="1.1" viewBox="0 0 814 82" width="814.2079px" zoomAndPan="magnify"><defs/><g><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="190.3128" x="314.8436" y="7.9609">A7 RUNTIME — one artifact, two checkpoints, one proof</text><!--MD5=[183d75e42a7a852d02a7f9ce2cc3343f]
entity SRC--><rect fill="#EDF6FA" height="46.9777" style="stroke: #2C7794; stroke-width: 1.24117053481332;" width="78.6075" x="4.9647" y="21.8099"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="31.443" x="13.2392" y="38.0453">«source»</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="38.89" x="13.2392" y="48.1882">01 task03 C</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="62.0585" x="13.2392" y="58.3311">A/B/C experiment</text><!--MD5=[4a7b087cd571ae358eb895b9dc7ce0ed]
entity ELF--><rect fill="#EDF6FA" height="46.9777" style="stroke: #2C7794; stroke-width: 1.24117053481332;" width="71.9879" x="181.2109" y="21.8099"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="32.2704" x="189.4854" y="38.0453">«artifact»</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="51.3017" x="189.4854" y="48.1882">02 ELF + image</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="55.439" x="189.4854" y="58.3311">heap_4 symbols</text><!--MD5=[45565a74ca8123df0b8413ce5340d40a]
entity E1--><rect fill="#EDF6FA" height="46.9777" style="stroke: #2C7794; stroke-width: 1.24117053481332;" width="86.0545" x="370.6963" y="21.8099"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="60.4036" x="378.9707" y="38.0453">«checkpoint E01»</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="52.1292" x="378.9707" y="48.1882">03 fragmented</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="69.5055" x="378.9707" y="58.3311">blocks=2 · aligned=1</text><!--MD5=[5ceda9279414f57783e95166b8d927b7]
entity MEM--><rect fill="#EDF6FA" height="46.9777" style="stroke: #2C7794; stroke-width: 1.24117053481332;" width="81.0898" x="553.5621" y="21.8099"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="37.2351" x="561.8365" y="38.0453">«memory»</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="58.7487" x="561.8365" y="48.1882">04 ucHeap[4096]</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="64.5409" x="561.8365" y="58.3311">headers + payload</text><!--MD5=[a3c437a7ee715155cf6a0fec80d7cbaf]
entity E2--><rect fill="#EDF6FA" height="57.1206" style="stroke: #2C7794; stroke-width: 1.24117053481332;" width="88.5368" x="716.5691" y="16.7377"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="60.4036" x="724.8436" y="32.9731">«checkpoint E02»</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="43.0272" x="724.8436" y="43.116">05 coalesced</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="71.9879" x="724.8436" y="53.2589">final=initial · blocks=1</text><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="57.0938" x="724.8436" y="63.4018">OOM=1 · PASS=1</text><!--MD5=[2e73c4d4efa4a7715d66b06010e70f85]
link SRC to ELF--><path d="M83.961,45.2929 C111.3744,45.2929 148.0054,45.2929 175.7911,45.2929 " fill="none" id="SRC-&gt;ELF" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><polygon fill="#8095A1" points="179.6222,45.2929,172.1752,41.9831,175.485,45.2929,172.1752,48.6027,179.6222,45.2929" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="46.337" x="109.223" y="42.497">compile + link</text><!--MD5=[98439561a91d683361f6e8599ebb304f]
link ELF to E1--><path d="M253.5463,45.2929 C284.8735,45.2929 330.7719,45.2929 365.2765,45.2929 " fill="none" id="ELF-&gt;E1" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><polygon fill="#8095A1" points="369.2482,45.2929,361.8012,41.9831,365.111,45.2929,361.8012,48.6027,369.2482,45.2929" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="66.1958" x="278.8496" y="42.497">reset / load / replay</text><!--MD5=[14b84038a04448f34eb55bd119f2d935]
link E1 to MEM--><path d="M457.1314,45.2929 C484.5447,45.2929 520.1332,45.2929 548.0513,45.2929 " fill="none" id="E1-&gt;MEM" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><polygon fill="#8095A1" points="551.9154,45.2929,544.4684,41.9831,547.7782,45.2929,544.4684,48.6027,551.9154,45.2929" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="45.5096" x="482.4016" y="42.497">inspect bytes</text><!--MD5=[28f0a5a321106494a7afb95cbc1e35b0]
link MEM to E2--><path d="M634.8918,45.2929 C657.8783,45.2929 686.93,45.2929 711.2486,45.2929 " fill="none" id="MEM-&gt;E2" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><polygon fill="#8095A1" points="715.1128,45.2929,707.6658,41.9831,710.9756,45.2929,707.6658,48.6027,715.1128,45.2929" style="stroke: #8095A1; stroke-width: 0.82744702320888;"/><text fill="#000000" font-family="Monospace" font-size="7.447" lengthAdjust="spacingAndGlyphs" textLength="30.6155" x="660.3027" y="42.497">continue</text><!--MD5=[bc1681809f0cb7bb82cdf81f0385b8f2]
@startuml
scale 820 width
left to right direction
skinparam backgroundColor transparent
skinparam shadowing false
skinparam defaultFontName Monospace
skinparam defaultFontSize 9
skinparam rectangleBorderColor #2c7794
skinparam rectangleBackgroundColor #edf6fa
skinparam ArrowColor #8095a1
title A7 RUNTIME — one artifact, two checkpoints, one proof
rectangle "<<source>>\n01 task03 C\nA/B/C experiment" as SRC
rectangle "<<artifact>>\n02 ELF + image\nheap_4 symbols" as ELF
rectangle "<<checkpoint E01>>\n03 fragmented\nblocks=2 · aligned=1" as E1
rectangle "<<memory>>\n04 ucHeap[4096]\nheaders + payload" as MEM
rectangle "<<checkpoint E02>>\n05 coalesced\nfinal=initial · blocks=1\nOOM=1 · PASS=1" as E2
SRC - -> ELF : compile + link
ELF - -> E1 : reset / load / replay
E1 - -> MEM : inspect bytes
MEM - -> E2 : continue
@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>
Reference in New Issue View Git Blame Copy Permalink