๐Ÿด 5 Dining Philosophers - 10ms Thinking (Speedup)

Generated by GenServerVirtualTime โ€ข Mermaid Flowchart

๐Ÿ“ˆ Simulation Summary

Virtual Time
100ms
Real Time
10ms
Speedup
10.0x
Termination
โšก Early

๐Ÿ“Š Actor Topology

flowchart TB philosopher_0("philosopher_0
๐Ÿ“ค Sent: 45
๐Ÿ“ฅ Recv: 33") philosopher_1("philosopher_1
๐Ÿ“ค Sent: 38
๐Ÿ“ฅ Recv: 30") philosopher_2("philosopher_2
๐Ÿ“ค Sent: 37
๐Ÿ“ฅ Recv: 29") philosopher_3("philosopher_3
๐Ÿ“ค Sent: 31
๐Ÿ“ฅ Recv: 26") philosopher_4("philosopher_4
๐Ÿ“ค Sent: 38
๐Ÿ“ฅ Recv: 30") fork_0("fork_0
๐Ÿ“ค Sent: 17
๐Ÿ“ฅ Recv: 26") fork_4("fork_4
๐Ÿ“ค Sent: 20
๐Ÿ“ฅ Recv: 29") fork_1("fork_1
๐Ÿ“ค Sent: 12
๐Ÿ“ฅ Recv: 21") fork_2("fork_2
๐Ÿ“ค Sent: 20
๐Ÿ“ฅ Recv: 29") fork_3("fork_3
๐Ÿ“ค Sent: 8
๐Ÿ“ฅ Recv: 13") fork_0 -->|7ร— #123;:fork_granted, :fork_0#125;
100/s| philosopher_0 fork_0 -->|4ร— #123;:fork_denied, :fork_0#125;
70/s| philosopher_4 fork_1 -->|5ร— #123;:fork_granted, :fork_1#125;
70/s| philosopher_0 fork_1 -->|#123;:fork_granted, :fork_1#125;
50/s| philosopher_1 fork_2 -->|5ร— #123;:fork_denied, :fork_2#125;
100/s| philosopher_1 fork_2 -->|5ร— #123;:fork_denied, :fork_2#125;
100/s| philosopher_2 fork_3 -->|3ร— #123;:fork_granted, :fork_3#125;
50/s| philosopher_2 fork_3 -->|2ร— #123;:fork_granted, :fork_3#125;
30/s| philosopher_3 fork_4 -->|7ร— #123;:fork_denied, :fork_4#125;
100/s| philosopher_3 fork_4 -->|7ร— #123;:fork_granted, :fork_4#125;
100/s| philosopher_4 philosopher_0 -->|10ร— #123;:request_fork, :philosopher_0#125;
170/s| fork_0 philosopher_0 -->|7ร— #123;:request_fork, :philosopher_0#125;
120/s| fork_1 philosopher_0 -->|#123;:start_hungry, :fork_0, :fork_1#125;
every 10ms| philosopher_0 philosopher_1 -->|5ร— #123;:request_fork, :philosopher_1#125;
90/s| fork_1 philosopher_1 -->|10ร— #123;:request_fork, :philosopher_1#125;
140/s| fork_2 philosopher_1 -->|#123;:start_hungry, :fork_2, :fork_1#125;
every 10ms| philosopher_1 philosopher_2 -->|10ร— #123;:request_fork, :philosopher_2#125;
150/s| fork_2 philosopher_2 -->|5ร— #123;:request_fork, :philosopher_2#125;
80/s| fork_3 philosopher_2 -->|#123;:start_hungry, :fork_2, :fork_3#125;
every 10ms| philosopher_2 philosopher_3 -->|3ร— #123;:request_fork, :philosopher_3#125;
50/s| fork_3 philosopher_3 -->|10ร— #123;:request_fork, :philosopher_3#125;
130/s| fork_4 philosopher_3 -->|#123;:start_hungry, :fork_4, :fork_3#125;
every 10ms| philosopher_3 philosopher_4 -->|7ร— #123;:request_fork, :philosopher_4#125;
90/s| fork_0 philosopher_4 -->|10ร— #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_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:#e8f5e9,stroke:#388e3c 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 45 33 450.0 msg/s 330.0 msg/s 78 total
philosopher_1 38 30 380.0 msg/s 300.0 msg/s 68 total
philosopher_2 37 29 370.0 msg/s 290.0 msg/s 66 total
philosopher_3 31 26 310.0 msg/s 260.0 msg/s 57 total
philosopher_4 38 30 380.0 msg/s 300.0 msg/s 68 total
fork_0 17 26 170.0 msg/s 260.0 msg/s 43 total
fork_4 20 29 200.0 msg/s 290.0 msg/s 49 total
fork_1 12 21 120.0 msg/s 210.0 msg/s 33 total
fork_2 20 29 200.0 msg/s 290.0 msg/s 49 total
fork_3 8 13 80.0 msg/s 130.0 msg/s 21 total
Summary: Total messages: 532 โ€ข Duration: 100ms โ€ข 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
  )