🍴 5 Dining Philosophers - All Fed Successfully

📈 Simulation Summary

Virtual Time

500ms

Real Time

19ms

Speedup

26.3x

Termination

⚡ Early

📊 Actor Topology

flowchart TB philosopher_0("philosopher_0
📤 Sent: 48
📥 Recv: 35") philosopher_1("philosopher_1
📤 Sent: 37
📥 Recv: 29") philosopher_2("philosopher_2
📤 Sent: 36
📥 Recv: 29") philosopher_3("philosopher_3
📤 Sent: 37
📥 Recv: 29") philosopher_4("philosopher_4
📤 Sent: 35
📥 Recv: 28") fork_0("fork_0
📤 Sent: 16
📥 Recv: 25") fork_4("fork_4
📤 Sent: 20
📥 Recv: 31") fork_1("fork_1
📤 Sent: 14
📥 Recv: 22") fork_2("fork_2
📤 Sent: 20
📥 Recv: 29") fork_3("fork_3
📤 Sent: 10
📥 Recv: 16") fork_0 -->|9× #123;:fork_granted, :fork_0#125;
20/s| philosopher_0 fork_0 -->|5× #123;:fork_denied, :fork_0#125;
12/s| philosopher_4 fork_1 -->|6× #123;:fork_granted, :fork_1#125;
18/s| philosopher_0 fork_1 -->|3× #123;:fork_granted, :fork_1#125;
10/s| philosopher_1 fork_2 -->|5× #123;:fork_denied, :fork_2#125;
20/s| philosopher_1 fork_2 -->|5× #123;:fork_denied, :fork_2#125;
20/s| philosopher_2 fork_3 -->|4× #123;:fork_granted, :fork_3#125;
10/s| philosopher_2 fork_3 -->|3× #123;:fork_granted, :fork_3#125;
10/s| philosopher_3 fork_4 -->|5× #123;:fork_denied, :fork_4#125;
20/s| philosopher_3 fork_4 -->|6× #123;:fork_granted, :fork_4#125;
20/s| philosopher_4 philosopher_0 -->|10× #123;:request_fork, :philosopher_0#125;
36/s| fork_0 philosopher_0 -->|9× #123;:request_fork, :philosopher_0#125;
28/s| fork_1 philosopher_0 -->|#123;:start_hungry, :fork_0, :fork_1#125;
every 50ms| philosopher_0 philosopher_1 -->|5× #123;:request_fork, :philosopher_1#125;
16/s| fork_1 philosopher_1 -->|10× #123;:request_fork, :philosopher_1#125;
30/s| fork_2 philosopher_1 -->|#123;:start_hungry, :fork_2, :fork_1#125;
every 50ms| philosopher_1 philosopher_2 -->|10× #123;:request_fork, :philosopher_2#125;
28/s| fork_2 philosopher_2 -->|5× #123;:request_fork, :philosopher_2#125;
16/s| fork_3 philosopher_2 -->|#123;:start_hungry, :fork_2, :fork_3#125;
every 50ms| philosopher_2 philosopher_3 -->|5× #123;:request_fork, :philosopher_3#125;
16/s| fork_3 philosopher_3 -->|10× #123;:request_fork, :philosopher_3#125;
30/s| fork_4 philosopher_3 -->|#123;:start_hungry, :fork_4, :fork_3#125;
every 50ms| philosopher_3 philosopher_4 -->|6× #123;:request_fork, :philosopher_4#125;
14/s| fork_0 philosopher_4 -->|10× #123;:request_fork, :philosopher_4#125;
32/s| fork_4 philosopher_4 -->|#123;:start_hungry, :fork_4, :fork_0#125;
every 50ms| philosopher_4 style philosopher_0 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style philosopher_1 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style philosopher_2 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style philosopher_3 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style philosopher_4 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style fork_0 fill:#e8f5e9,stroke:#388e3c style fork_4 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style fork_1 fill:#e8f5e9,stroke:#388e3c style fork_2 fill:#e8f5e9,stroke:#388e3c style fork_3 fill:#e8f5e9,stroke:#388e3c

Node Shapes (Actor Type)

flowchart TD legend_processor("Processor
(send & receive)") legend_sink["Sink
(receives only)"] style legend_processor fill:#ffffff,stroke:#666666,stroke-width:2px style legend_sink fill:#ffffff,stroke:#666666,stroke-width:2px

Node Colors (Activity Level)

flowchart LR activity_0["🟢 Medium Activity (10-50 msgs)"] activity_1["🟠 High Activity (>50 msgs)"] style activity_0 fill:#e8f5e9,stroke:#388e3c style activity_1 fill:#fff3e0,stroke:#f57c00,stroke-width:3px

📉 Detailed Statistics

Actor	Sent	Received	Send Rate	Receive Rate	Activity
philosopher_0	48	35	96.0 msg/s	70.0 msg/s	83 total
philosopher_1	37	29	74.0 msg/s	58.0 msg/s	66 total
philosopher_2	36	29	72.0 msg/s	58.0 msg/s	65 total
philosopher_3	37	29	74.0 msg/s	58.0 msg/s	66 total
philosopher_4	35	28	70.0 msg/s	56.0 msg/s	63 total
fork_0	16	25	32.0 msg/s	50.0 msg/s	41 total
fork_4	20	31	40.0 msg/s	62.0 msg/s	51 total
fork_1	14	22	28.0 msg/s	44.0 msg/s	36 total
fork_2	20	29	40.0 msg/s	58.0 msg/s	49 total
fork_3	10	16	20.0 msg/s	32.0 msg/s	26 total

Summary: Total messages: 546 • Duration: 500ms • Actors: 10

💻 Model Source Code

This is the Elixir code that defines the actor simulation model:

simulation =
  DiningPhilosophers.create_simulation(
    num_philosophers: 5,
    think_time: 50,
    eat_time: 25,
    trace: true
  )
  |> ActorSimulation.run(
    max_duration: 120_000,
    terminate_when: fn sim ->
      # Check if all philosophers have eaten
      trace = sim.trace
      philosophers_who_ate =
        Enum.filter(0..4, fn i ->
          name = :"philosopher_#{i}"
          Enum.any?(trace, fn event ->
            event.from == name and event.to == name and
              event.message == {:mumble, "I'm full!"}
          end)
        end)
      length(philosophers_who_ate) == 5
    end
  )