rv: Simplify hybrid automata monitors's clock variablesHybrid automata monitors's clock variables have two differentrepresentations: - The invariant representation, which is the timestamp when
rv: Simplify hybrid automata monitors's clock variablesHybrid automata monitors's clock variables have two differentrepresentations: - The invariant representation, which is the timestamp when the invariant expires - The guard representation, which is the timestamp when the clock is last resetThis dual representation makes the logic quite difficult to follow (well,at least for me). It also complicates the monitors and the generation tool,as it requires conversion back and forth between the representation.Simplify by using the clock variables for a single purpose: storing thetime stamp since the clock is last reset.This also allows simplifying rvgen, which will be done in a follow-upcommit.Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>Signed-off-by: Nam Cao <namcao@linutronix.de>Link: https://lore.kernel.org/r/c0f600dcbf3d8b487c944406851a39146f4d91fa.1781847583.git.namcao@linutronix.deSigned-off-by: Gabriele Monaco <gmonaco@redhat.com>
show more ...
rv: Add automatic cleanup handlers for per-task HA monitorsHybrid automata monitors may start timers, depending on the model, thesemay remain active on an exiting task and cause false positives or
rv: Add automatic cleanup handlers for per-task HA monitorsHybrid automata monitors may start timers, depending on the model, thesemay remain active on an exiting task and cause false positives or evenaccess freed memory.Add an enable/disable hook in the HA code, currently only populated bythe per-task handler for registration and deregistration.This hooks to the sched_process_exit event and ensures the timer isstopped for every exiting task. The handler is enabled automatically butmay be disabled, for instance if the monitor uses the event for anotherpurpose (but should still manually ensure timers are stopped).Fixes: f5587d1b6ec9 ("rv: Add Hybrid Automata monitor type")Reviewed-by: Nam Cao <namcao@linutronix.de>Link: https://lore.kernel.org/r/20260601153840.124372-8-gmonaco@redhat.comSigned-off-by: Gabriele Monaco <gmonaco@redhat.com>
rv: Add sample hybrid monitor stallAdd a sample monitor to showcase hybrid/timed automata.The stall monitor identifies tasks stalled for longer than a thresholdand reacts when that happens.Revi
rv: Add sample hybrid monitor stallAdd a sample monitor to showcase hybrid/timed automata.The stall monitor identifies tasks stalled for longer than a thresholdand reacts when that happens.Reviewed-by: Nam Cao <namcao@linutronix.de>Link: https://lore.kernel.org/r/20260330111010.153663-7-gmonaco@redhat.comSigned-off-by: Gabriele Monaco <gmonaco@redhat.com>