C04 - Dining Philosophers

Benchmark C04 Dining Philosophers is a very general benchmark. The Dining Philosophers' problem is relatively easy to describe, but the philosophers' behaviour may cause interesting problems, including especially concurrent access and deadlock situations: Five philosophers are sitting around a large round table, each with a bowl of Chinese food in front. Between periods of meditation, they may start eating whenever they want to, with their bowls being filled frequently. However, there are only five chopsticks available, one each to the left of each bowl - and for eating Chinese food one needs two chopsticks.

This process offers a wide range of modelling approaches, analysis techniques, and simulation studies. The benchmark does not fix certain tasks to be performed with a model of this process – any kind of contribution with classical and alternative modelling technique, any kind of analysis technique (from numeric to symbolic), and any kind of strategy case study is welcome. This variety makes this benchmark generally very suitable for education purposes.

Definition


Solutions

Joshua Grove

Simulation Notes Europe SNE 28(1), 2018, 31-33
DOI: 10.11128/sne.28.bn04.10406

Read more »

Ruth Leskovar | Johannes Tanzler | Martin Bicher

Simulation Notes Europe SNE 24(1), 2014, 55-58
DOI: 10.11128/sne.24.bn04.10237

Read more »

Michael Gyimesi, Andreas Dielacher, Thomas Handl, Christian Widtmann

SNE 18(1), 2008, 31-32

Read more »

Michael Szell, Florian Judex

SNE 17(1), 2007, 57-58

Read more »

Rüdiger Hohmann

SNE 16(1), 2006, 31

Read more »

Martin Kirner, Felix Breitenecker

SNE 15(43), 2005, 26

Read more »

M. Gyimesi, F. Breitenecker

SNE 13(38/39), 2003, 52

Read more »

Shabnam Michèle Tauböck

SNE 12(35/36), 2002, 74

Read more »

S. Pllana

SNE 10(29/30), 2000, 31

Read more »