there are many types of freezes, not only deadlocks

matu3ba · Jul 18, 2024 · e515c03 · e515c03
1 parent 10e8870
commit e515c03
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/post/optimal_debugging.html b/post/optimal_debugging.html
@@ -214,10 +214,10 @@ <h2>Towards an optimal debugging framework library.</h2>
         </li>
         <li>Resource leaks (Freestanding/Kernel)</li>
             sanitizer
-        <li>Deadlocks</li>
-            sanitizer?
+        <li>Freezes (deadlocks, softlocks, signal safety, unbounded loops etc)</li>
+            sanitizer, validator
         <li>Performance</li>
-            tracer
+            simulator, tracer
         <li>Logic problems: unclear which logic(s) necessary to apply when ignoring hardware,
           memory problems, UB and other above problems
           <ol>