aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-09-30 05:59:50 +0100
committereunhhu <[email protected]>2026-09-30 05:59:50 +0100
commit781b484fc326c58d9a8962696fa84a785c36ae9a (patch)
tree8c9bcb0f0c7eeff30e6f4939ef3f408ac08d212c /.github/workflows
parent45f6386784497bdfe3eaa7eb9b8f0104bb804267 (diff)
downloadpure-781b484fc326c58d9a8962696fa84a785c36ae9a.tar.gz
pure-781b484fc326c58d9a8962696fa84a785c36ae9a.zip
Say how growing a board two nodes share went (105)
103's next step: grow a real app, adding and reordering fields, cutting the connection, starting again, and write down what gets in the way. Two nodes share a board (from Vega's examples/board.aup), each sending its changes to the other, the later change winning. Upgrading them one after the other deadlocked: fixed by recasting waiting sends by name (9aa123e) and taking fields by name (014, 5ce7655), and under it a link that stopped for good when a refused stream's try was lost (baaf955). Now the older node's changes reach the newer one during the upgrade, the newer one's new field waits for the older, and the boards agree a second after. Fields in another order agree at once; a partition healed agrees on the later change; both nodes started again go on. Two rough edges eased on the way (the node's name, message like in aup); sends and applies are still written field by field. CHECKPOINT's row for links says so.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions