Составители:
Рубрика:
главы 4 имеем
s
X
i=1
z
i
=
1
T
s
X
i=1
τ
i
N
i
,
откуда для любого j-го устройства на упомянутом пути
s
X
i=1
z
i
≤
N
j
+ s
T
s
X
i=1
τ
i
. (1.4)
Очевидно, N
j
≤
T
τ
j
. Пусть теперь j — номер функционального
устройства с максимальным временем срабатывания; обозначим
это время τ, так что τ = max τ
i
, где максимум берется по номерам
устройств, находящихся на рассмтриваемом пути. Тогда N
j
≤
T
τ
, и
потому
N
j
+ s
T
≤
T
τ
+ s
T
=
T
τ
·
1 + sτT
−1
T
,
так что из правой части неравенства (1.4) находим
s
X
i=1
z
i
≤
1 + sτT
−1
τ
s
X
i=1
τ
i
.
Переходя к пределу при T → ∞ и принимая во внимание, что
согласно следствию 2.2 главы 4 загруженность системы равна
среднему арифметическому загруженностей ее функциональных
устройств, получаем неравенство (1.3). Теорема доказана.
Следствие 1.2. Пусть вычислительная система состоит из
простых безусловных функциональных устройств и граф системы
связный. Если асимптотическая загруженность хотя бы одного
функционального устройства равна 1, то:
— это функциональное устройство имеет максимальную
длительность выполнения операций;
— выполняется равенство (1.2).
Д о к а з а т е л ь с т в о вытекает из того, что в этом случае осу-
ществляется синхронный режим с циклом τ = max
i
τ
i
. Осталось
воспользоваться теоремой 1.1.
Из сказаного следует, что для обеспечения асимптотически
полной загруженности оборудования безусловного конвейерного
вычислителя нужно стремиться к тому, чтобы время срабатыва-
ния всех используемых функциональных устройств было одинако-
вым. Этого можно добиться, например, заменой долго работающих
100
Страницы
- « первая
- ‹ предыдущая
- …
- 97
- 98
- 99
- 100
- 101
- …
- следующая ›
- последняя »
