summaryrefslogtreecommitdiff
path: root/include/rv/da_monitor.h
AgeCommit message (Expand)AuthorFilesLines
2026-08-27Merge tag 'mm-stable-2026-08-26-15-22' of git://git.kernel.org/pub/scm/linux/...Linus Torvalds1-1/+1
2026-08-24percpu: drop CONFIG_DEBUG_FORCE_WEAK_PER_CPUTejun Heo1-1/+1
2026-07-31rv: Add KUnit mock for currentGabriele Monaco1-0/+1
2026-07-31rv: Add KUnit tests for some DA/HA monitorsGabriele Monaco1-0/+22
2026-07-23rv: Fix read_lock scope in per-task DA cleanupGabriele Monaco1-4/+4
2026-06-03rv: Prevent task migration while handling per-CPU eventsGabriele Monaco1-0/+11
2026-06-03rv: Ensure synchronous cleanup for HA monitorsGabriele Monaco1-3/+16
2026-06-03rv: Do not rely on clean monitor when initialising HAGabriele Monaco1-16/+75
2026-06-03rv: Fix monitor start ordering and memory ordering for monitoring flagWen Yang1-3/+5
2026-06-03rv: Ensure all pending probes terminate on per-obj monitor destroyGabriele Monaco1-2/+3
2026-06-03rv: Prevent in-flight per-task handlers from using invalid slotsGabriele Monaco1-0/+4
2026-06-03rv: Reset per-task DA monitors before releasing the slotGabriele Monaco1-2/+3
2026-03-31rv: Add support for per-object monitors in DA/HAGabriele Monaco1-5/+295
2026-03-31rv: Add Hybrid Automata monitor typeGabriele Monaco1-4/+69
2026-03-31rv: Unify DA event handling functions across monitor typesGabriele Monaco1-171/+132
2026-02-20rv: Fix multiple definition of __pcpu_unique_da_mon_thisMikhail Gavrilov1-5/+11
2026-01-12rv: Fix documentation reference in da_monitor.hShubham Sharma1-1/+1
2026-01-12rv: Cleanup da_monitor after refactorGabriele Monaco1-65/+42
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco1-455/+443
2025-11-11rv: Pass va_list to reactorsThomas Weißschuh1-25/+10
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco1-51/+52
2025-07-28rv: Add da_handle_start_run_event_ to per-task monitorsGabriele Monaco1-0/+24
2025-07-09rv: Let the reactors take care of buffersNam Cao1-35/+10
2025-01-23rv: Reset per-task monitors also for idle tasksGabriele Monaco1-0/+4
2023-09-01rv: Set variable 'da_mon_##name' to staticYu Liao1-1/+1
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira1-0/+3
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+541
generated by cgit (git 2.54.0.dirty) at 2026-09-12 15:34:35 +0000