Возможен ли в неожидающей реализации алгоритма спор за блокировку?

Спор за блокировку приводит:

В идеальной реализации замка время обращения к замку T зависит от числа потоков N как:

Как называется свойство алгоритма блокировки, при котором поток, завершивший входную секцию раньше, чем другие её начали, первым войдёт в критическую секцию

При честной реализации замка, в каком порядке могут войти потоки в критическую секцию? doorway1[A]doorway1[B]doorway2[A]doorway2[B]doorway1[С] doorway2[С]waiting[С]waiting[B]waiting[A]