operational

* COMMENT -*- mode: org -*-
#+Date: 2018-01-25
Time-stamp: <2018-01-25>
#+STARTUP: content
* notes                                                               :entry:
* later                                                               :entry:
* current                                                             :entry:
** 
** 2018-01-25 Dining philosophers problem - Wikipedia
https://en.wikipedia.org/wiki/Dining_philosophers_problem

- traditional solution using locks

        p1
     f5    f1
  p5          p2
   f4        f2
     p4    p3
        f3

  may deadlock if not well designed.

- use haskell STM

* done                                                                :entry:
* wontfix                                                             :entry: