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

проститутки москвы, уважаемые жители и гости столицы. |

12


Предварительный просмотр
Предварительный просмотр - часть 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 Однократные подпрограммы и параллельность



Начало