19 lines
781 B
Plaintext
19 lines
781 B
Plaintext
@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
|