lab-rv32i-freertos-c-event-groups/doc/assets/a4-application.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="684px" preserveAspectRatio="none" style="width:314px;height:684px;" version="1.1" viewBox="0 0 314 684" width="314px" zoomAndPan="magnify"><defs/><g><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="300" x="2" y="12.8281">A4 APPLICATION — deterministic participant topology</text><!--MD5=[8e9b2d9d80e066cced8e5d90e9bdea61]
entity c--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="159" x="66.5" y="24.5241"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="99" x="76.5" y="47.3522">01 coordinator p3</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="139" x="76.5" y="63.6963">Blocked: wait READY_ALL</text><!--MD5=[f83ae91a690dfc657e1c5fbbd818f13d]
entity a--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="202" x="45" y="137.2141"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="84" x="55" y="160.0422">02 worker A p2</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="182" x="55" y="176.3863">READY_A then Blocked at barrier</text><!--MD5=[5d12e840fb55afd9ed7b3559a638e8f7]
entity b--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="143" x="74.5" y="249.9041"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="84" x="84.5" y="272.7322">03 worker B p1</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="123" x="84.5" y="289.0763">observes partial mask</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="104" x="84.5" y="305.4204">sets final READY_B</text><!--MD5=[3fb52b275186d0d1b994a3e0dd6e0b1d]
entity cp--><rect fill="#EDF6FA" height="69.0323" style="stroke: #2C7794; stroke-width: 1.5;" width="130" x="81" y="378.9341"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="82" x="91" y="401.7622">04 coordinator</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="65" x="91" y="418.1063">preempts B</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="110" x="91" y="434.4504">contributes SYNC_C</text><!--MD5=[0acb8bb9ab8c263869e5c765a8339d6d]
entity bf--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="157" x="67.5" y="507.9641"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="67" x="77.5" y="530.7922">05 worker B</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="137" x="77.5" y="547.1363">contributes final SYNC_B</text><!--MD5=[2d611726bd9fad7d9bb2742aefb86083]
entity v--><rect fill="#EDF6FA" height="52.6882" style="stroke: #2C7794; stroke-width: 1.5;" width="215" x="38.5" y="620.6541"/><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="74" x="48.5" y="643.4822">06 verifier p0</text><text fill="#000000" font-family="Monospace" font-size="12" lengthAdjust="spacingAndGlyphs" textLength="195" x="48.5" y="659.8263">checks masks, states, stacks, order</text><!--MD5=[a8ff9257ab4573c2754dbdb014fed1b7]
link c to a--><path d="M146,77.5441 C146,93.3341 146,113.6841 146,130.5241 " fill="none" id="c-&gt;a" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="146,135.5141,150,126.5141,146,130.5141,142,126.5141,146,135.5141" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[a3deb68e4aebbeb113ddd128f6b25b58]
link a to b--><path d="M146,190.3541 C146,205.7941 146,225.7641 146,243.2341 " fill="none" id="a-&gt;b" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="146,248.0341,150,239.0341,146,243.0341,142,239.0341,146,248.0341" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[77d5e6f0833fa1538205bb35295e9d86]
link b to cp--><path d="M146,319.1241 C146,335.4941 146,355.2741 146,372.4041 " fill="none" id="b-&gt;cp" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="146,377.0741,150,368.0741,146,372.0741,142,368.0741,146,377.0741" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[4e46cb6f429b0543c8377a73d0548028]
link cp to bf--><path d="M146,448.1941 C146,464.9141 146,485.0041 146,501.4541 " fill="none" id="cp-&gt;bf" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="146,506.2941,150,497.2941,146,501.2941,142,497.2941,146,506.2941" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[ebce72724ff6c0fd7b21478ef944ab23]
link bf to v--><path d="M146,560.9841 C146,576.7741 146,597.1341 146,613.9641 " fill="none" id="bf-&gt;v" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="146,618.9541,150,609.9541,146,613.9541,142,609.9541,146,618.9541" style="stroke: #A80036; stroke-width: 1.0;"/><!--MD5=[a77b45e0f4e7a3417d1f9470e9577aa7]
@startuml
skinparam backgroundColor transparent
skinparam shadowing false
skinparam defaultFontName Monospace
skinparam defaultFontSize 12
skinparam rectangleBorderColor #2c7794
skinparam rectangleBackgroundColor #edf6fa
title A4 APPLICATION — deterministic participant topology
rectangle "01 coordinator p3\nBlocked: wait READY_ALL" as c
rectangle "02 worker A p2\nREADY_A then Blocked at barrier" as a
rectangle "03 worker B p1\nobserves partial mask\nsets final READY_B" as b
rectangle "04 coordinator\npreempts B\ncontributes SYNC_C" as cp
rectangle "05 worker B\ncontributes final SYNC_B" as bf
rectangle "06 verifier p0\nchecks masks, states, stacks, order" as v
c - -> a
a - -> b
b - -> cp
cp - -> bf
bf - -> v
@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>