From b1931aa9c1e8c7beca42852592a4edd02dab4c4f Mon Sep 17 00:00:00 2001 From: patrick Date: Thu, 15 Oct 2026 21:24:49 +0200 Subject: [PATCH] docs: TOCTOU-Einschraenkung in Shutdown() dokumentieren (CUT-06) Co-Authored-By: Claude Sonnet 5 --- docs/CUT-06-PRUEFPROTOKOLL.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/CUT-06-PRUEFPROTOKOLL.md b/docs/CUT-06-PRUEFPROTOKOLL.md index 7635e956..3cdff8c8 100644 --- a/docs/CUT-06-PRUEFPROTOKOLL.md +++ b/docs/CUT-06-PRUEFPROTOKOLL.md @@ -172,3 +172,5 @@ ok gitea.perlbach24.de/scripte/nexarch/internal/rollbackrun 2.873s ``` `go build ./...` und `gofmt -l` auf den geänderten Dateien weiterhin sauber. + +**Bekannte, akzeptierte Einschränkung:** Zwischen der `OpenDiscrepancyCount`-Prüfung und dem anschließenden `ALTER DATABASE`-Sperren in `Shutdown()` liegt keine Transaktion/Sperre — eine Diskrepanz, die exakt in diesem schmalen Zeitfenster gemeldet wird, würde die Prüfung theoretisch passieren lassen (TOCTOU). Für den hier modellierten Anwendungsfall (seltene, manuelle Admin-Aktion, kein Hochfrequenz-Produktivbetrieb) als akzeptables Restrisiko bewertet, nicht weiter gehärtet.