Repository navigation

Logging: records from every producer, and a kernel that waits on nobody - #527

Merged

Japabu merged 46 commits into

mainfrom

wt/toyos-logtrack

Sep 27, 2026

Commits on Sep 26, 2026
- log: a record ring per program, a clock page, one console writer, and a kernel that waits on nobody
  
  Japabu
  and
  claude
  committed
  88a17fe
- logging: the stop goes through init, and the tests that stopped the machine themselves ask it
  
  Japabu
  and
  claude
  committed
  8631c82
- logging: the log's tests judge a ring's accounting, and a child cannot fill its parent's ring
  
  Japabu
  and
  claude
  committed
  ef3e8ce
- Merge origin/main into wt/toyos-logtrack: one way to wait
  
  Japabu
  and
  claude
  committed
  5148bfb
- sdk: toyos-abi 0.13, toyos 0.14 and toyos-window 0.15 for the log ring and the clock page
  
  Japabu
  and
  claude
  committed
  9453606
- sdk: the lockfiles the bump left behind
  
  Japabu
  and
  claude
  committed
  377a60f
- logging: close what the rings fixed, fold the rest into the track, and a lock the boot takes before the scheduler
  
  Japabu
  and
  claude
  committed
  489ed0e
- log proof: the real-time write that must not allocate must not wait either
  
  Japabu
  and
  claude
  committed
  f308760
- sleeplock: ask the scheduler facade whether it has started, so the loom build compiles it
  
  Japabu
  and
  claude
  committed
  f6ae96c
- virtio-console: a transmit burst waits for the host with interrupts on
  
  Japabu
  and
  claude
  committed
  c238a2f
- logd: parts are not preallocated, because the zeros starve a tone
  
  Japabu
  and
  claude
  committed
  a5da0ac
- origin: the flood judge's last line, as clippy spells it
  
  Japabu
  and
  claude
  committed
  7de550b
- klogd: register on its own watch each pass, after the wire
  
  Japabu
  and
  claude
  committed
  0e98e7a
- logd: a line after init's flush reaches the console and nothing else
  
  Japabu
  and
  claude
  committed
  9fddace
- console queue: its count moves under its lock, with the length it mirrors
  
  Japabu
  and
  claude
  committed
  01ecd1f
- console: a line that does not fit goes back to its holder; init serves a request before it expires a client
  
  Japabu
  and
  claude
  committed
  5a68db7
- nmi_window_spin: the clock it reads between chunks is a page, not a syscall
  
  Japabu
  and
  claude
  committed
  b20c8cb
- logd: past the console's bound the oldest lines go, not the newest
  
  Japabu
  and
  claude
  committed
  d679ea9
- Merge remote-tracking branch 'origin/main' into wt/toyos-logtrack
  
  Japabu
  and
  claude
  committed
  61df461
- kernel_log_file: wait for logd's word on its file past the ready marker
  
  Japabu
  and
  claude
  committed
  a5d6717
- issues: QEMU drops console output the harness is slow to read
  
  Japabu
  and
  claude
  committed
  7eebf3e
- Merge remote-tracking branch 'origin/main' into wt/toyos-logtrack
  
  Japabu
  and
  claude
  committed
  d4d72a5
- issues: a segment socket path outgrows SUN_LEN in the per-run scratch
  
  Japabu
  and
  claude
  committed
  512da5e
- A syscall writes only where its caller could store
  
  Japabu
  and
  claude
  committed
  1340296
- logd reads a stamp ahead of the clock as the moment it read it
  
  Japabu
  and
  claude
  committed
  9ff1a48
- A refused stop leaves the log written
  
  Japabu
  and
  claude
  committed
  a53139d
- toyos-abi: AArch64 keeps the tid in its psABI's TCB, not in TLS data
  
  Japabu
  and
  claude
  committed
  5688c81
- One wait on a used ring, which a preempted waiter cannot blame on the device
  
  Japabu
  and
  claude
  committed
  a5c6bdd
- A child's flood leaves its parent's log slots: a guest gate
  
  Japabu
  and
  claude
  committed
  e74a98a
- The fatal path halts the other CPUs first: a guest gate that can fail
  
  Japabu
  and
  claude
  committed
  3c2d01f
- log_stream_stalled_reader reads a console that refuses no write
  
  Japabu
  and
  claude
  committed
  76be814
- Answer the review's notes and removals
  
  Japabu
  and
  claude
  committed
  75adfa1
- Merge remote-tracking branch 'origin/main' into wt/toyos-logtrack
  
  Japabu
  and
  claude
  committed
  d1315f8
- Clippy's two reds from this round
  
  Japabu
  and
  claude
  committed
  11bb949
- logd makes each round durable before the next, as main's did
  
  Japabu
  and
  claude
  committed
  6f35787
- A stop's flush is made durable once; the stalled-reader flood is four times wider
  
  Japabu
  and
  claude
  committed
  0f18651
- Merge remote-tracking branch 'origin/main' into wt/toyos-logtrack
  
  Japabu
  and
  claude
  committed
  d3512de
- issues: the stalled reader is 20 of 20 on the wider flood
  
  Japabu
  and
  claude
  committed
  558dca9
- issues: the SUN_LEN socket path is main's to track, filed there twice
  
  Japabu
  and
  claude
  committed
  348b497
- Round-2 review: pinned typed copies, a resume that meets its flush, a flood that ends at the let-go
  
  Japabu
  and
  claude
  committed
  73d414f
- The owner's-slots test tells a waited-out flush from a lost slot; the unbuffered console goes
  
  Japabu
  and
  claude
  committed
  a171958
Commits on Sep 27, 2026
- Merge origin/main: the ARM64 port, stages 0 to 3 (#524)
  
  Japabu
  and
  claude
  committed
  76bd2bc
- The owner's-slots test reads a missing stop line as an unanswered flush
  
  Japabu
  and
  claude
  committed
  7544e7a
- log_flood's lines go back to 64 bytes
  
  Japabu
  and
  claude
  committed
  b601025
- toyos-abi's counter and tid reads move to an arch module, as main's gate rules
  
  Japabu
  and
  claude
  committed
  618e68e
- issues: a console holder's queued line can reach the console after the last word
  
  Japabu
  and
  claude
  committed
  a8c37cf

Commits

Commits on Sep 26, 2026

Commits on Sep 27, 2026