|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Янг С. — Алгоритмические языки реального времени |
|
|
|
| Предметный указатель |
Порожденные (child) процессы 154
Порядковое значение перечисления 39
Постепенное уточнение 131
Постепенное уточнение данных 61
Постепенное уточнение программ 94
Предложение use 341
Предложение with в языке Ада 323
Преобразование типов 23
Прерывания 187
Прерывания в языке Ада 349
Прерывания в языке Модула 313
Прерывания с помощью сигнала 190
Прерывания, управление 187 292
Приватная часть спецификации модуля 133
Приватная часть спецификации пакета 341
Приватные limited private 342
Приватные типы 341 342
Признаки статуса (status flags) 38 186
Признаки статуса обновление (polling) 186
Программирование последних целей (last wishes) 215 218
Прохождение сообщений 167 168
Процедура оградить (secure) 149
Процедура оградить (secure) реализация 278
Процедура освободить (release) 149
Процедура освободить (release), реализация 278
Процедура переименования (renamings) 345 363
Процедура распределения памяти (allocation) 78 87
Процедуры (procedures) 94 108
Процедуры (procedures) абстрактные классы параметров 11 112
Процедуры (procedures) в языке RTL/2 264
Процедуры (procedures) в языке Ада 337
Процедуры (procedures) в языке Модула 286
Процедуры (procedures), передача параметра 113
Процедуры (procedures), понятие 108
Процедуры (procedures), реализация 118 119
Процедуры (procedures), типы параметров 110 111
Процедуры (procedures), управление именной областью (name scope control) 118
Процессы 11 12 153
Процессы в языке Модула 289
Процессы, исключения 218 219
Процессы, описание 153
Процессы, параметры 154
Процессы, правила завершения 104
Процессы, прекращение 155 169
Процессы, реализация 172
Прямое цифровое управление ПЦУ 11
Разгрузка данных 10
Разделение времени (time sharing) 173
Раздельная компиляция 238
Раздельная компиляция в языке RTL/2 266
Раздельная компиляция в языке Ада 352
Рандеву (rendezvous) 161
Рандеву (rendezvous) асимметричное 162
Рандеву (rendezvous) недетерминированное 164 165
Рандеву (rendezvous) симметричное 163
Рандеву (rendezvous), модель 161 164
Рандеву (rendezvous), предохранитель 165
Рандел 217 388
Расширение типа (type extension) 24
Расшифровка ссылок (dereferencing) 86 87 259 334
Ратнер 244 388
Реальное время (real time) определение 9 10
Реальное время (real time) требования к языку 17 18
Реальное время (real time) характеристики 11 12
Риссен 387
Рихардс 248 388
Родительский (parent) процесс 154
Розенберг 389
Рол 118 388
Рунсиман 315 388
Сатертвайте 60 225 253 386 387
Сборка мусора (garbage collection) 87
Семафор 149 290 346
Сигнал (sygnal) 149
Символьные типы (character types) 39
Символьные типы (character types) в языке Ада 326
Символьные типы (character types) операторы 39
Символьные типы (character types) перегруженные 40 42
Симпсон 176 388
Синхронизация двух процессов 150
Синхронизация операций ввода-вывода 189
Синхронизация помощи рандеву 161
Синхронизация при использовании мониторов 160
Система управления процессами 10
Системы со встроенной вычислительной машиной (embedded computer systems) 10
Смедена 283 388
Снайдер 388
Снеерингер 60 389
Составление очереди задач в реальном времени 293
Составление расписания (sheduling) 274 295 312
Спецификации в языке Ада 358
Спецификация интерфейса 139
Список (define) в модулях 133 137 139 143
Список (define) в языке Модула 288
Список использования [use] (use list) в модулях 136 139 143
Список использования [use] (use list) в процедурах 117 286
Список использования [use] (use list) в языке Модула 287
Ссылочные (access) типы в языке Ада 334
Ссылочный тип (reference type) в языке RTL/2 259
Статические переменные 78
Стек (stack) использование в процедуре вызова 119
Стек (stack) реализация 265 266 288 340
Строка (string) битов 77
Строка (string) данных в языке Ада 330
Структурирование программ 94
Структурное программирование 18
Тенант 60 388
Тестирование и отладка программ 20 135 309
| Тип 17 18
Тип абстрактный 131 339
Тип анонимный (anonymous) 28 33
Тип байтовый 256
Тип битовый 93 283 369
Тип динамические данные 78 79
Тип задач (task) 346
Тип записи (records) 69
Тип логический (Boolean) 37
Тип массива (array) 62 63
Тип множественный (set) 75
Тип объединение (union) 73
Тип переименование (renaming) 32
Тип перечислимый (enumerated) 34 35
Тип плавающий (floating point) 46
Тип проверка границ (range checking) 30
Тип производный (derived) 25
Тип простой 19
Тип символьный (character) 40
Тип указательный (pointer) 78
Тип фиксированный (fixed point) 48
Тип целый (integer) 43
Тип числовой (numeric) 42
Типизация сильная (strong typing)
Типизация слабая (weak) 22
Точность спецификация 46 56
Удаленная система приема данных 355
Указатели (pointer) в языке Ада 334
Указатели (pointer) висячие (dangling) 87 88
Указатели (pointer), использование 79 80
Указатели (pointer), расшифровка [обратная операция к получению ссылки] (dereferencing) 79 86
Ульман 67
Условия 38
Уэлс 389
Уэлш 22 131 146 176 389
Ферран 253 387
Фиксированные типы 48
Фиксированные типы в языке Ада 327
Фиксированные типы, приближенное представление 50 51
Фиксированные типы, пример использования 57
Фиксированные типы, точное представление 50
Фиксированные типы, требования 49
Фильтр нижних частот по Чебышеву 53 57
Фоккинга 225 386
Фрогат 61 389
Функции 94
Функции в языке Ада 337
Функции чистые 122
Функции, побочные эффекты 108 122
Функции, совмещение (overloading) 122 123
Функция пор 39
Функция предшествования (predecessor) 35 326
Функция следования (successor) 35 326
Хаберман 60 175 177 181 388 389
Хансен 145 157 161 176 252 389
Хант 389
Хейманс 388
Хелиард 387
Хиббард 389
Хисген 389
Хоар 60 62 157 161 176 389
Хокинс 388
Холден 293 315 389
Хьюс 388
Цан 103 389
Целые типы 43
Целые типы в языке RTL/2 256
Целые типы в языке Ада 326
Целые типы в языке Модула 284
Целые типы, диапазон значений 43
Целые типы, мобильность 44
Целые типы, операции 44
Часы реального времени 11 291 299
Шафферт 388
Шерман 389
Шоу 60 92 145 224 252 390
Эйхентопф 386
Эквивалентность именная 27 228
Эквивалентность структурная 27 228
Эквивалентность типов 27 228
Экспонента 46
Элдер 22 389
Эндрюс 315 390
Язык 215 93 253
Язык CHILL 320
Язык CLU 145 252
Язык CORAL 66 59 60 92 176 198 224
Язык CSP 176
Язык JOVIAL 60 92 176 224
Язык PEARL 92 176
Язык PL/1 225
Язык RTL/2 59 92 129 175 224 250 251 253—282
Язык SYCOL 61
Язык Ада 59 92 129 146 176 199 225 226 250 253 328—385
Язык Алгол 60 59 225 68 61 130 250 251
Язык Альфард [Alphard] 145
Язык Меза (MESA) 60 93 225 253
Язык Модула 129 145 175 199 225 250 252 282—318
Язык Параллельный Паскаль 145
Язык Паскаль 22 60
Язык Паскаль Плюс 146 176
Язык Симула 145 252
Языки Айронман («особо надежные языки») (Ironman) 60 176 199 319
Языки Айронман, Blue [голубой] 60 176
Языки Айронман, Green [зеленый] 60 93 176 225
Языки Айронман, Red [красный] 60 93 130 176
Языки Айронман, Yellow [желтый] 60 176 199 225
Янг 61 144 199 390
«Внуки» процессов (grandchild) 154
|
|
|
| Реклама |
|
|
|
|
|
О проекте