Для программ существует формальное математическое определение корректности?
Отсутствие конфликтов при доступе к полям разделяемого объекта при использовании универсального объекта обеспечивается:
Чем отличается сигнатура метода от последовательной спецификации?
Модель программы, в которой при возникновении определённого события для определённого состояния может с некоторой вероятностью произойти один из множества переходов, называется:
Могут ли два потока одновременно выполнять метода входа в критическую секцию?
Реализация универсального объекта предполагает:
Подыстория H|X системы по объекту X может содержать вызовы методов объекта Y?
Одинаковая линеаризация вызовов методов разделяемого объекта универсальным объектом осуществляется при помощи:
Два объекта с числом консенсуса 8 могут решить задачу консенсуса для (целое число) потоков:
Можно ли комбинировать ленивый подход и мелкозернистую синхронизацию?
