EdgeChasing automatic deadlock check
MisraPhilo uses wait_and_listen() in eat and think
comments