Выключение оптимизации компилятора гарантирует заданный порядок исполнения программы?
Порядок исполнения программы:
Порядок исполнения программы в важных местах можно зафиксировать?
Сколько потоков должно выйти из строя в ходе исполнения протокола консенсуса, чтобы тот гарантированно перестал быть частично корректным?
Сколько потоков должно выйти из строя в ходе исполнения протокола консенсуса, чтобы тот гарантированно перестал быть полностью корректным?
Сколько потоков должно выйти из строя перед началом исполнения протокола консенсуса, чтобы тот гарантированно перестал быть частично корректным?
Подыстория H|X системы по объекту X может содержать вызовы методов объекта Y?
Одинаковая линеаризация вызовов методов разделяемого объекта универсальным объектом осуществляется при помощи:
. Подыстория H|A системы по потоку A может содержать вызовы методов объектов, созданных в других потоках?
