М.: Диалог-МИФИ. 1996. — 224 с.
Вниманию читателя предлагается перевод с немецкого языка учебного
пособия по основам информатики. Автор книги - профессор факультета
информатики Мюнхенского технического университета Манфред Брой -
известный специалист, лауреат премии Лейбница
в области информатики Германской академии наук за 1993 г. Данная книга обобщает опыт чтения автором курса лекций по основам информатики в ряде университетов Германии и Австрии. Это учебное пособие, состоящее из четырёх частей, опубликовано известным германским издательством Springer Verlag, что свидетельствует о его высоком качестве. Содержание
ПРЕДИСЛОВИЕ ПРОЦЕССЫ, КОММУНИКАЦИЯ И КООРДИНАЦИЯ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ
Процессы
Структуры действий как процессы
Структурирование процессов
Последовательное представление процессов с помощью трасс
Разложение процесса на подпроцессы
Действия как переходы состояний
Описания систем через множество процессов
Сети Петри
Термы для описания процессов
Синхронизация и координация агентов
Предикаты над процессами
Языки программирования для описания взаимодействующих систем
Коммуникация через обмен сообщениями
Общие программные переменные
Языковые средства для параллельных ходов работы
Потоки ввода/вывода ОПЕРАЦИОННЫЕ СИСТЕМЫ И СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Основные аспекты операционных систем
Функции операционной системы
Режимы обработки
Простая ОС для пакетного режима
Простая ОС для мультипрограммной системы
Относящиеся к пользователю аспекты ОС
Командный язык
Управление пользователями
Доступ к вычислительной мощности
Организация данных и управление ими
Служба передачи сообщений
Аспекты надежности и защиты
Распределение ресурсов ВС
Выделение процессора
Управление оперативной памятью
Выделение устройств ввода/вывода
Распределение ресурсов в мультипрограммном режиме
Выделение ресурсов в режиме диалога
Методы реализации системного программирования
Концепция прерываний
Синхронизация
Сегментация
Метод страничного обмена
Релокация программ
Одновременное использование подпрограмм
Управление устройствами ввода/вывода
Структуры ОС
Структурирование ОС
Процессноориентированные структуры ОС ИНТЕРПРЕТАЦИЯ И КОМПИЛЯЦИЯ ПРОГРАММ
Лексический анализ языков программирования
Отображение предгруппировки
Обстоятельный пример: AS
Лексический анализ AS
Разбиение программ на части
Абстрактный синтаксис
Древовидное представление ASпрограмм
Синтаксический анализ ASпрограмм
Контекстные условия
Контекстные условия и предикаты
Контекстные условия для языка программирования AS
Синтаксический анализ AS
Интерпретация языков программирования
Семантика
Синтаксис и семантика
Ввод и вывод
Интерпретатор
Стековая машина: пример интерпретатора
ASинтерпретатор
Общие замечания к интерпретаторам
Компиляция языков программирования
Компилятор
Перевод ASпрограмм в KMSпрограммы
Общие замечания к компиляторам
ЛИТЕРАТУРА
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
в области информатики Германской академии наук за 1993 г. Данная книга обобщает опыт чтения автором курса лекций по основам информатики в ряде университетов Германии и Австрии. Это учебное пособие, состоящее из четырёх частей, опубликовано известным германским издательством Springer Verlag, что свидетельствует о его высоком качестве. Содержание
ПРЕДИСЛОВИЕ ПРОЦЕССЫ, КОММУНИКАЦИЯ И КООРДИНАЦИЯ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ
Процессы
Структуры действий как процессы
Структурирование процессов
Последовательное представление процессов с помощью трасс
Разложение процесса на подпроцессы
Действия как переходы состояний
Описания систем через множество процессов
Сети Петри
Термы для описания процессов
Синхронизация и координация агентов
Предикаты над процессами
Языки программирования для описания взаимодействующих систем
Коммуникация через обмен сообщениями
Общие программные переменные
Языковые средства для параллельных ходов работы
Потоки ввода/вывода ОПЕРАЦИОННЫЕ СИСТЕМЫ И СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Основные аспекты операционных систем
Функции операционной системы
Режимы обработки
Простая ОС для пакетного режима
Простая ОС для мультипрограммной системы
Относящиеся к пользователю аспекты ОС
Командный язык
Управление пользователями
Доступ к вычислительной мощности
Организация данных и управление ими
Служба передачи сообщений
Аспекты надежности и защиты
Распределение ресурсов ВС
Выделение процессора
Управление оперативной памятью
Выделение устройств ввода/вывода
Распределение ресурсов в мультипрограммном режиме
Выделение ресурсов в режиме диалога
Методы реализации системного программирования
Концепция прерываний
Синхронизация
Сегментация
Метод страничного обмена
Релокация программ
Одновременное использование подпрограмм
Управление устройствами ввода/вывода
Структуры ОС
Структурирование ОС
Процессноориентированные структуры ОС ИНТЕРПРЕТАЦИЯ И КОМПИЛЯЦИЯ ПРОГРАММ
Лексический анализ языков программирования
Отображение предгруппировки
Обстоятельный пример: AS
Лексический анализ AS
Разбиение программ на части
Абстрактный синтаксис
Древовидное представление ASпрограмм
Синтаксический анализ ASпрограмм
Контекстные условия
Контекстные условия и предикаты
Контекстные условия для языка программирования AS
Синтаксический анализ AS
Интерпретация языков программирования
Семантика
Синтаксис и семантика
Ввод и вывод
Интерпретатор
Стековая машина: пример интерпретатора
ASинтерпретатор
Общие замечания к интерпретаторам
Компиляция языков программирования
Компилятор
Перевод ASпрограмм в KMSпрограммы
Общие замечания к компиляторам
ЛИТЕРАТУРА
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ