@@ -35,11 +35,11 @@ Configuration options:
35
35
``` mermaid
36
36
stateDiagram-v2
37
37
[*] --> PENDING: register the LeaseRequest
38
- PENDING --> AQUIRED : LeaseRequest is the winner
38
+ PENDING --> ACQUIRED : LeaseRequest is the winner
39
39
PENDING --> COMPLETED: LeaseProvider completed with status success
40
40
COMPLETED --> [*]
41
- AQUIRED --> SUCCESS: the LeaseRequest is released (success)
42
- AQUIRED --> FAILURE: the leaseRequest is released (failure)
41
+ ACQUIRED --> SUCCESS: the LeaseRequest is released (success)
42
+ ACQUIRED --> FAILURE: the leaseRequest is released (failure)
43
43
SUCCESS --> COMPLETED: Update LeaseRequest state
44
44
FAILURE --> [*]: the LeaseRequest is discarded
45
45
```
@@ -55,26 +55,26 @@ sequenceDiagram
55
55
participant GHA2
56
56
participant GHA3
57
57
58
- GHA3->>+LeaseProvider: Aquire : priority: 3
58
+ GHA3->>+LeaseProvider: Acquire : priority: 3
59
59
note right of LeaseProvider: No full state awareness (yet)
60
60
LeaseProvider-->>-GHA3: priority: 2, status: PENDING
61
61
62
62
par
63
63
loop until aquired lease is released or aquired
64
- GHA1->>+LeaseProvider: Aquire : priority: 1
64
+ GHA1->>+LeaseProvider: Acquire : priority: 1
65
65
LeaseProvider-->>-GHA1: priority: 1, status: PENDING
66
66
end
67
67
68
68
loop until aquired lease is released or aquired
69
- GHA2->>+LeaseProvider: Aquire : priority: 2
69
+ GHA2->>+LeaseProvider: Acquire : priority: 2
70
70
LeaseProvider-->>-GHA2: priority: 2, status: PENDING
71
71
end
72
72
73
73
74
74
rect rgb(191, 223, 255)
75
- GHA3->>+LeaseProvider: Aquire : priority:3
75
+ GHA3->>+LeaseProvider: Acquire : priority:3
76
76
note right of LeaseProvider: Full state awareness
77
- LeaseProvider-->>GHA3: priority: 3, status: AQUIRED
77
+ LeaseProvider-->>GHA3: priority: 3, status: ACQUIRED
78
78
note left of GHA3: holds lease to access shared resource
79
79
80
80
GHA3->>LeaseProvider: Release: priority: 3, status: SUCCESS
@@ -83,10 +83,10 @@ sequenceDiagram
83
83
end
84
84
end
85
85
86
- GHA1->>+LeaseProvider: Aquire : priority: 1
86
+ GHA1->>+LeaseProvider: Acquire : priority: 1
87
87
LeaseProvider-->>-GHA1: priority: 1, status: COMPLETED
88
88
89
- GHA2->>+LeaseProvider: Aquire : priority: 2
89
+ GHA2->>+LeaseProvider: Acquire : priority: 2
90
90
LeaseProvider-->>-GHA2: priority: 2, status: COMPLETED
91
91
92
92
```
@@ -106,15 +106,15 @@ sequenceDiagram
106
106
participant GHA_NEXT
107
107
108
108
109
- GHA1->>+LeaseProvider: Aquire : priority: 1
109
+ GHA1->>+LeaseProvider: Acquire : priority: 1
110
110
LeaseProvider-->>-GHA1: priority: 1, status: PENDING
111
- GHA2->>+LeaseProvider: Aquire : priority: 2
111
+ GHA2->>+LeaseProvider: Acquire : priority: 2
112
112
LeaseProvider-->>-GHA2: priority: 2, status: PENDING
113
113
114
114
rect rgb(255, 200, 200)
115
- GHA3->>+LeaseProvider: Aquire : priority:3
115
+ GHA3->>+LeaseProvider: Acquire : priority:3
116
116
note right of LeaseProvider: Full state awareness
117
- LeaseProvider-->>GHA3: priority: 3, status: AQUIRED
117
+ LeaseProvider-->>GHA3: priority: 3, status: ACQUIRED
118
118
note left of GHA3: holds lease to access shared resource
119
119
120
120
GHA3->>LeaseProvider: Release: priority: 3, status: FAILURE
@@ -123,13 +123,13 @@ sequenceDiagram
123
123
end
124
124
125
125
note right of GHA1: Assuming not sufficient time has passed for stabilize window
126
- GHA1->>+LeaseProvider: Aquire : priority: 1
126
+ GHA1->>+LeaseProvider: Acquire : priority: 1
127
127
LeaseProvider-->>-GHA1: priority: 1, status: PENDING
128
128
129
129
rect rgb(255, 200, 200)
130
130
note over GHA_NEXT: New GHA run started by GH merge queue after GHA3 failed
131
131
loop until lease successful and all request marked COMPLETED
132
- GHA_NEXT->>+LeaseProvider: Aquire : priority:3
132
+ GHA_NEXT->>+LeaseProvider: Acquire : priority:3
133
133
note right of LeaseProvider: previous lease failed
134
134
LeaseProvider-->>-GHA_NEXT: error, previous lease failed (409 CONFLICT)
135
135
end
@@ -138,12 +138,12 @@ sequenceDiagram
138
138
139
139
par
140
140
rect rgb(200, 255,200)
141
- GHA2->>+LeaseProvider: Aquire : priority: 2
141
+ GHA2->>+LeaseProvider: Acquire : priority: 2
142
142
note right of LeaseProvider: GHA2 has the highest priority of remaining badges
143
- LeaseProvider-->>-GHA2: priority: 2, status: AQUIRED
143
+ LeaseProvider-->>-GHA2: priority: 2, status: ACQUIRED
144
144
end
145
145
loop until lease successful
146
- GHA1->>+LeaseProvider: Aquire : priority: 1
146
+ GHA1->>+LeaseProvider: Acquire : priority: 1
147
147
LeaseProvider-->>-GHA1: priority: 1, status: PENDING
148
148
end
149
149
@@ -154,10 +154,10 @@ sequenceDiagram
154
154
end
155
155
end
156
156
157
- GHA1->>+LeaseProvider: Aquire : priority: 1
157
+ GHA1->>+LeaseProvider: Acquire : priority: 1
158
158
LeaseProvider-->>-GHA1: priority: 1, status: COMPLETED
159
159
160
- GHA_NEXT->>+LeaseProvider: Aquire : priority: <>
160
+ GHA_NEXT->>+LeaseProvider: Acquire : priority: <>
161
161
note left of GHA_NEXT: Priority is recalculated as previous branches were merged
162
162
LeaseProvider-->>-GHA_NEXT: priority: <>, status: PENDING
163
163
```
0 commit comments