45 lines
13 KiB
XML
45 lines
13 KiB
XML
<?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="530.1831px" preserveAspectRatio="none" style="width:799px;height:530px;" version="1.1" viewBox="0 0 799 530" width="799.6782px" zoomAndPan="magnify"><defs/><g><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="326.7408" x="235.588" y="18.6169">A5 FLOW — empty/full blocking, copy-by-value and FIFO</text><line style="stroke: #2B6F8E; stroke-width: 0.8807028686355457; stroke-dasharray: 5.0,5.0;" x1="37.8702" x2="37.8702" y1="52.7871" y2="497.1292"/><line style="stroke: #2B6F8E; stroke-width: 0.8807028686355457; stroke-dasharray: 5.0,5.0;" x1="250.1196" x2="250.1196" y1="52.7871" y2="497.1292"/><line style="stroke: #2B6F8E; stroke-width: 0.8807028686355457; stroke-dasharray: 5.0,5.0;" x1="419.2146" x2="419.2146" y1="52.7871" y2="497.1292"/><line style="stroke: #2B6F8E; stroke-width: 0.8807028686355457; stroke-dasharray: 5.0,5.0;" x1="597.9972" x2="597.9972" y1="52.7871" y2="497.1292"/><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="61.6492" x="7.0456" y="27.2743"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="49.3194" x="13.2105" y="43.249">receiver</text><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="61.6492" x="7.0456" y="496.2485"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="49.3194" x="13.2105" y="512.2233">receiver</text><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="61.6492" x="219.295" y="27.2743"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="49.3194" x="225.4599" y="43.249">Queue<1></text><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="61.6492" x="219.295" y="496.2485"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="49.3194" x="225.4599" y="512.2233">Queue<1></text><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="49.3194" x="394.5549" y="27.2743"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="36.9895" x="400.7198" y="43.249">sender</text><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="49.3194" x="394.5549" y="496.2485"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="36.9895" x="400.7198" y="512.2233">sender</text><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="61.6492" x="567.1726" y="27.2743"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="49.3194" x="573.3376" y="43.249">verifier</text><rect fill="#EDF6FA" height="24.6322" style="stroke: #2B6F8E; stroke-width: 1.3210543029533186;" width="61.6492" x="567.1726" y="496.2485"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="49.3194" x="573.3376" y="512.2233">verifier</text><polygon fill="#8295A0" points="239.5512,75.6579,248.3582,79.1807,239.5512,82.7035,243.074,79.1807" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="37.8702" x2="244.8354" y1="79.1807" y2="79.1807"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="191.1125" x="44.0351" y="74.9268">02 receive M1 / Blocked (empty)</text><polygon fill="#8295A0" points="259.8073,100.29,251.0003,103.8129,259.8073,107.3357,256.2845,103.8129" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="254.5231" x2="418.3339" y1="103.8129" y2="103.8129"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="61.6492" x="265.0916" y="99.559">03 send M1</text><polygon fill="#8295A0" points="47.558,124.9222,38.7509,128.445,47.558,131.9678,44.0351,128.445" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457; stroke-dasharray: 2.0,2.0;" x1="42.2737" x2="249.2389" y1="128.445" y2="128.445"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="104.8036" x="52.8422" y="124.1911">04 wake + copy M1</text><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="37.8702" x2="74.8597" y1="153.0772" y2="153.0772"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="74.8597" x2="74.8597" y1="153.0772" y2="164.5263"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="38.7509" x2="74.8597" y1="164.5263" y2="164.5263"/><polygon fill="#8295A0" points="47.558,161.0035,38.7509,164.5263,47.558,168.0491,44.0351,164.5263" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="49.3194" x="44.0351" y="148.8233">delay(2)</text><polygon fill="#8295A0" points="259.8073,185.6357,251.0003,189.1585,259.8073,192.6813,256.2845,189.1585" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="254.5231" x2="418.3339" y1="189.1585" y2="189.1585"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="123.2984" x="265.0916" y="184.9046">send M2 / queue full</text><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="419.2146" x2="456.2041" y1="213.7906" y2="213.7906"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="456.2041" x2="456.2041" y1="213.7906" y2="225.2398"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="420.0953" x2="456.2041" y1="225.2398" y2="225.2398"/><polygon fill="#8295A0" points="428.9023,221.7169,420.0953,225.2398,428.9023,228.7626,425.3795,225.2398" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="141.7932" x="425.3795" y="209.5368">mutate source M2 → DEAD</text><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="419.2146" x2="456.2041" y1="249.8719" y2="249.8719"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="456.2041" x2="456.2041" y1="249.8719" y2="261.3211"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="420.0953" x2="456.2041" y1="261.3211" y2="261.3211"/><polygon fill="#8295A0" points="428.9023,257.7982,420.0953,261.3211,428.9023,264.8439,425.3795,261.3211" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="166.4528" x="425.3795" y="245.6181">05 evidence: source mutated</text><polygon fill="#8295A0" points="259.8073,282.4304,251.0003,285.9532,259.8073,289.476,256.2845,285.9532" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="254.5231" x2="418.3339" y1="285.9532" y2="285.9532"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="147.9581" x="265.0916" y="281.6993">send M3 / Blocked (full)</text><polygon fill="#8295A0" points="408.6461,307.0626,417.4532,310.5854,408.6461,314.1082,412.1689,310.5854" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="37.8702" x2="413.9303" y1="310.5854" y2="310.5854"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="117.1335" x="44.0351" y="306.3315">06 observe eBlocked</text><polygon fill="#8295A0" points="239.5512,331.6947,248.3582,335.2175,239.5512,338.7403,243.074,335.2175" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="37.8702" x2="244.8354" y1="335.2175" y2="335.2175"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="123.2984" x="44.0351" y="330.9637">07 receive copied M2</text><polygon fill="#8295A0" points="408.6461,356.3269,417.4532,359.8497,408.6461,363.3725,412.1689,359.8497" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457; stroke-dasharray: 2.0,2.0;" x1="250.1196" x2="413.9303" y1="359.8497" y2="359.8497"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="92.4738" x="256.2845" y="355.5958">space available</text><polygon fill="#8295A0" points="259.8073,380.959,251.0003,384.4818,259.8073,388.0047,256.2845,384.4818" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="254.5231" x2="418.3339" y1="384.4818" y2="384.4818"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="98.6387" x="265.0916" y="380.228">complete send M3</text><polygon fill="#8295A0" points="47.558,405.5912,38.7509,409.114,47.558,412.6368,44.0351,409.114" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457; stroke-dasharray: 2.0,2.0;" x1="42.2737" x2="249.2389" y1="409.114" y2="409.114"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="80.144" x="52.8422" y="404.8601">08 receive M3</text><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="419.2146" x2="456.2041" y1="433.7462" y2="433.7462"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="456.2041" x2="456.2041" y1="433.7462" y2="445.1953"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="420.0953" x2="456.2041" y1="445.1953" y2="445.1953"/><polygon fill="#8295A0" points="428.9023,441.6725,420.0953,445.1953,428.9023,448.7181,425.3795,445.1953" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="73.979" x="425.3795" y="429.4923">09 completed</text><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="597.9972" x2="634.9868" y1="469.8275" y2="469.8275"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="634.9868" x2="634.9868" y1="469.8275" y2="481.2766"/><line style="stroke: #8295A0; stroke-width: 0.8807028686355457;" x1="598.878" x2="634.9868" y1="481.2766" y2="481.2766"/><polygon fill="#8295A0" points="607.685,477.7538,598.878,481.2766,607.685,484.7994,604.1622,481.2766" style="stroke: #8295A0; stroke-width: 0.8807028686355457;"/><text fill="#000000" font-family="DejaVu Sans Mono" font-size="10.5684" lengthAdjust="spacingAndGlyphs" textLength="184.9476" x="604.1622" y="465.5736">10 FIFO + copy + digest = PASS</text><!--MD5=[787a246393698200fafb911b06536179]
|
|
@startuml
|
|
scale max 900*520
|
|
skinparam backgroundColor transparent
|
|
skinparam shadowing false
|
|
skinparam defaultFontName "DejaVu Sans Mono"
|
|
skinparam defaultFontSize 12
|
|
skinparam sequenceArrowColor #8295a0
|
|
skinparam sequenceLifeLineBorderColor #2b6f8e
|
|
skinparam sequenceParticipantBorderColor #2b6f8e
|
|
skinparam sequenceParticipantBackgroundColor #edf6fa
|
|
title A5 FLOW — empty/full blocking, copy-by-value and FIFO
|
|
|
|
participant receiver
|
|
participant "Queue<1>" as queue
|
|
participant sender
|
|
participant verifier
|
|
|
|
receiver -> queue : 02 receive M1 / Blocked (empty)
|
|
sender -> queue : 03 send M1
|
|
queue - -> receiver : 04 wake + copy M1
|
|
receiver -> receiver : delay(2)
|
|
sender -> queue : send M2 / queue full
|
|
sender -> sender : mutate source M2 → DEAD
|
|
sender -> sender : 05 evidence: source mutated
|
|
sender -> queue : send M3 / Blocked (full)
|
|
receiver -> sender : 06 observe eBlocked
|
|
receiver -> queue : 07 receive copied M2
|
|
queue - -> sender : space available
|
|
sender -> queue : complete send M3
|
|
queue - -> receiver : 08 receive M3
|
|
sender -> sender : 09 completed
|
|
verifier -> verifier : 10 FIFO + copy + digest = PASS
|
|
@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> |