Ein Verifizierungsmechanismus für die korrekte Funktionsweise des Kernels wurde für Linux vorgeschlagen
Für die Integration in den Linux-Kernel 5.20 (möglicherweise wird der Branch die Nummer 6.0 erhalten) wurde ein Patch-Set vorgeschlagen, das den Mechanismus RV (Runtime Verification) implementiert, der Werkzeuge zur Überprüfung der Korrektheit in hochverfügbaren Systemen bereitstellt, die Ausfälle garantieren. Die Überprüfung erfolgt zur Laufzeit durch das Anbringen von Handlern an Tracepoints, die den tatsächlichen Ablauf mit einem vorher festgelegten maßgeblichen deterministischen Modell eines Automaten abgleichen, […]
