• 철학자 한 명당 하나의 스레드가 있는지

  • 철학자 한 명당 한개의 포크가 있는지

  • 포크마다 뮤텍스가 있는지

  • 로그 프린트가 엉키지는 않는지

  • 뮤텍스로 철학자의 식사가 보장되는지

  • 철학자의 죽음이 모니터링 되고 있는지

  • 200이상의 철학자로 테스트하지 마라

  • time_to_die와 time_to_eat, time_to_sleep은 60이상의 수를 인자로 줘야함

  • CASE

    • 1 800 200 200 → 쥬금
    • 5 800 200 200 → 안쥬금
    • 5 800 200 200 7 → 안죽고 철학자들이 식사를 7번 끝내면 프로그램도 종료되야함
    • 4 410 200 200 → 안쥬금
    • 4 310 200 100 → 쥬금
    • 2명의 철학자로 실험해볼 것 2 410 200 200 / 2 350 200 200

  • ALPHA CASE

    200 800 200 200

    198 800 200 200

    198 430 200 200