🍴 5 Dining Philosophers - 10ms Thinking (Speedup)

📈 Simulation Summary

Virtual Time

200ms

Real Time

20ms

Speedup

10.0x

Termination

⚡ Early

📊 Actor Topology

flowchart TB philosopher_0("philosopher_0
📤 Sent: 100
📥 Recv: 71") philosopher_4("philosopher_4
📤 Sent: 67
📥 Recv: 54") fork_0("fork_0
📤 Sent: 32
📥 Recv: 51") fork_4("fork_4
📤 Sent: 40
📥 Recv: 60") philosopher_1("philosopher_1
📤 Sent: 79
📥 Recv: 60") philosopher_2("philosopher_2
📤 Sent: 70
📥 Recv: 56") philosopher_3("philosopher_3
📤 Sent: 71
📥 Recv: 56") fork_1("fork_1
📤 Sent: 30
📥 Recv: 49") fork_2("fork_2
📤 Sent: 40
📥 Recv: 59") fork_3("fork_3
📤 Sent: 17
📥 Recv: 30") fork_0 -->|19× #123;:fork_granted, :fork_0#125;
100/s| philosopher_0 fork_0 -->|11× #123;:fork_denied, :fork_0#125;
60/s| philosopher_4 fork_1 -->|12× #123;:fork_granted, :fork_1#125;
95/s| philosopher_0 fork_1 -->|8× #123;:fork_granted, :fork_1#125;
55/s| philosopher_1 fork_2 -->|11× #123;:fork_granted, :fork_2#125;
100/s| philosopher_1 fork_2 -->|11× #123;:fork_denied, :fork_2#125;
100/s| philosopher_2 fork_3 -->|7× #123;:fork_granted, :fork_3#125;
45/s| philosopher_2 fork_3 -->|7× #123;:fork_granted, :fork_3#125;
40/s| philosopher_3 fork_4 -->|12× #123;:fork_denied, :fork_4#125;
100/s| philosopher_3 fork_4 -->|12× #123;:fork_granted, :fork_4#125;
100/s| philosopher_4 philosopher_0 -->|20× #123;:request_fork, :philosopher_0#125;
190/s| fork_0 philosopher_0 -->|19× #123;:request_fork, :philosopher_0#125;
150/s| fork_1 philosopher_0 -->|#123;:start_hungry, :fork_0, :fork_1#125;
every 10ms| philosopher_0 philosopher_1 -->|11× #123;:request_fork, :philosopher_1#125;
95/s| fork_1 philosopher_1 -->|20× #123;:request_fork, :philosopher_1#125;
155/s| fork_2 philosopher_1 -->|#123;:start_hungry, :fork_2, :fork_1#125;
every 10ms| philosopher_1 philosopher_2 -->|20× #123;:request_fork, :philosopher_2#125;
140/s| fork_2 philosopher_2 -->|9× #123;:request_fork, :philosopher_2#125;
75/s| fork_3 philosopher_2 -->|#123;:start_hungry, :fork_2, :fork_3#125;
every 10ms| philosopher_2 philosopher_3 -->|8× #123;:request_fork, :philosopher_3#125;
75/s| fork_3 philosopher_3 -->|20× #123;:request_fork, :philosopher_3#125;
140/s| fork_4 philosopher_3 -->|#123;:start_hungry, :fork_4, :fork_3#125;
every 10ms| philosopher_3 philosopher_4 -->|12× #123;:request_fork, :philosopher_4#125;
65/s| fork_0 philosopher_4 -->|20× #123;:request_fork, :philosopher_4#125;
160/s| fork_4 philosopher_4 -->|#123;:start_hungry, :fork_4, :fork_0#125;
every 10ms| philosopher_4 style philosopher_0 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style philosopher_4 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style fork_0 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style fork_4 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 fork_1 fill:#fff3e0,stroke:#f57c00,stroke-width:3px style fork_2 fill:#fff3e0,stroke:#f57c00,stroke-width:3px 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	100	71	500.0 msg/s	355.0 msg/s	171 total
philosopher_4	67	54	335.0 msg/s	270.0 msg/s	121 total
fork_0	32	51	160.0 msg/s	255.0 msg/s	83 total
fork_4	40	60	200.0 msg/s	300.0 msg/s	100 total
philosopher_1	79	60	395.0 msg/s	300.0 msg/s	139 total
philosopher_2	70	56	350.0 msg/s	280.0 msg/s	126 total
philosopher_3	71	56	355.0 msg/s	280.0 msg/s	127 total
fork_1	30	49	150.0 msg/s	245.0 msg/s	79 total
fork_2	40	59	200.0 msg/s	295.0 msg/s	99 total
fork_3	17	30	85.0 msg/s	150.0 msg/s	47 total

Summary: Total messages: 1092 • Duration: 200ms • 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: 10,
    eat_time: 10,
    trace: true
  )
  |> ActorSimulation.run(
    max_duration: 120_000,
    terminate_when: fn sim ->
      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,
    check_interval: 100
  )