https://s3-us-west-2.amazonaws.com/secure.notion-static.com/95f98188-a8c0-478e-8586-18f2118daefc/dining_philosopher_solution_12161647.pdf