Изменения

Перейти к: навигация, поиск

Базовые определения и формализм

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

Навигация