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

Re: [PATCH v11 00/21] RV: Linear temporal logic monitors for RT application

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

Hello:

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

On Fri,  4 Jul 2025 15:19:52 +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:
  - [v11,17/21] 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