Всегда ли метод входа в критическую секцию завершается за конечное число шагов?
Как называется свойство алгоритма блокировки, при котором поток, завершивший входную секцию раньше, чем другие её начали, первым войдёт в критическую секцию
При честной реализации замка, в каком порядке могут войти потоки в критическую секцию? doorway1[A]doorway1[B]doorway2[A]doorway2[B]doorway1[С] doorway2[С]waiting[С]waiting[B]waiting[A]
Могут ли в критической секции находиться одновременно два потока?
Примитивы синхронизации являются собственностью потока?
Элементами и характеристиками процесса, но не потока, являются:
Для фиксации приоритета потока можно использовать циклическую систему времени?
Промежуточное состояние атомарной операции можно просмотреть из параллельного потока?
Верно ли, что всегда решением консенсуса является значение потока, сделавшего первый ход?
Чем отличается сигнатура метода от последовательной спецификации?