51
правка
Изменения
→Условия согласованности
=== Условия согласованности ===
{{Определение
|id = agreement
|definition = '''Согласованность''' является аналогом ''корректности'' в многопоточном программировании. <br />
'''Базовое требование согласованности:''' корректные последовательные программы должны cчитаться согласованными при любом их исполнении в одном потоке
}}
{{Определение
|id = legacy_control_flow
Последовательное исполнение является '''допустимым''' (англ. ''legal''), если выполнены последовательные спецификации всех объектов.
}}
{{Определение
|id = legacy_control_flow