fix the tests and terminology

Author: d-led

generated/examples/dining_philosophers_2.html

@@ -122,17 +122,18 @@ <h3>The Problem</h3>
       </p>
       <p>
         <strong>Challenge:</strong> How to prevent deadlock when all philosophers
-        simultaneously grab their left fork?
+        simultaneously grab their left fork? This would create a circular wait condition.
       </p>
       <p>
-        <strong>Solution:</strong> Asymmetric fork acquisition - odd philosophers grab
-        right fork first, even philosophers grab left fork first.
+        <strong>Solution:</strong> Asymmetric fork acquisition strategy - odd-numbered philosophers grab
+        their right fork first, even-numbered philosophers grab their left fork first.
+        This breaks the symmetry and prevents circular deadlock.
       </p>
     </div>
 
     <div class="legend">
       <div class="legend-item">
-        <strong>→→</strong> Solid Arrow<br>
+        <strong>→</strong> Solid Arrow<br>
         Synchronous call (request/release fork)
       </div>
       <div class="legend-item">
@@ -143,6 +144,10 @@ <h3>The Problem</h3>
         <strong>Timestamps</strong><br>
         Virtual time progression
       </div>
+      <div class="legend-item">
+        <strong>Self-loops</strong><br>
+        Philosopher internal state changes
+      </div>
     </div>
 
     <div class="diagram-container">
@@ -168,94 +173,6 @@ <h3>The Problem</h3>
     Note over philosopher_1,fork_1: t=150ms
     fork_1->>philosopher_1: {:fork_granted, :fork_1}
     Note over fork_1,philosopher_1: t=150ms
-    philosopher_1->>philosopher_1: {:mumble, "I'm full!"}
-    Note over philosopher_1,philosopher_1: t=225ms
-    philosopher_1->>fork_0: {:release_fork, :philosopher_1}
-    Note over philosopher_1,fork_0: t=225ms
-    philosopher_1->>fork_1: {:release_fork, :philosopher_1}
-    Note over philosopher_1,fork_1: t=225ms
-    philosopher_0->>philosopher_0: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_0,philosopher_0: t=300ms
-    philosopher_1->>philosopher_1: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_1,philosopher_1: t=300ms
-    philosopher_0->>fork_0: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_0: t=300ms
-    philosopher_1->>fork_0: {:request_fork, :philosopher_1}
-    Note over philosopher_1,fork_0: t=300ms
-    fork_0->>philosopher_0: {:fork_granted, :fork_0}
-    Note over fork_0,philosopher_0: t=300ms
-    fork_0->>philosopher_1: {:fork_denied, :fork_0}
-    Note over fork_0,philosopher_1: t=300ms
-    philosopher_0->>fork_1: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_1: t=300ms
-    fork_1->>philosopher_0: {:fork_granted, :fork_1}
-    Note over fork_1,philosopher_0: t=300ms
-    philosopher_0->>philosopher_0: {:mumble, "I'm full!"}
-    Note over philosopher_0,philosopher_0: t=375ms
-    philosopher_0->>fork_0: {:release_fork, :philosopher_0}
-    Note over philosopher_0,fork_0: t=375ms
-    philosopher_0->>fork_1: {:release_fork, :philosopher_0}
-    Note over philosopher_0,fork_1: t=375ms
-    philosopher_1->>philosopher_1: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_1,philosopher_1: t=450ms
-    philosopher_0->>philosopher_0: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_0,philosopher_0: t=450ms
-    philosopher_0->>fork_0: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_0: t=450ms
-    philosopher_1->>fork_0: {:request_fork, :philosopher_1}
-    Note over philosopher_1,fork_0: t=450ms
-    fork_0->>philosopher_0: {:fork_granted, :fork_0}
-    Note over fork_0,philosopher_0: t=450ms
-    fork_0->>philosopher_1: {:fork_denied, :fork_0}
-    Note over fork_0,philosopher_1: t=450ms
-    philosopher_0->>fork_1: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_1: t=450ms
-    fork_1->>philosopher_0: {:fork_granted, :fork_1}
-    Note over fork_1,philosopher_0: t=450ms
-    philosopher_0->>philosopher_0: {:mumble, "I'm full!"}
-    Note over philosopher_0,philosopher_0: t=525ms
-    philosopher_0->>fork_0: {:release_fork, :philosopher_0}
-    Note over philosopher_0,fork_0: t=525ms
-    philosopher_0->>fork_1: {:release_fork, :philosopher_0}
-    Note over philosopher_0,fork_1: t=525ms
-    philosopher_0->>philosopher_0: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_0,philosopher_0: t=600ms
-    philosopher_1->>philosopher_1: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_1,philosopher_1: t=600ms
-    philosopher_0->>fork_0: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_0: t=600ms
-    philosopher_1->>fork_0: {:request_fork, :philosopher_1}
-    Note over philosopher_1,fork_0: t=600ms
-    fork_0->>philosopher_0: {:fork_granted, :fork_0}
-    Note over fork_0,philosopher_0: t=600ms
-    fork_0->>philosopher_1: {:fork_denied, :fork_0}
-    Note over fork_0,philosopher_1: t=600ms
-    philosopher_0->>fork_1: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_1: t=600ms
-    fork_1->>philosopher_0: {:fork_granted, :fork_1}
-    Note over fork_1,philosopher_0: t=600ms
-    philosopher_0->>philosopher_0: {:mumble, "I'm full!"}
-    Note over philosopher_0,philosopher_0: t=675ms
-    philosopher_0->>fork_0: {:release_fork, :philosopher_0}
-    Note over philosopher_0,fork_0: t=675ms
-    philosopher_0->>fork_1: {:release_fork, :philosopher_0}
-    Note over philosopher_0,fork_1: t=675ms
-    philosopher_0->>philosopher_0: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_0,philosopher_0: t=750ms
-    philosopher_0->>fork_0: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_0: t=750ms
-    philosopher_1->>philosopher_1: {:start_hungry, :fork_0, :fork_1}
-    Note over philosopher_1,philosopher_1: t=750ms
-    fork_0->>philosopher_0: {:fork_granted, :fork_0}
-    Note over fork_0,philosopher_0: t=750ms
-    philosopher_0->>fork_1: {:request_fork, :philosopher_0}
-    Note over philosopher_0,fork_1: t=750ms
-    philosopher_1->>fork_0: {:request_fork, :philosopher_1}
-    Note over philosopher_1,fork_0: t=750ms
-    fork_0->>philosopher_1: {:fork_denied, :fork_0}
-    Note over fork_0,philosopher_1: t=750ms
-    fork_1->>philosopher_0: {:fork_granted, :fork_1}
-    Note over fork_1,philosopher_0: t=750ms
       </div>
     </div>
 
@@ -274,9 +191,9 @@ <h3>Simulation Source Code</h3>
     <div class="explanation" style="margin-top: 20px;">
       <h3>What the Diagram Shows</h3>
       <ul>
-        <li>Each philosopher sends synchronous <code>:request</code> messages to forks</li>
-        <li>Forks reply with <code>:granted</code> or <code>:denied</code></li>
-        <li>After eating, philosophers send <code>:release</code> to both forks</li>
+        <li>Each philosopher sends synchronous <code>:request_fork</code> messages to forks</li>
+        <li>Forks reply with <code>:fork_granted</code> or <code>:fork_denied</code></li>
+        <li>After eating, philosophers send <code>:release_fork</code> to both forks</li>
         <li>The timeline shows how virtual time advances instantly in tests</li>
         <li>No deadlocks occur due to asymmetric fork acquisition</li>
       </ul>