Взаємне блокування потоків (задача про філософів, що обідають)

Потрібна програма на мові Ada, завдання описане в файлі, який я прикріпив.

У наведеній реалізації не розв’язана проблема взаємоблокування потоків (задач).

Я вибрав системне програмування тому що на сайті немає мови Ada, якщо будуть якісь питання то пишіть, я намагатимусь відповісти.