linux/Documentation/trace/rv
Chao Liu 7d81675d1b Documentation/rv: Explain epoll and aborted sleeps
epoll_wait() is a valid sleeping reason for real-time tasks because it
uses PI-aware locking, but the rtapp sleep monitor documentation only
discusses clock_nanosleep() and futexes. Document it.

ABORT_SLEEP represents a task restoring TASK_RUNNING before entering
the scheduler. Since the task does not actually block, it becomes
runnable again without a wakeup sequence unsafe for real-time. Document
this behavior.

Signed-off-by: Chao Liu <chao.liu@processmission.com>
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260729081102.73138-1-chao.liu@processmission.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
2026-08-04 16:11:28 +02:00
..
da_monitor_instrumentation.rst Documentation/rv: Fix dead link to monitor_synthesis.rst 2025-12-22 15:30:26 -07:00
deterministic_automata.rst Documentation/rv: Add documentation about hybrid automata 2026-03-31 16:47:17 +02:00
hybrid_automata.rst Documentation/rv: Add documentation about hybrid automata 2026-03-31 16:47:17 +02:00
index.rst rv: Add nomiss deadline monitor 2026-03-31 16:47:18 +02:00
linear_temporal_logic.rst verification/rvgen: Support the 'next' operator 2025-07-24 10:43:23 -04:00
monitor_deadline.rst rv: Add nomiss deadline monitor 2026-03-31 16:47:18 +02:00
monitor_rtapp.rst Documentation/rv: Explain epoll and aborted sleeps 2026-08-04 16:11:28 +02:00
monitor_sched.rst Documentation/rv: Replace stale website link 2026-05-03 09:10:23 -06:00
monitor_stall.rst rv: Add sample hybrid monitor stall 2026-03-31 16:47:17 +02:00
monitor_synthesis.rst Documentation/rv: Add documentation about hybrid automata 2026-03-31 16:47:17 +02:00
monitor_wip.rst rv/monitor: Add the wip monitor 2022-07-30 14:01:30 -04:00
monitor_wwnr.rst Documentation: Fix typos 2023-08-18 11:29:03 -06:00
runtime-verification.rst Documentation/rv: Fix typos 2024-12-13 08:42:23 -07:00