|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Янг С. — Алгоритмические языки реального времени |
|
|
|
| Предметный указатель |
Абстрактные типы данных 131 339
Аналого-цифровые преобразователи 53 376
Архитектура фон Неймана 19
Аткинсон 388
Атрибут (attribut) 28
Ахо 67
Барнес 59 92 129 176 224 253 254 386
Бастард 146 176 389
Библиотечные пакеты в языке АДА 322 352
Битовый тип (bits type) 93 283 369
Блоки 105
Блоки в языке Ада 336
Блоки область действия имени 106
Блоки реализация 107
Блочная структура 107 108
Блочная структура в RTL/2 262
Брандес 176 386
Брон 225 386
Брусок данных (data brick) в RTL/2 263
Брусок данных svc 267
Брусок процедурный (procedure brick) 263
Брусок стековый (stack brick) 263
Ванд 293 315 316 386 388 389
Ввод-вывод (input/output) буферизованный 194
Ввод-вывод (input/output) в вычислительных системах общего назначения 177
Ввод-вывод (input/output) в вычислительных системах реального времени 179
Ввод-вывод (input/output) в языке Ада 347 348 354
Ввод-вывод (input/output) в языке Ада, RTL/2 267 268
Ввод-вывод (input/output) в языке Ада, Модула 293 294 302
Ввод-вывод (input/output) высокого уровня 241
Ввод-вывод (input/output), абстрактная модель 187
Ввод-вывод (input/output), адресация регистров 181
Ввод-вывод (input/output), описание регистров 183
Ввод-вывод (input/output), передача блока данных с использованием МПДП 195 196
Везеролл 386
Вейнгаарден 59 130 250 386
Взаимно исключающий доступ (mutual exclusion) 149 190
Взаимно исключающий доступ (mutual exclusion) в языке Модула 314
Вирт 22 94 129 145 176 199 225 252 283 310 316 386 387
Вихман 45 386
Время абстрактный тип 132 300
Время ответа системы 11
Вудвард 59 92 176 198 224 386
Вульф 145 390
Входы в языке Ада 343
Вынужденные преобразования в RTL/2 256
Выражения для путей доступа (path expressions) 177
Гешке 60 93 225 253 386 387
Горман 386
Границы массива 64 92
Грис 67 387
Грогоно 22
Гудинаф 387
Даглес 177 387
Дал 145 252 387
Даусинг 177 387
Даусон 160 387
Двоичные числа 51
Двойственность именования 114
Двусмысленность описаний 34 85
Дейкстра 102 149 387
Деление целых 44
Джексон 176 388
Джемисон 45 387
Динамические структуры данных (dynamic data structures) 78
Динамические структуры данных (dynamic data structures), преимущества 80 82
Динамические структуры данных (dynamic data structures), пример 79 80
Динамические структуры данных (dynamic data structures), проектирование 82 83
Динамические структуры данных (dynamic data structures), распределение памяти 79
Динамические структуры данных (dynamic data structures), реализация 89 90
Динамические структуры данных (dynamic data structures), список 78 79 85
Динамические структуры данных (dynamic data structures), типизация 83 84
Динамические структуры данных (dynamic data structures), уничтожение 83 87 88 334
Динамическое создание задач 346
Директива safe в языке Red 130
Дискриминанты 332 342
Дробные типы (fraction types) 52 53
Дробные типы (fraction types) в языке RTL/2 256 257
Дробные типы (fraction types), двойная длина 53 257
Дробные типы (fraction types), недостатки 55
Дробные типы (fraction types), преимущества 55
Дробные типы (fraction types), пример использования 53
Завершение по времени (timeout) 170
Задача поставщик/потребитель (producer/consumer) 148
Задача поставщик/потребитель (producer/consumer) решение при помощи монитора 157
Задача поставщик/потребитель (producer/consumer) решение при помощи семафора 150 151
Задача поставщик/потребитель (producer/consumer) решение с применением модели рандеву 166
Задачи см. «Процессы»
Задачи в операционных системах 147
Задачи в управлении процессами 10 11
Задачи в языке RTL/2 269
Задачи в языке Ада 343
Задержка процесса (delay process) 171 346
Задержка, оператор 346
Записи (records) 68
Записи (records) в языке Ада 332
Записи (records) вариантные 69 70
Записи (records), надежность 71
Записи (records), объединения 72 73
Записи (records), объединения в языке RTL/2 260
Записи (records), объединения в языке Ада 332
Записи (records), объединения в языке Модула 285
Записи (records), подтипы 69
Записи (records), реализация 75
Записи (records), тип 68
Записи (records), тип фиксированный 68 69
Значения по умолчанию 339
Имя со спецификатором pervasive 118
Индексирование массивов 62 63
Инициализация переменных 240
Интерфейс с оператором 12 306
Интерфейсные модули 293 294 314
Исключения (exeptions) в процессах 219 351
Исключения (exeptions) в языке Ада 349
Исключения (exeptions), возбуждение 204
Исключения (exeptions), описание 208 209
Исключения (exeptions), отметить 211 212
Исключения (exeptions), правила распространения 213 351
Исключения (exeptions), разобраться 211 212
Исключения (exeptions), реализация 223
Исключения (exeptions), уйти 211 212
Ихбиа 60 93 176 225 253 320 387
Йенсен 22 387
Квалификаторы (qualifiers) 37 325
Класс параметров, in 112 113
Класс параметров, inout 112 113
Класс параметров, out 112 ИЗ
Класс, типы 145
Кнут 90 388
Конструктор записи 71
Конструктор множества 76
Контекстное переключение (context switching) 271
Коттам 283 387
Коул 388
Коулман 147 388
Критерии проектирования, гибкость 16
Критерии проектирования, мобильность 16 17
Критерии проектирования, надежность 13 14
Критерии проектирования, простота 16
Критерии проектирования, удобочитаемость 14 15
Критерии проектирования, эффективность 17
Кусо 387
Куча (heap storage) 90
Кэмпбелл 177 388
Лампсон 60 253 388
Латтен 244 388
Лисков 145 252 388
Листер 389
Логический тип 37
Логический тип в языке Ада 326
| Логический тип, операции 38
Логический тип, реализация 38
Лондон 145 390
Лоренцини 388
Мак-Киг 131 389
Мантисса 46
Массив (array) в языке RTL/2 259
Массив (array) в языке Ада 330
Массив (array) в языке Модула 284
Массив (array) динамический 66
Массив (array) многомерный 66
Массив (array) неограниченный 330
Массив (array), вырезки (slices) 65
Массив (array), индексы 64
Массив (array), конструктор 67
Массив (array), конструктор в языке Ада 329
Массив (array), подтипы 65
Массив (array), понятие 62 63
Массив (array), реализация 67 68
Массив (array), тип 62 66
Массив (array), эквивалентность 65
Метки (labels) 203
Механизм прямого доступа 187 195 196
Множества 72
Множества, операции 76
Множества, представление на машине 184
Множества, реализация 77
Модули ввода-вывода 185 186 190 291
Модуль (module) 133
Модуль (module) в языке Модула 287 288
Модуль (module), использование 135 136
Модуль (module), механизмы машинного оборудования 186 187 189 190 290
Модуль (module), правила области действия 141
Модуль (module), раздельная компиляция 238 239
Модуль (module), разработка 136 137
Модуль (module), реализация 144
Мониторы 156 157 190 220 289
Морис 60 386
Мюрхауг 387
Набор символов ASCII 39
Наследование атрибутов типа 28
Наследование атрибутов типа в языке Ада 324
Наследование операций 29
Насси 175 389
Нестор 60 93 130 176 388
Нолан 283 388
Нюгорд 387
Область действия имени (scope of name) в блоках 105
Область действия имени (scope of name) в модулях 141
Область действия имени (scope of name) в процедурах 116
Область действия имени (scope of name), правила 106
Область действия имени (scope of name), спецификатор pervasive 118
Область ошибки 206
Ограничения диапазона 30
Оператор case 100 101
Оператор case в языке Ада 335
Оператор case в языке Модула 285
Оператор exit в языке Ада 336
Оператор exit в языке Модула 285 286
Оператор exit, разработка 102
Оператор for в языке RTL/2 261
Оператор for в языке Ада 336 337
Оператор for в языке Паскаль 97 247
Оператор for, разработка 101
Оператор goto 103 202
Оператор goto в языке RTL/2 263
Оператор goto в языке Ада 336
Оператор IF 100
Оператор if в языке RTL/2 261
Оператор if в языке Ада 335
Оператор if в языке Модула 285 286
Оператор if в языке Паскаль 97
Оператор init 155 156
Оператор raise 209
Оператор raise в языке Ада 350
Оператор repeat в языке Модула 285
Оператор repeat в языке Паскаль 96
Оператор return 121 265 338
Оператор SELECT 164 343 346
Оператор switch 263
Оператор val 259
Оператор выпвв (doio) 291 292 313 317
Оператор приема (accept) 162 343
Оператор управления (control) 95
Оператор управления (control) в языке Паскаль 96
Оператор управления (control), разработка 96
Оператор цикла (loop) в языке RTL/2 261
Оператор цикла (loop) в языке Ада 336
Оператор цикла (loop) в языке Модула 286
Оператор цикла (loop), определения 101
Оператор [префикс] while 101
Оператор [префикс] while в языке RTL/2 262
Оператор [префикс] while в языке Ада 336
Оператор [префикс] while в языке Модула 285
Оператор [префикс] while в языке Паскаль 96
Оператор [префикс] with 285
Оператор, окончания цикла (loop termination) 103
Оператор, освободить (release) 149
Оператор, отключить (fail) 220
Оператор, прекратить (abort) 155 169
Оператор, реализация 278 290
Операторы отношения 37 329
Операции 126
Операции в языке RTL/2 256 257 258
Операции в языке Ада 328 329
Операции в языке Модула 285
Операции сдвига (shift) 258
Операции совмещение (overloading) 127
Операции, свойства 127 128 229
Операция and 37 258 285 327
Операция div 285
Операция MOD 44 285 328 329
Операция not 37 258 285
Операция OR 37 258 285
Операция REM 328
Операция ждать (wait) 149
Операция ждать (wait) реализация 278
Операция ждать (wait)в языке Модула 289 292 311 316
Операция послать (send) 149
Операция послать (send) в языке Модула 289 292 311 316
Операция послать (send), реализация 278
Описания mode 260
Описатель процесса (process descriptor) в языке Модула 310
Определение диапазона (range check) 31
Оптимизация вызовов процедур 120
Оптимизация вызовов процедур модели рандеву 174
Ошибки в программах 20 200
Ошибки в языке RTL/2 268
Ошибки в языке Ада 349
Ошибки восстановление 215 216
Ошибки, обнаружение 199 200
Ошибки, обработка 199 200 201
Пайл 127 388
Пакеты (packages) 360
Параметр типа пространство (space) 198 199
Пауэлл 388
Перегруженность или совмещение (overloading) в языке Ада 325 339
Перегруженность или совмещение (overloading) перечислимого типа 37
Перегруженность или совмещение (overloading), операции 29 127
Перегруженность или совмещение (overloading), подпрограммы 122
Перечислимые типы (enumerated types) 34
Перечислимые типы (enumerated types) в языке Ада 325
Перечислимые типы (enumerated types) перегруженные 37
Перечислимые типы (enumerated types), операции 34 35 326
Перечислимые типы (enumerated types), определенные пользователем 183
Перечислимые типы (enumerated types), отображение на машинные регистры 183 347
Перечислимые типы (enumerated types), проблемы 36
Подкомпонента (subunit) 354
Подтипы (subtypes) 32 33 47 65 70 84 228 323 329 333
Порождающие программные единицы 241 242 343
|
|
|
| Реклама |
|
|
|
|
|
О проекте