Система трехуровневой управляемой виртуальной памяти УВП-3

• Автор: Полилова, Татьяна Алексеевна
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 116 c. : ил

Глава I. Система УВП-3: концепции и возможности

1.1. Использование управляемой виртуальной памяти

в языках высокого уровня

1.2. Организация и основные понятия УВП

1.3. Проблема накладных расходов при работе с виртуальной памятью

1.4. Управление доступом к информации, находящейся

в буферной области

1.5. Средства управления буферной областью

1.5.1. Процедура ihbuf

1.5.2. Процедура outbuf

1.5.3. Процедура free

1.5.4. Выделение буфера
1.5.5. Операция загрузки буфера
1.5.5. Пример программы, использующей средства управления буферной областью
Глава 2. Средства отладки программ в системе УВП-3
2.1. Инструментальные системы отладки
2.2. Основные возможности отладки программ
в системе УВП
2.3. Язык диалоговой и пакетной отладки
2.3.1. Описание контролируемых точек
2.3.2. Условные контролируемые точки
2.3.3. Кратные контролируемые точки
2.3.4. Ограничение области контроля
2.3.5. Правило уточнения имен

2.3.6. Описание отладочных действий
2.3.7. Работа с двумерными массивами
2.4. Задание на отладку в пакетном режиме
2.5. Язык работы с архивом результатов отладки
2.5.1. Запись информации в архив
2.5.2. Команда ИДИ
2.5.3. Команды СТОП и ГДЕ
2.5.4. Команды ВЫВЕСТИ и ПЕЧАТАТЬ
2.5.5. Условный оператор
2.5.6. Описание контролируемых точек
2.5.7. Команды ассоциативного поиска
2.5.8. Команда СЛЕДИ
2.5.9. Получение профиля
2.5.10. Распечатка истории выполнения операторов
2.5.11. Распечатка истории нарушений управления виртуальной памятью
2.5.12. Распечатка статистики
2.5.13. Диалоговый и пакетный режимы
работы с архивом
Глава 3. Реализация системы УВП-3 и средств отладки
3.1. Административная система и ее функции
3.1.1. Начальная настройка АС
3.1.2. Обеспечение динамической работы
с виртуальной памятью
3.1.3. Вызов программных сегментов
3.1.4. Прямой обмен с внешней памятью
3.1.5. Вызов нерезидентной интерпретирующей
системы
3.1.6. Переименование массивов

3.2. Реализация административной системы
3.2.1. Структура АС
3.2.2. Аппарат замены нерезидентных листов АС
3.3. Реализация средств отладки
3.3.1. Реализация контролируемых точек
3.3.2. Взаимодействие отладчика и АС
3.3.3. Общая схема работы отладчика
3.3.4. Эффективность системы отладки
3.4. Схема реализации архива результатов отладки
Заключение
Литература
Приложение I. Формальное описание языка диалоговой
и пакетной отладки
Приложение 2. Список служебных слов языка диалоговой
и пакетной отладки

помощью других терминов, соответствующих, как правило, более мелким понятиям, которые в свою очередь могут уточняться с помощью терминов следующего уровня.
Отметим следующие важные преимущества метода разработки программ в описанной системе тотальной автоматизации программирования в обеспечении верификации и отладки программ.
Метод пошаговой детализации в системе предполагает простоту используемых шагов детализации. Простота детализирующих алгоритмов открывает широкие возможности применения различных приемов генерации программ, включая библиотеки алгоритмов и различные приемы синтеза. При таком подходе значительно повышаются шансы на практическое использование методов доказательства правильности и верификации программ.
Отладка в такой системе рассматривается как органический этап разработки программ, позволяющий оценить достигнутые результаты, выявить ошибки и просчеты, допущенные в ходе разработки. Поскольку системе отладки доступна вся информация о разрабатываемой программе, сообщения об.ошибках могут выдаваться как в терминах нижних уровней детализации программы, так и в терминах крупных понятий. В некоторых случаях система могла бы указать достаточно точно причины возникновения ошибки, влияние ошибки на другие части программы.
В языке системы имеются средства, позволяющие связать с некоторыми действиями элементы данных, которые в нем используются. Можно объявить характер использования данных в этом действии, т.е. указать, какие элементы данных являются входными (аргументами), какие выходными (результатами), или входными и выходными одновременно. В случае возникновения ошибки такая информация существенно облегчает анализ алгоритмов программ и внесение соответствующих