The Principia Machina/Diagrams/09 Lock and petition queue: Difference between revisions
m 1 revision imported |
Human-facing page: 09 Lock and petition queue |
||
| Line 6: | Line 6: | ||
* GENERATED FROM: per-UWC lock page state; TPS 5.7, 5.8.5 | * GENERATED FROM: per-UWC lock page state; TPS 5.7, 5.8.5 | ||
* STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | * STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build | ||
* SOURCE SHA-256: <code> | * SOURCE SHA-256: <code>81ec061ed163dedd97c5edebe4f77e6bb309b7ca557883142929c68c7f206877</code> | ||
Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel. | Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel. | ||
| Line 12: | Line 12: | ||
<onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;"> | <onlyinclude><div style="clear:both; overflow-x:auto; max-width:100%; border:1px solid #c8ccd1; background:#ffffff; padding:0.5em; margin:0.5em 0;"> | ||
{{#mermaid: | {{#mermaid: | ||
%% 09 Lock and petition queue. process/Mermaid sequence. Generated from: per- | %% 09 Lock and petition queue. process/Mermaid sequence. Generated from: per-UWC lock page state; TPS 5.7, 5.8.5. | ||
sequenceDiagram | sequenceDiagram | ||
participant L as Lead (holder) | participant L as Lead (holder) | ||
| Line 21: | Line 21: | ||
L->>K: heartbeat every few hours, never past 24 h from grant (5.7.3) | L->>K: heartbeat every few hours, never past 24 h from grant (5.7.3) | ||
L->>X: push carrying the grant number (5.9.8) | L->>X: push carrying the grant number (5.9.8) | ||
X-->>L: fencing check: grant not stale, holder is pusher | X-->>L: fencing check: grant not stale, holder is pusher, badge written last (5.10.1) | ||
L->>K: release, valid only after the push (5.7.5) | L->>K: release, valid only after the push (5.7.5) | ||
C->>K: acquire as queue head within the ACQUISITION WINDOW (5.7.4) | C->>K: acquire as queue head within the ACQUISITION WINDOW (5.7.4) | ||
| Line 31: | Line 31: | ||
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
<pre> | <pre> | ||
%% 09 Lock and petition queue. process/Mermaid sequence. Generated from: per- | %% 09 Lock and petition queue. process/Mermaid sequence. Generated from: per-UWC lock page state; TPS 5.7, 5.8.5. | ||
sequenceDiagram | sequenceDiagram | ||
participant L as Lead (holder) | participant L as Lead (holder) | ||
| Line 40: | Line 40: | ||
L->>K: heartbeat every few hours, never past 24 h from grant (5.7.3) | L->>K: heartbeat every few hours, never past 24 h from grant (5.7.3) | ||
L->>X: push carrying the grant number (5.9.8) | L->>X: push carrying the grant number (5.9.8) | ||
X-->>L: fencing check: grant not stale, holder is pusher | X-->>L: fencing check: grant not stale, holder is pusher, badge written last (5.10.1) | ||
L->>K: release, valid only after the push (5.7.5) | L->>K: release, valid only after the push (5.7.5) | ||
C->>K: acquire as queue head within the ACQUISITION WINDOW (5.7.4) | C->>K: acquire as queue head within the ACQUISITION WINDOW (5.7.4) | ||
Revision as of 04:34, 18 September 2026
| The Principia Machina: map |
|---|
| Reading the diagrams Structure key Process key Definition of terms Roles |
| Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent |
| The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each) |
Structural diagram 9 of 12. Part of the TPM hub.
- KIND: process
- LANGUAGE: Mermaid
- GENERATED FROM: per-UWC lock page state; TPS 5.7, 5.8.5
- STATUS: hand-authored at TPS 0.1.0; superseded by TPX at its first build
- SOURCE SHA-256:
81ec061ed163dedd97c5edebe4f77e6bb309b7ca557883142929c68c7f206877
Rendered live from the source, which is the text equivalent and is shown under the drawing. The key to the shapes is in the panel.
Source (the text equivalent; Mermaid)
%% 09 Lock and petition queue. process/Mermaid sequence. Generated from: per-UWC lock page state; TPS 5.7, 5.8.5. sequenceDiagram participant L as Lead (holder) participant K as Lock page participant X as TPX participant C as Coworker (queue head) L->>K: base-revision edit: holder, grant plus 1, grant time, expiry (5.7.2) L->>K: heartbeat every few hours, never past 24 h from grant (5.7.3) L->>X: push carrying the grant number (5.9.8) X-->>L: fencing check: grant not stale, holder is pusher, badge written last (5.10.1) L->>K: release, valid only after the push (5.7.5) C->>K: acquire as queue head within the ACQUISITION WINDOW (5.7.4) Note over K,X: out-of-order or pre-expiry acquisition refused by the save hook (5.7.1) Note over C,K: if the head is silent past the window, the next waiter may acquire (5.8.5)
Text equivalent
The lead acquires the lock by a base-revision edit writing holder, grant, grant time and expiry (5.7.2), extends it by heartbeat never past 24 hours (5.7.3), pushes with the grant number under the fencing check with the badge written last (5.9.8, 5.10.1), and releases only after that push (5.7.5). The queue head acquires within the ACQUISITION WINDOW, else the next waiter may (5.7.4, 5.8.5); the save hook refuses any out-of-order or pre-expiry acquisition (5.7.1).