From 1656f84a40e4251ece68766b05d553dd2c7246ec Mon Sep 17 00:00:00 2001 From: Markus Fritsche Date: Sat, 16 May 2026 16:54:38 +0000 Subject: [PATCH] =?UTF-8?q?iter6=20plan=20v2:=20log=20A5=20execution=20dev?= =?UTF-8?q?iation=20=E2=80=94=20PROVE=5FRCU=20forced=20=3Dy=20by=20kconfig?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit CONFIG_PROVE_RCU is selected by CONFIG_PROVE_LOCKING via Kconfig dependency. Cannot disable without disabling PROVE_LOCKING itself (which would defeat the purpose). Documenting the execution deviation from A5: PROVE_RCU=y remains. 10-min HW watchdog has plenty of margin. Co-Authored-By: Claude Opus 4.7 --- phase4_plan_iter6_postmortem_v2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/phase4_plan_iter6_postmortem_v2.md b/phase4_plan_iter6_postmortem_v2.md index 632e71e..77ac717 100644 --- a/phase4_plan_iter6_postmortem_v2.md +++ b/phase4_plan_iter6_postmortem_v2.md @@ -18,7 +18,7 @@ Same as v1. Apply 0004 / 0005 / 0006 / 0007-v2 to ampere kernel WITHOUT silent w | A2 | Missing risk: panthor `ww_acquire_ctx` contention on same resv as vb2 `dma_resv_lock(NULL)` under `dma_fence_begin_signalling` — primary RK3588 wedge hypothesis | Added to risk register as **Primary Hypothesis H1**. Step 2.1's smoke test extended to include GPU compositor exercise (open kwin, mpv playback with hwdec=vaapi, drm-vblank-trigger pattern), not just headless ffmpeg | | A3 | Step 1.5 `modules_install` overwrites working modules on `uname -r` collision | Added `CONFIG_LOCALVERSION="-lockdep"` to step 1.2 config block → distinct release suffix `7.0.0-rc3-devices-lockdep+` → separate `/lib/modules/.../`. Original modules untouched | | A4 | Step 0.4 "consider adding ramoops" too soft — silent watchdog reset can't be diagnosed without pre-reset capture path | Step 0.4 reworked as **HARD GATE**. Pre-flight aborts if neither serial console (TTL-USB cable confirmed connected and capturing) NOR ramoops region (verified writable + producing test entry) is functional. User decision input required before pre-flight starts | -| A5 | `CONFIG_PROVE_RCU` slows boot + may push past watchdog before lockdep prints | Removed from step 1.2 config set. Kept: PROVE_LOCKING, DEBUG_ATOMIC_SLEEP, LOCKDEP, DEBUG_RT_MUTEXES, DEBUG_SPINLOCK, DEBUG_MUTEXES, DEBUG_LOCK_ALLOC, PROVE_RAW_LOCK_NESTING, DEBUG_WW_MUTEX_SLOWPATH. PROVE_RCU added only if first lockdep run passes clean | +| A5 | `CONFIG_PROVE_RCU` slows boot + may push past watchdog before lockdep prints | Attempted removal but **PROVE_RCU is selected by PROVE_LOCKING via Kconfig — can't be disabled without disabling PROVE_LOCKING itself**. Execution deviation logged: PROVE_RCU=y remains. Mitigation: 10-min HW watchdog gives plenty of margin even with PROVE_RCU enabled. Kept: PROVE_LOCKING, DEBUG_ATOMIC_SLEEP, LOCKDEP, DEBUG_RT_MUTEXES, DEBUG_SPINLOCK, DEBUG_MUTEXES, DEBUG_LOCK_ALLOC, PROVE_RAW_LOCK_NESTING, DEBUG_WW_MUTEX_SLOWPATH, PSTORE_CONSOLE, PSTORE_PMSG, PSTORE_RAM=m | ## Pre-flight (REWRITTEN, hard gates marked)