4551
правка
Ресинхронизация схемы: инкрементный подход: различия между версиями
Перейти к навигации
Перейти к поиску
м
Ресинхронизация схемы: инкрементный подход (посмотреть исходный код)
Версия от 14:51, 3 июля 2017
, 3 июля 2017→Ограничения и цель
Irina (обсуждение | вклад) м (→Нотация) |
Irina (обсуждение | вклад) |
||
| Строка 19: | Строка 19: | ||
== Ограничения и цель == | == Ограничения и цель == | ||
В | В данной нотации допустимая ресинхронизация r не должна иметь отрицательного количества регистров по какому-либо ребру. Подобное условие допустимости задается формулой | ||
<math>P0(r) \triangleq \forall (u, v) \in E: w[u, v] + r[v] - r[u] \ge 0 \;</math>. | <math>P0(r) \triangleq \forall (u, v) \in E: w[u, v] + r[v] - r[u] \ge 0 \;</math>. | ||
| Строка 36: | Строка 36: | ||
Ресинхронизация с достижением минимальной длительности представляет собой решение | Ресинхронизация с достижением минимальной длительности представляет собой решение <math>\langle r, t \rangle \;</math>, удовлетворяющее следующему условию оптимальности: | ||
<math>P3 \triangleq \forall r', t': P(r', t') \implies max(t) \le max(t') \;</math>, где <math>max(t) \triangleq max_{v \in V} t[v] | <math>P3 \triangleq \forall r', t': P(r', t') \implies max(t) \le max(t') \;</math>, где <math>max(t) \triangleq max_{v \in V} \; t[v]</math>. | ||