Основы объектно-ориентированного проектирования


             

Содержание раздела



Предварительный просмотр
Предварительный просмотр - 2
Возникновение параллельности
Мультипроцессорная обработка
Многозадачность
Многозадачность - 2
Посредники запросов объектов (брокеры объектных запросов - Object Request Broker)
Удаленное выполнение

Удаленное выполнение - 2
От процессов к объектам
Сходство
Активные объекты
Активные объекты - 2
Конфликт активных объектов и наследования
Программируемые процессы
Программируемые процессы - 2
Программируемые процессы - 3
Введение параллельного выполнения

Процессоры
Природа процессоров
Операции с объектом
Дуальная семантика вызовов
Сепаратные сущности
Сепаратные сущности - 2
Получение сепаратных объектов
Получение сепаратных объектов - 2
Объекты здесь и там
Параллельная архитектура

Распределение процессоров: файл управления параллелизмом (Concurrency Control File)
Распределение процессоров: файл управления параллелизмом (Concurrency Control File) - 2
Библиотечные механизмы
Правила обоснования корректности: разоблачение предателей
Правила обоснования корректности: разоблачение предателей - 2
Правила обоснования корректности: разоблачение предателей - 3
Импорт структур объекта
Вопросы синхронизации
Синхронизация versus взаимодействия
Механизмы, основанные на синхронизации

Механизмы, основанные на синхронизации - 2
Механизмы, основанные на синхронизации - 3
Механизмы, основанные на взаимодействии
Механизмы, основанные на взаимодействии - 2
Синхронизация параллельных ОО-вычислений
Синхронизация параллельных ОО-вычислений - 2
Доступ к сепаратным объектам
Параллельный доступ к объекту
Параллельный доступ к объекту - 2
Резервирование объекта

Резервирование объекта - 2
Доступ к сепаратным объектам
Доступ к сепаратным объектам - 2
Ожидание по необходимости
Мультипускатель
Оптимизация
Устранение блокировок (тупиков)
Условия ожидания
Буфер - это сепаратная очередь
Буфер - это сепаратная очередь - 2

Предусловия при параллельном выполнении
Предусловия при параллельном выполнении - 2
Парадокс предусловий
Параллельная семантика предусловий
Параллельная семантика предусловий - 2
Последовательные и параллельные утверждения
Ограничение проверки правильности
Состояния и переходы
Запросы специальных услуг
Экспресс сообщения

Дуэли и их семантика
Дуэли и их семантика - 2
Обработка исключений: алгоритм "Секретарь-регистратор"
Обработка исключений: алгоритм "Секретарь-регистратор" - 2
Обработка исключений: алгоритм "Секретарь-регистратор" - 3
О том, что будет дальше в этой лекции
Примеры
Обедающие философы
Обедающие философы - 2
Полное использование параллелизма оборудования

Полное использование параллелизма оборудования - 2
Замки
Замки - 2
Сопрограммы (Coroutines)
Сопрограммы (Coroutines) - 2
Система управления лифтом
Система управления лифтом - 2
Система управления лифтом - 3
Сторожевой механизм
Сторожевой механизм - 2

Организация доступа к буферам
О правилах доказательств
О правилах доказательств - 2
О правилах доказательств - 3
Резюме параллельного механизма
Синтаксис
Ограничения
Семантика
Семантика - 2
Библиотечные механизмы

Обсуждение
Минимальность механизма
Полное использование наследования и других ОО-методов
Совместимость с Проектированием по Контракту
Поддержка различия между командами и запросами
Применимость ко многим видам параллельности
Адаптируемость с помощью библиотек
Поддержка программирования сопрограмм
Поддержка использования непараллельного ПО
Поддержка устранения блокировок

Допускается ли одновременный доступ?
Ключевые концепции
Библиографические замечания
Библиографические замечания - 2
Библиографические замечания - 3
У12.1 Принтеры
У12.2 Почему импорт должен быть глубоким
У12.3 "Аномалия наследования"
У12.4 Устранение тупиков (проблема для исследования)
У12.5 Приоритеты

У12.6 Файлы и парадокс предусловия
У12.7 Замки (Locking)
У12.8 Бинарные семафоры
У12.9 Целочисленные семафоры
У12.10 Контроллер сопрограмм
У12.11 Примеры сопрограмм
У12.12 Лифты
У12.13 Сторожа и принцип визитной карточки
У12.14 Однократные подпрограммы и параллельность
Содержание