21 lines
650 B
Plaintext
21 lines
650 B
Plaintext
@startuml
|
|
skinparam backgroundColor transparent
|
|
skinparam shadowing false
|
|
skinparam defaultFontName Monospace
|
|
skinparam defaultFontSize 12
|
|
skinparam stateBorderColor #2c7794
|
|
skinparam stateBackgroundColor #edf6fa
|
|
title A6 STATE — owner, waiter and effective priority
|
|
[*] --> Free : 01 mutex created
|
|
Free --> OwnedP1 : 02 Low takes
|
|
OwnedP1 --> ContendedP3 : 03 High blocks
|
|
ContendedP3 : owner Low
|
|
ContendedP3 : base 1 / effective 3
|
|
ContendedP3 : Medium Ready / not run
|
|
ContendedP3 --> Transferred : 06 Low gives
|
|
Transferred : 07 High owns
|
|
Transferred --> Free : High gives
|
|
Free --> Verified : 09 Low restored to 1
|
|
Verified --> [*] : 10 PASS
|
|
@enduml
|