diff options
| author | eunhhu <[email protected]> | 2026-09-28 19:08:09 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-28 19:08:09 +0100 |
| commit | ec210a8aed62c301e9ae384d4d157e379fa58f54 (patch) | |
| tree | 49ce69c1ffcdb50a9d9ccf9d6cb8fcbf46e34a5d /docs/research/084-parallel-syncs.md | |
| parent | 745efcd4f19b59bcfb131df2d127a3387a544e84 (diff) | |
| download | pure-ec210a8aed62c301e9ae384d4d157e379fa58f54.tar.gz pure-ec210a8aed62c301e9ae384d4d157e379fa58f54.zip | |
Keep the numbers heard as a list: a save logs only the ones it changed
The last number heard from each source was written whole into the links
value at every save, and counted in two bytes: a node that heard from
more than 65,535 sources stored a wrong count, and each save cost as many
bytes as there were sources. The numbers are now a runtime-owned list
{source, seq} in order of source, stored as a list state is (its image
"0heard" and its changes in the log), changed with the event that
delivers, so a failed save takes them back with it. Links stored before
(PLK1) move their numbers to the list at a start and are stored again
without them (PLK2).
Diffstat (limited to 'docs/research/084-parallel-syncs.md')
0 files changed, 0 insertions, 0 deletions