multiple hungry philos // benchmark