Thread (39 messages) 39 messages, 7 authors, 2025-08-10

Re: [PATCH v6 00/22] RV: Linear temporal logic monitors for RT application

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

Hello:

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

On Wed, 30 Apr 2025 13:02:15 +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:
  - [v6,18/22] 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