Thread (21 messages) 21 messages, 3 authors, 2025-08-10

Re: [PATCH v12 00/12] RV: Linear temporal logic monitors for RT application

From: patchwork-bot+linux-riscv@kernel.org
Date: 2025-08-10 21:12:28
Also in: linux-riscv, lkml

Hello:

This patch was applied to riscv/linux.git (fixes)
by Steven Rostedt (Google) [off-list ref]:

On Wed,  9 Jul 2025 19:56:17 +0200 you wrote:
Real-time applications may have design flaws causing them to have
unexpected latency. For example, the applications may raise page faults, or
may be blocked trying to take a mutex without priority inheritance.

However, while attempting to implement DA monitors for these real-time
rules, deterministic automaton is found to be inappropriate as the
specification language. The automaton is complicated, hard to understand,
and error-prone.

[...]
Here is the summary with links:
  - [v12,08/12] riscv: mm: Add page fault trace points
    https://git.kernel.org/riscv/c/a37c71ca412d

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html

Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help