Henrik Rydgård and Claude Opus 5.5
d42f34d3de
Kernel: Keep alarm and vtimer queues in step with their pending interrupts
...
Each due alarm or vtimer queues its id next to a pending interrupt, which
pops it when it runs. An alarm cancelled with its interrupt pending was
never popped, so every later alarm interrupt found the cancelled one at
the front and was dropped: no alarm ran again. Deleting a vtimer erased
its id instead, leaving the last pending interrupt with an empty list.
Both now pop a timer that's gone when its interrupt comes, as
threads/alarm/pending and threads/vtimers/pending show the PSP still runs
the rest, in order.
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com >
2026-10-19 21:41:48 +02:00
..
2026-10-19 18:43:27 +02:00
2026-10-12 10:52:46 +02:00
2026-10-15 15:39:11 +02:00
2026-10-13 15:48:58 +02:00
2026-10-19 16:01:53 +02:00
2026-09-28 09:34:06 -06:00
2026-10-19 21:41:48 +02:00
2026-10-19 14:13:44 +02:00
2026-10-19 11:10:47 +02:00
2026-10-19 16:06:47 +02:00
2026-10-19 16:01:53 +02:00
2026-10-19 12:02:22 +02:00
2026-10-18 12:11:46 +02:00
2026-10-18 12:11:46 +02:00
2026-10-18 12:11:46 +02:00
2026-10-19 18:53:00 +02:00
2026-10-19 18:53:00 +02:00
2026-08-31 16:37:55 +02:00
2026-08-31 16:37:55 +02:00
2026-10-19 12:02:22 +02:00
2026-09-03 12:37:31 -06:00
2026-09-03 12:37:31 -06:00
2026-10-16 18:16:33 +02:00
2026-10-15 17:03:12 +02:00
2026-10-19 16:01:53 +02:00
2026-10-19 16:01:53 +02:00
2026-10-19 12:02:22 +02:00
2026-10-13 12:13:42 +02:00
2026-08-18 09:32:04 +02:00
2026-10-18 13:40:18 +02:00
2026-10-18 13:40:18 +02:00
2026-10-08 15:29:12 +02:00
2026-10-08 15:29:12 +02:00
2026-08-31 12:53:34 +02:00
2026-10-09 13:26:22 +02:00
2026-10-09 13:26:22 +02:00
2026-09-04 13:10:54 -06:00
2026-10-12 12:27:24 +02:00
2026-10-12 12:27:24 +02:00
2026-08-31 12:22:28 +02:00
2026-10-15 17:41:53 +02:00
2026-08-18 13:42:14 +02:00
2026-10-12 19:08:03 +02:00
2026-10-11 10:33:30 +02:00
2026-10-13 12:13:42 +02:00
2026-10-15 15:45:45 +02:00
2026-10-13 02:21:14 +02:00
2026-10-01 10:26:00 -06:00
2026-10-01 10:26:00 -06:00
2026-10-19 18:51:10 +02:00
2026-10-19 18:51:10 +02:00
2026-10-19 18:43:27 +02:00
2026-10-19 18:43:27 +02:00
2026-10-19 17:29:01 +02:00
2026-10-19 09:26:15 +02:00
2026-10-19 09:26:15 +02:00
2026-10-16 18:14:44 +02:00
2026-10-13 12:13:42 +02:00
2026-08-20 00:40:41 +02:00
2026-10-17 13:53:52 +02:00
2026-08-16 23:09:12 +02:00