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
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