Проблемы организации взаимного исключения

•Тупики (deadlocks)

•Блокирование (дискриминация)

• Блокирование – это ситуация, когда один из процессов никогда не получит доступа к ресурсу, т.е. будет ожидать вечно. Эта проблема присуща многим алгоритмам синхронизации, поскольку в любом случае если несколько процессов желают получить доступ к критическому ресурсу, то в каждый конкретный момент выбирается один из них, при этом естественно возможна ситуация, что один из этих процессов не будет выполнен никогда, т.е. этот алгоритм не является справедливым, всякий раз выбирается другой процесс, он получает доступ к ресурсу, а наш некоторый процесс будет ожидать вечно. Вот эта ситуация очень плохая, и хороший алгоритм организации взаимного исключения должен не допускать дискриминации среди процессов, т.е. быть справедливым.