Материал из Викиконспекты
Определения
| Определение: |
Исполнение системы [math]-[/math] это пара [math] (H, \rightarrow_H)[/math], где:
- [math] H - [/math] множество операций [math] e, f, g\ldots [/math] (чтение, запись ячеек памяти и т.п.), произошедших во время исполнения
- [math] \rightarrow_H - [/math] это отношение частичного строгого порядка на множестве операций (транзитивное, антирефлексивное, асимметричное)
- [math] e \rightarrow_H f - [/math] означает, что операция [math] e [/math] произошла до операции [math] f [/math] в исполнении [math] H [/math]
Замечание: чаще всего исполнение [math] H [/math] понятно из контекста и опускается |
| Определение: |
| Пусть [math] e, f \in H. [/math] Тогда говорят, что [math] e [/math] параллельна [math] f [/math], если [math] e \not \rightarrow f \land f \not \rightarrow e. [/math]
Обозначение: [math] e || f [/math] |
| Определение: |
| Система [math]–[/math] это множество всех возможных исполнений. Говорим, что система имеет свойство [math]P[/math], если каждое исполнение системы имеет свойство [math] P [/math] |
