Изменения
Первые определения
== Определения ==
{{Определение
|id = system_execution
|definition = '''Исполнение системы''' <tex>-</tex> это пара <tex> (H, \rightarrow_H)</tex>, где:
* <tex> H - </tex> множество '''операций''' <tex> e, f, g\ldots </tex> (чтение, запись ячеек памяти и т.п.), произошедших во время исполнения
* <tex> \rightarrow_H - </tex> это отношение частичного строгого порядка на множестве операций (транзитивное, антирефлексивное, асимметричное)
* <tex> e \rightarrow_H f - </tex> означает, что операция <tex> e </tex> '''произошла до''' операции <tex> f </tex> в исполнении <tex> H </tex>
'''Замечание''': чаще всего исполнение <tex> H </tex> понятно из контекста и опускается
}}
{{Определение
|id = parallel_ops
|definition = Пусть <tex> e, f \in H. </tex> Тогда говорят, что <tex> e </tex> '''параллельна''' <tex> f </tex>, если <tex> e \not \rightarrow f \land f \not \rightarrow e. </tex>
Обозначение: <tex> e || f </tex>
}}
{{Определение
|id = system
|definition = '''Система''' <tex>–</tex> это множество всех возможных исполнений. Говорим, что '''система имеет свойство <tex>P</tex>''', если ''каждое'' исполнение системы имеет свойство <tex> P </tex>
}}
{{Определение
|id = system_execution
|definition = '''Исполнение системы''' <tex>-</tex> это пара <tex> (H, \rightarrow_H)</tex>, где:
* <tex> H - </tex> множество '''операций''' <tex> e, f, g\ldots </tex> (чтение, запись ячеек памяти и т.п.), произошедших во время исполнения
* <tex> \rightarrow_H - </tex> это отношение частичного строгого порядка на множестве операций (транзитивное, антирефлексивное, асимметричное)
* <tex> e \rightarrow_H f - </tex> означает, что операция <tex> e </tex> '''произошла до''' операции <tex> f </tex> в исполнении <tex> H </tex>
'''Замечание''': чаще всего исполнение <tex> H </tex> понятно из контекста и опускается
}}
{{Определение
|id = parallel_ops
|definition = Пусть <tex> e, f \in H. </tex> Тогда говорят, что <tex> e </tex> '''параллельна''' <tex> f </tex>, если <tex> e \not \rightarrow f \land f \not \rightarrow e. </tex>
Обозначение: <tex> e || f </tex>
}}
{{Определение
|id = system
|definition = '''Система''' <tex>–</tex> это множество всех возможных исполнений. Говорим, что '''система имеет свойство <tex>P</tex>''', если ''каждое'' исполнение системы имеет свойство <tex> P </tex>
}}
