http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&feedformat=atom&user=95.55.113.167&*Викиконспекты - Вклад участника [ru]2026-06-11T04:24:49ZВклад участникаMediaWiki 1.30.0http://neerc.ifmo.ru/wiki/index.php?title=%D0%91%D0%B0%D0%B7%D0%BE%D0%B2%D1%8B%D0%B5_%D0%BE%D0%BF%D1%80%D0%B5%D0%B4%D0%B5%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F_%D0%B8_%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%B8%D0%B7%D0%BC&diff=66259Базовые определения и формализм2018-09-27T21:33:33Z<p>95.55.113.167: Первые определения</p>
<hr />
<div>== Определения ==<br />
{{Определение<br />
|id = system_execution<br />
|definition = '''Исполнение системы''' <tex>-</tex> это пара <tex> (H, \rightarrow_H)</tex>, где:<br />
* <tex> H - </tex> множество '''операций''' <tex> e, f, g\ldots </tex> (чтение, запись ячеек памяти и т.п.), произошедших во время исполнения<br />
* <tex> \rightarrow_H - </tex> это отношение частичного строгого порядка на множестве операций (транзитивное, антирефлексивное, асимметричное)<br />
* <tex> e \rightarrow_H f - </tex> означает, что операция <tex> e </tex> '''произошла до''' операции <tex> f </tex> в исполнении <tex> H </tex><br />
'''Замечание''': чаще всего исполнение <tex> H </tex> понятно из контекста и опускается<br />
}}<br />
<br />
{{Определение<br />
|id = parallel_ops<br />
|definition = Пусть <tex> e, f \in H. </tex> Тогда говорят, что <tex> e </tex> '''параллельна''' <tex> f </tex>, если <tex> e \not \rightarrow f \land f \not \rightarrow e. </tex><br />
Обозначение: <tex> e || f </tex><br />
}}<br />
<br />
{{Определение<br />
|id = system<br />
|definition = '''Система''' <tex>–</tex> это множество всех возможных исполнений. Говорим, что '''система имеет свойство <tex>P</tex>''', если ''каждое'' исполнение системы имеет свойство <tex> P </tex><br />
}}</div>95.55.113.167