Это объясняется отсутствием универсальных критерйёй соответствия той или иной характеристики перечню предъявляемых к системе требований, невозможностью в ряде случаев априорного определения значений тех или иных параметров, а также отсутствием полной ин формации о макроструктуре машины. Например, подход к выбору и обоснованию системы контроля управляю щей ЦВМ пока, что не может быть определен однознач ным образом из-за отсутствия информации об априорных значениях показателен надежности и требованиях к глу бине контроля. Можно привести и другие примеры.
3. Выбор внутреннего языка проектируемой управля ющей ЦВМ является весьма ответственным этапом разработки машины, поскольку он в наибольшей мере определяет приспособленность последней к решению задач управления системой. Предложенная во второй главе методика выбора внутреннего языка проектируе мой машины предназначена для цифровых машин с адресной базовой структурой. Эта методика позволя ет для указанных типов ЦВМ получать достаточно эффективные решения. Ряд проведенных эксперимен тальных исследований, в том числе и с использованием высокопроизводительных мультипрограммных управляю щих ЦВМ с развитой системой прерываний по приорите там, показал, что использование на практике такой методики с одновременным внедрением принципов отно сительной адресации имеет определенные преимущества
ипозволяет существенно повысить эффективность вы числительных комплексов за счет экономии памяти для программ, уменьшения суммарного времени обращения
ипамяти за командами, расширения вычислительных и логических возможностей машины.
Методика выбора внутреннего языка с использовани ем принципов относительной адресации ждет дальнейше го своего развития.
4. Разработка методов аналитического расчета раз рядной сетки по заданной на выходе точности, а также совместного расчета разрядной сетки ЦВМ и входных преобразователей не является самоцелью, поскольку раз рядность влияет на количество оборудования, а следо вательно, на надежность, габариты, энергоемкость, стои мость и другие параметры машины. Неоправданное
увеличение разрядности различных |
устройств машины |
в некоторых случаях из-за снижения |
надежности ЦВМ |
может ухудшй1ъ функционирование всей системы, Неоправданное же уменьшение разрядности снижает Показатели качества функционирования системы из-за больших ошибок.
Предложенные методы расчета предназначены в первукз очередь для определения разрядности не устройств ЦВМ, а тех элементов информации, которые в этих устройствах обрабатываются. Эти методы должны быть соответствующим образом доработаны с целью их ис пользования для расчета разрядной сетки ЦВМ, рабо тающих в непознцнонных системах счисления.
5. Рассмотрение в пятой главе вопросов выбора и расчета иерархической структуры памяти и ее емкости проводилось в несколько упрощенном плане. При более тщательном анализе этих методов целесообразно внести ряд корректив.
Так, при расчете емкости оперативного запоминаю щего устройства нужно иметь в виду, что при модульной структуре ОЗУ время цикла его работы увеличивается только с увеличением емкости одного модуля и практи чески не зависит от количества последних. Далее. Не всегда целесообразно рассчитывать емкость ОЗУ по ми нимальному времени решения эталонной задачи, так как стремление обеспечить минимальное время решения по каждому алгоритму может привести в некоторых слу чаях либо к неоправданному завышению производитель ности, либо к завышению требуемых объемов ОЗУ. В подобных случаях емкость ОЗУ следует выбирать та ким образом, чтобы по всем алгоритмам, реализуемым в системе, выдерживалось допустимое, а не минимальное время решения эталонной задачи.
6. В процессе систематизации категорий и составов информации, необходимой для расчета всей совокупно сти основных технических характеристик управляющих ЦВМ, проявилась не только сложная непосредственная взаимосвязь между техническими характеристиками и предъявляемыми требованиями, но и менее изученная косвенная взаимосвязь между ними, замыкающаяся че рез макроструктуру будущей ЦВМ, которая обосновыва ется на следующем этапе. Здесь достаточно привести один пример. Пусть для проектируемой ЦВМ выбран способ представления чисел с фиксированной запятой и рассчитана разрядность элементов информации, подле жащих переработке. Тогда в случае операционных уст
ройств последовательного действия потребуется сравни тельно большое быстродействие и относительно небольшое количество оборудования, а для процессоров параллельного действия картина выглядит наоборот. Различие макроструктур этих процессоров при одинако вых требованиях к достоверности результатов на выходе ЦВМ приведет к различиям в выборе систем контроля. В свою очередь, различие систем контроля приведет к различиям емкостей ОЗУ и быстродействия и т. д.
Сложность подобных взаимосвязей и недостаточная их изученность требуют дальнейшего кропотливого их исследования.
Таким образом, методы, изложенные в настоящей книге, предназначены прежде всего для ориентировочно го выбора и расчета основных технических характери стик проектируемых управляющих ЦВМ на первом эта пе их разработки. Автор далек от мысли, что предложен
ные методы |
являются верхом совершенства. |
Напротив, |
в каждом |
из них имеются слабые места, |
стремление |
к устранению которых даст пищу дальнейшим размыш лениям и исследованиям.
Настоящую работу следует рассматривать прежде всего как результат попытки осмыслить, систематизиро вать и сформулировать основные задачи, стоящие перед теорией и практикой начального этапа логического проектирования управляющих цифровых машин— этапа выбора и расчета их основных технических характери стик, и обсудить общие пути их решения.
С самого начала было ясно, что многообразие раз личных типов ЦВМ не позволяет в рамках небольшой по объему работы учесть специфику системного проекти рования машин всех типов; в то же время выявился круг вопросов, общих для всех ЦВМ независимо от их клас сификации. Этим вопросам и уделялось основное вни мание. Нетрудно проследить, что большинство рассмот ренных выше задач формулировалось в более или менее общей постановке.
П Р И Л О Ж Е Н И Е 1
АЛГОРИТМ АН АЛ И ЗА ИССЛЕДУЕМЫХ ПРОГРАММ
ИСВОДКА РЕЗУЛЬТАТОВ
Спомощью алгоритма анализа программ исследованы следую щие программы:
1)собственная программа;
2)программа задачи динамического программирования;
3)программа задачи линейного программирования;
4)программа экономической задачи;
5) |
стандартная |
подпрограмма |
вычисления |
функции |
t/=arcsin х,-; |
6) |
стандартная |
подпрограмма |
вычисления |
функции |
t /= e x; |
7) |
стандартная |
подпрограмма |
вычисления |
функции |
у = sinx; |
8) |
стандартная |
подпрограмма |
вычисления |
функции z = x v\ |
9) |
стандартная |
подпрограмма |
вычисления |
функции |
у = \ п х \ |
10) |
‘ стандартная подпрограмма перевода чисел из десятично |
системы счисления в двоичную; |
|
|
|
|
|
!1) |
стандартная |
подпрограмма перевода |
|
чисел |
из двоичной |
системы счисления в десятичную; |
|
|
|
функций у — |
12) |
стандартная |
подпрограмма |
вычисления |
~ sin х cos х; |
|
|
|
|
|
|
|
13) |
программа вычисления функции |
у = |
U) |
In ахй |
|
|
|
|
|
|
|
|
14) |
программа |
|
вычисления |
функции |
у — |
|
|
|
|
|
|
|
|
(О |
|
|
|
|
|
|
|
ft |
|
15) |
программа |
вычисления |
функции |
у — |
|
|
|
|
|
|
|
|
а |
|
|
16) |
программа |
вычисления функции |
р = |
S |
е |
|
|
|
|
|
|
|
(О |
|
|
17) |
программа вычисления |
функции |
у = |
\ |
arctg |
18) |
программа вычисления функции |
у ~ |
|
я /* 4; |
19) |
программа вычисления функции |
У = |
2 j sin ?*<■> |
|
|
|
(О |
20) |
программа вычисления функции |
у = |
sh ахй |
|
|
|
(«) |
21) |
программа вычисления функции |
У |
dx |
1 + х + х 2 |
22) |
программа вычисления функции |
у = |
esc ах; |
23) |
программа вычисления функций |
у = |
th a t X f |
d)
С помощью алгоритма анализа программы решались следующие задачи:
— определение общего числа команд, участвовавших в ана лизе;
— определение общего числа исполнительных адресов в анали зируемых программах;
— определение состава операций в программах;
Количество |
Общее ко |
Общее ко |
проанали |
зированных |
личество |
личество |
задач |
команд |
адресов |
• Т а б л и ц а 3
п = А и - 1 ) ш ~ А 1и
п ^ 7 |
я^15 |
лг=31 |
63 |
127 |
Р |
Р |
р |
Р |
Р |
23 |
1263497 |
2351274 |
0,5 |
0,64 |
0,7 |
0,78 |
0,87 |
|
|
|
|
|
|
Т а б л и ц а 4 |
|
|
|
|
Тип операции |
|
|
% |
|
|
|
Арифметические |
|
|
45 |
|
|
|
а) |
сложение |
|
|
28,6 |
|
|
|
б) |
вычитание |
|
|
22 |
|
|
|
в) |
умножение |
|
|
43 |
|
|
|
г) |
деление |
|
|
6,4 |
|
|
|
Логические, сдвиги, спе- |
|
24 |
|
|
|
циальные |
|
|
|
28,5 |
|
|
|
а) логич. умножение |
|
|
|
|
б) логич. сложение |
|
30 |
|
|
|
в) |
сдвиги |
операции |
|
22 |
|
|
|
г) |
специальные |
|
19,5 |
|
|
|
Передачи управления |
|
18,3 |
|
|
|
Прочие |
|
|
|
13,7 |
|
|
|
— определение |
процентных соотношений. различия |
двух |
наугад |
выбранных адресов |
на п единиц младшего разряда |
(«=7, |
15, 31, |
63, |
127); |
частотного спектра цепочек длиной |
в две, три и |
|
— определение |
четыре операции. |
|
|
данные, |
|
В процессе работы алгоритма получены статистические |
приведенные (выборочно) в табл. 1-=-6.
Т а б л и ц а 5
№Условное обозначение
п/п. цепочки
1 |
+ |
+ |
Х |
+ |
|
0 , 0 1 4 |
|
2 |
+ |
Х |
+ |
- |
|
0 , 0 2 |
|
3 |
+ X |
*— * 0 |
|
0 , 0 9 |
|
4 |
Х |
+ |
+ |
Х |
|
0 , 0 1 4 |
|
5 |
Х |
Х |
+ |
+ |
|
0 , 0 3 |
|
6 |
А + |
X |
«— |
|
0 , 4 2 3 |
|
7 |
V + х « — *• |
|
0 , 0 0 7 |
|
8 |
+ - |
0 |
- |
|
0 , 0 1 6 |
|
9 |
Х |
Х |
Х |
+ |
|
0 , 0 3 |
|
10 |
X |
+ |
- |
|
|
0 , 0 1 |
|
11 |
«— |
х |
х |
+ |
|
0 , 0 1 2 |
|
12 |
Л + Х - - V + — х |
0 , 0 0 7 |
|
13 |
V + X |
Л + х < ~ * |
0 , 0 6 |
|
14 |
- Х Х + « - > 0 0 - |
0 , 0 1 4 |
|
1 5 |
0 --------\~ 0 |
0 / \ |
0 , 0 3 1 |
|
|
|
|
|
|
|
|
Таблица 6 |
И с с л е д у е м а я |
Пр о це н т |
П р о ц е н т |
Пр о ц е н т |
Общий |
|
к ом а н д |
к о м а н д |
команд |
программа |
|
вы иг р ыш |
|
1-го формата |
2-го формата |
3-го формата |
|
3 |
|
19 |
|
1 9 , 8 |
1 5 , 2 |
5 3 |
2 |
|
14 |
|
1 8 , 2 . |
1 3 , 2 |
5 7 |
1 3 .. |
|
1 5 |
|
1 4 , 7 |
1 8 , 2 |
4 5 |
14 |
|
2 0 |
|
1 2 , 6 |
1 7 , 2 |
5 3 |
2 3 |
|
1 1 , 8 |
|
18 |
1 7 , 4 |
4 0 |
1 6 |
|
1 4 , 4 |
|
1 1 , 7 |
1 7 , 8 |
4 2 |
2 0 |
|
1 3 |
|
1 5 , 4 |
1 2 , 5 |
4 0 |
2 2 |
|
1 4 , 8 |
|
1 5 , 3 |
1 0 |
4 0 , 4 |
9 |
|
1 7 , 0 |
|
1 8 , 8 |
1 1 , 9 |
4 6 , 7 |
5 |
|
10 |
|
1 0 |
1 7 , 5 |
3 7 , 5 |
7 |
|
5 , 1 |
|
1 3 , 1 |
15 |
3 3 , 6 |
6 |
|
4 , 1 |
|
1 3 , 2 |
17 |
3 6 , 4 |
1 0 |
|
4 , 5 |
|
1 0 |
1 2 |
2 6 , 5 |
12 |
|
3 , 8 |
|
1 2 , 4 5 |
1 7 , 6 |
3 2 |
Итого |
|
• 1 7 , 6 |
|
1 4 , 9 |
1 4 , 7 |
4 6 |
П Р И Л О Ж Е Н И Е 2
ОПРЕДЕЛЕНИЕ СРЕДНЕКВАДРАТИЧЕСКИХ ЗНАЧЕНИЙ ОШИБОК ОКРУГЛЕНИЯ ЭЛЕМЕНТАРНЫХ ОПЕРАЦИЙ
Ошибки однократных округлений бь 6 2 , бз, возникающие при
выполнении элементарных операций сложения (вычитания), умно жения, деления, соответственно определяются следующими соотно шениями (см. § 4.4):
|
|
|
|
( 1 ) |
|
|
* |
* 0^+^*+^ 0°6s I ^ I) |
(2) |
|
|
* 2 |
— feoP |
|
|
|
83= | / . - ^ n v | ) . |
(3) |
|
|
|
|
Ошибки 8 , , 8 2 , 8 3 |
являются функциями случайных величин | 0 , | Х| , |
M , | d s |, /„/*• |
|
|
|
Значения |
а ь о2, |
<т3 |
среднеквадратических |
ошибок округления |
соответственно |
операций |
сложения (вычитания), умножения и де |
ления могут быть найдены, если известны дифференциальные законы распределения аргументов функций бь 6 2 , бз.
Интегральный закон распределения функций 61 определяется
многомерным интегралом
где f(gо, U, h. d u d2) — плотность распределения системы случайных величин go, h, li, d\, d2.
Для независимых случайных величин go, U, h, d \, d2 плотность распределения системы равна произведению плотностей распределе ния отдельных величин, входящих в систему.
В § 4.4 приведены плотности распределения ошибки однократ ного округления мантиссы g(£0), модулей мантисс первого и второго
чисел, |
участвующих в операции, g'(ldil) |
и g ( \ d 2\). |
Там же приве |
дены |
плотности распределения |
модуля |
мантиссы |
произведения |
^(| Я|) |
и модуля частного £Г(М). |
|
|
На основе анализа потока |
информации для конкретной функции |
управления, реализуемой с помощью ЦВМ, может быть определен закон распределения порядков чисел. Пусть распределение порядков чисел, участвующих в элементарных операциях, подчинено равномер
ному закону —kzg:(l 1, h ) ^ k , |
где |
максимальное значение |
моду |
ля порядка. Тогда плотность распределения порядков чисел |
равна: |
g(U)=g(h) = U2k. |
|
|
|
Область D интегрирования |
выражения (4) определяется преде |
лами изменения аргументов функции 8 t, |
значениями функции Е (| rfsr[) |
и предельными значениями функции 8 ,. |
|
|
Пределы изменения величин go, U, |
/2, d 1, d2 известны. |
|
Аргумент функции Е (| d x |) |
ограничен и не превосходит числа 2. |
Поэтому для функции Е (|'rf£ () |
возможны лишь два значения: |
|
Это обстоятельство существенно упрощает отыскание области интегрирования выражения (4).
Элементарные выкладки показывают, что
inf 8, = _ — Р - Т ( Н - О
sup 8, = ~2 ~p_nph (Р |
1). |
Для определения распределения |
G (Sj) диапазон изменения |
функции 8, |
|
|
------2-ph' n (l + Р ) < 8 1 < |
- г |
^ - « ( 1 +Р) |
удобно разбить на 'промежутки: |
|
|
и
В соответствии с таким разбиением диапазона изменения функ ции 6i на области отыскивается значение Р (Ai^6i) . Затем по найденному интегральному закону распределения определяются плотность распределения величины и ее числовые характеристики.
В частности, среднеквадратическое значение ошибки операции сложения — вычитания описывается выражением
а |
|
P_p--» +i _ 1■(А + В + С)' |
|
где |
|
|
|
|
|
|
|
|
+ ? ) 2 Г(1 — р-« — р-«) (1 + ? ) ( 3 №+ , - p + p - » - i ) - |
|
— 2^-«+1 (2 6 Р + 2 — |
|
— р |
+ р -2*)]; |
|
|
В =? -75- (1 — р - " + |
р-1) [2Щгк+ * — P2h+ 2 — 2k^k + |
р2 + |
|
+ |
2 р + |
1 — 2 р- |
г ' 1 + 1 |
— p~2ft]; |
|
|
( З 2 — |
1) |
|
- |
0 |
(1 - |
Р ~ " ) - |
( Г 1 - |
Р - " ) |
с = 2 ( i - p - n j p - . ) - ИР |
2 ( 1 — Р ~ " — Р- 1 ) |
|
|
|
|
|
|
Х ( 2 _р-»_р->)](р2н-8_ р - !Л).