4817
правок
Синхронизация часов: различия между версиями
Перейти к навигации
Перейти к поиску
→Постановка задачи
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 14: | Строка 14: | ||
Наконец, свойства реального времени системы моделируются парой функций, которые отображают каждую пару событий на R | Наконец, свойства реального времени системы моделируются парой функций, которые отображают каждую пару событий на <math>\mathbb{R} \cup \{ - \infty, \infty \}</math>: если даны два события <math>e</math> и <math>e'</math>, то <math>L(e, e') = \ell</math> означает, что <math>RT(e') - RT(e) \ge \ell</math>, а <math>H(e, e') = h</math> означает, что <math>RT(e') - RT(e) \le h</math>, то есть, что количество единиц (реального) времени с момента наступления события <math>e</math> до наступления <math>e'</math> не меньше <math>\ell</math> и не больше <math>h</math>. Без потери общности можно предположить, что <math>L(e, e') = - H(e', e)</math> для всех событий <math>e</math>, <math>e'</math> (просто используем меньшее из них). В дальнейшем изложении для представления спецификации реального времени будет использоваться только функция верхних границ <math>H</math>. | ||