Ebook: Аналитические вероятностные модели функционирования ЭВМ

ОГЛАВЛЕНИЕ: Предисловие (3). ЧАСТЬ 1. ОПРЕДЕЛЕНИЕ МАТЕМАТИЧЕСКОЙ МОДЕЛИ ЭВМ (5). Глава 1. Модели структур ЭВМ (5). 1. Определение моделей функционирования вычислительных систем (6). 2. Формализация функциональной модели вычислительной системы (31). Глава 2. Системы массового обслуживания, предмет и методы исследования (42). 1. Потоки заявок (43). 2. Механизм обслуживания заявок (49). 3. Параметры обслуживания (51). 4. Случайные процессы в системах массового обслуживания (54). 5. Марковские процессы (56). 6. Марковские процессы. Дифференциальные уравнения состояний (65). 7. Полумарковские процессы (69). 8. Вложенные цепи Маркова (85). Глава 3. Математическая модель процесса прохождения команд и программ в машине (95). 1. Статистическая модель потока команд. Распределение времени выполнения операций (96). 2. Статистическая модель потока команд. Фазы обращения к памяти (101). 3. Статистическая модель многосекционной памяти (103). 4. Организация БЗУ (111). 5. Адресуемое сверхбыстродействующее запоминающее устройство (114). 6. Виртуальная память (117). 7. Память магазинного типа (121). 8. Пути получения составляющих статистической модели потока команд (125). 9. Формальное определение математической модели структуры ЭВМ и оценка её производительности (126). ЧАСТЬ 2. ОСОБЕННОСТИ МОДЕЛЕЙ ЭВМ (136). Глава 4. Системы массового обслуживания с блокировкой (136). 1. Общее решение двуузловой двухфазной модели при конечной ёмкости промежуточного накопителя и с блокировкой (137). 2. Дуальная двуузловая модель (144). 3. Модель E2-n-Ek (Ek-n-E2) (146). 4. Модель M-n-Ek (Ek-n-M) (169). Глава 5. Система массового обслуживания с потерями заявок (178). 1. Общее решение системы с одним обслуживающим узлом (Ek | G | 1 | n) (179). 2. Модель E2 | Er | 1 | n (184). 3. Дуальная модель GI | Ek | 1 | n (195). ЧАСТЬ 3. МОДЕЛИ ПРОЦЕССОВ РЕШЕНИЯ ЗАДАЧ НА ЭВМ (204). Глава 6. Двухфазные модели процессов в системе память операндов - арифметическо-логическое устройство (204). 1. Двухфазные модели с произвольными распределениями (205). 2. Влияние накопителя очереди на скорость выполнения команд линейного участка программы (207). 3. Модель оперативная память - процессор с возможным уничтожением заявок (221). 4. Сравнение дисциплин уничтожения заявок в двухфазной модели с накопителем очереди (234). 5. Зависимость скорости обслуживания от инерционности накопителя очереди и дообслуживания заявок (239). 6. Двухфазные модели с многоместными операциями (246). 7. Распределение регистров между адресуемой СБЗУ или ВП и накопителем очередей (252). Глава 7. Многофазные и многоузловые модели процессов вычислений на ЭВМ (256). 1. Трёхфазные модели с произвольными распределениями времён обслуживания и накопителями с нулевой ёмкостью (256). 2. Влияние накопителя очереди операндов на производительность моделей с записью результата (259). 3. Трёхфазные модели с опережающей записью (268). 4. Оценка влияния циклов памяти считывание - восстановление на скорость выполнения команд (273). 5. Влияние обращения за командными словами на скорость выполнения команд (275). 6. Модель системы с внешним обменом (289). 7. Модель ЭВМ с виртуальной памятью (294). Глава 8. Модели систем с многосекционной памятью (301). 1. Взаимодействие в процессе выборки команд и операндов (301). 2. Сравнение односекционных статистических эквивалентов многосекционной памяти (307). 3. Модель многосекционной памяти, учитывающая работу её устройства управления (311). 4. Уточнение модели многосекционной памяти команд (325). 5. Две модели многосекционной памяти команд с последовательным и параллельным опросом секций (332). Глава 9. Модель оптимизации длины программы (342). 1. Определение алгоритма (343). 2. Определение кода команды (346). 3. Задача оптимальной интерпретации кода команды (348). ПРИЛОЖЕНИЕ (353). Алгоритмы решения СМО для случаев блокировки и потери заявок (353). Список литературы (360). Граф моделей ЭВМ, имеющихся в книге (364). Аннотация издательства: В книге рассматриваются задачи определения и использования математических моделей функционирования ЭВМ на этапе проектирования структуры машины. На примерах классических структур ЭВМ проводится определение моделей их функционирования. Определяется формальная функциональная модель гипотетической современной ЭВМ, с учётом которой вырабатывается математическая модель процесса выполнения программ в машине, рассматриваемая как система массового обслуживания. Исследуется ряд практических моделей процессов выполнения программ, дающих возможность проектировщику структур ЭВМ аналитическим или расчётным путем определить влияние различных параметров структур и программ на производительность машины. Книга предназначена для специалистов по вычислительной технике, а также для студентов старших курсов соответствующих специальностей.