Repository navigation

Stage 6 step 1: a device's handler posts its watch; irq_ring's UserDev and Audio go - #634

Merged

Japabu merged 20 commits into

mainfrom

wt/toyos-sk6

Sep 30, 2026

Merged

Stage 6 step 1: a device's handler posts its watch; irq_ring's UserDev and Audio go#634
Japabu merged 20 commits into
mainfrom
wt/toyos-sk6

Commits on Sep 29, 2026
- Stage 6 step 1: a device's handler posts its watch; irq_ring's UserDev and Audio go
  
  Japabu
  and
  claude
  committed
  244ad0a
- handler-post holds only on a CPU that takes interrupts
  
  Japabu
  and
  claude
  committed
  44fe283
Commits on Sep 30, 2026
- A thread's post fires its polls with the list let go; only a handler posts in place
  
  Japabu
  and
  claude
  committed
  be715c7
- Stage 6 step 1's plan line loses its claim that a post frees nothing
  
  Japabu
  and
  claude
  committed
  8cd2948
- Stage 6 step 5's exit is what the step can reach
  
  Japabu
  and
  claude
  committed
  bee8c9d
- Merge remote-tracking branch 'origin/main' into wt/toyos-sk6
  Japabu
  committed
  3007ff2
- Merge origin/main (#625) into wt/toyos-sk6
  
  Japabu
  and
  claude
  committed
  b236cce
- Only the watches a handler posts mask interrupts, and they cannot free
  
  Japabu
  and
  claude
  committed
  a50015b
- Stage 6 stays open for the panel ruling, and step 2's exit can fail
  
  Japabu
  and
  claude
  committed
  5ed2f6e
- The poll race model holds its watch past its assertion
  
  Japabu
  and
  claude
  committed
  fb0fc7b
- Merge origin/main (#632, #536) into wt/toyos-sk6
  
  Japabu
  and
  claude
  committed
  86595cc
- The poll race model drops its world after its assertion, by name
  
  Japabu
  and
  claude
  committed
  309153b
- Merge remote-tracking branch 'origin/main' into wt/toyos-sk6
  Japabu
  committed
  9e4d712
- Answer the fourth review of #634: no post drops an entry, no handler frees, the ring's watch is tested, and the mask comes before the lock by type
  
  Japabu
  and
  claude
  committed
  d6a04fa
- Merge remote-tracking branch 'origin/main' into wt/toyos-sk6
  Japabu
  committed
  84275af
- Answer the fifth review of #634: a released claim's polls are let go of, and the post and cancel bounds are tested at FEW
  
  Japabu
  and
  claude
  committed
  f4ed0e7
- Answer the sixth review of #634: one cancel for every watch, a thread's
  
  Japabu
  and
  claude
  committed
  485e66f
- issues: an IrqWatch's freeing cancel compiles in a handler
  
  Japabu
  and
  claude
  committed
  d098f0d
- Merge remote-tracking branch 'origin/main' into wt/toyos-sk6
  Japabu
  committed
  5462f5e
- Answer the final review of #634: an audio claim's release answers its polls
  
  Japabu
  and
  claude
  committed
  0a9eb49

Commits

Commits on Sep 29, 2026

Commits on Sep 30, 2026