Files
Centos-kernel-stream-10/tools/verification
Gabriele Monaco 4f8c916c8b rv: Add opid per-cpu monitor
JIRA: https://issues.redhat.com/browse/RHEL-114754

commit 614384533dfe99293a7ff1bce3d4389adadbb759
Author: Gabriele Monaco <gmonaco@redhat.com>
Date:   Mon Jul 28 15:50:21 2025 +0200

    rv: Add opid per-cpu monitor

    Add a per-cpu monitor as part of the sched model:
    * opid: operations with preemption and irq disabled
        Monitor to ensure wakeup and need_resched occur with irq and
        preemption disabled or in irq handlers.

    Cc: Jonathan Corbet <corbet@lwn.net>
    Cc: Masami Hiramatsu <mhiramat@kernel.org>
    Cc: Ingo Molnar <mingo@redhat.com>
    Cc: Peter Zijlstra <peterz@infradead.org>
    Cc: Tomas Glozar <tglozar@redhat.com>
    Cc: Juri Lelli <jlelli@redhat.com>
    Cc: Clark Williams <williams@redhat.com>
    Cc: John Kacur <jkacur@redhat.com>
    Link: https://lore.kernel.org/20250728135022.255578-10-gmonaco@redhat.com
    Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
    Acked-by: Nam Cao <namcao@linutronix.de>
    Tested-by: Nam Cao <namcao@linutronix.de>
    Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>

Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
2025-11-06 08:21:45 +01:00
..
2025-11-06 08:21:45 +01:00