21 lines
781 B
Plaintext
21 lines
781 B
Plaintext
@startuml
|
|
skinparam backgroundColor transparent
|
|
skinparam shadowing false
|
|
skinparam defaultFontName Monospace
|
|
skinparam defaultFontSize 12
|
|
skinparam rectangleBorderColor #2c7794
|
|
skinparam rectangleBackgroundColor #edf6fa
|
|
title A4 APPLICATION — deterministic three-task topology
|
|
rectangle "01 main\ncreates mutex, verifier, Low" as main
|
|
rectangle "02 Low p1\ntakes mutex\ncreates High" as low
|
|
rectangle "03 High p3\nblocks on mutex" as high
|
|
rectangle "04 Low effective p3\ncreates Medium" as inherited
|
|
rectangle "05 Medium p2\nReady, still not run" as medium
|
|
rectangle "06 verifier p0\nchecks relational invariants" as verifier
|
|
main --> low
|
|
low --> high
|
|
high --> inherited : block transfers priority
|
|
inherited --> medium
|
|
medium --> verifier : after release and completion
|
|
@enduml
|