diff options
| author | eunhhu <[email protected]> | 2026-10-01 07:03:14 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-01 07:03:14 +0100 |
| commit | 0ad46603d88eccaefd250870109186f823e1845a (patch) | |
| tree | eb644079cc3839e8bd5fcc3a7fd64e9a66af914f /docs/research/033-paged-document-storage.md | |
| parent | dacc962049ba7881e4690cac25567f68ad4d2827 (diff) | |
| download | pure-0ad46603d88eccaefd250870109186f823e1845a.tar.gz pure-0ad46603d88eccaefd250870109186f823e1845a.zip | |
Hand sends to another app of the host with no socket (017)
send=OUTPUT=APP/INPUT in --apps wires an output to another app of the
same host through a local outlet: no socket, seal or packet. The
sender's turn queues its saved sends there, under the window links
and wires have, and hands them, one batch at a time, to the receiving
app's queue laid out as a link delivers records (first number, count,
source APP.OUTPUT, the records as stored, and the sender's fields when
the input takes them by name, which pure_module_takes checks at start).
The receiver applies them after its last number heard; its save over,
it tells the outlet what it heard and the sender's next turn trims its
outbox so far. What it did not store is queued again from the outbox,
after 100 ms when it had no room. An output now goes one way only: two
outlets would trim each other's sends.
server_apps_links: an app sends each of 400 messages to an app of
another host over a link and to three apps of its own host (one of
the same shape, one taking the fields by name, one with a memory
budget that fills), with a kill -9 of the sending host between two
requests; all arrive once and in order, and the full app's sends wait
in the sender's outbox until it lets go of what it holds.
Diffstat (limited to 'docs/research/033-paged-document-storage.md')
0 files changed, 0 insertions, 0 deletions
