Купить Лекции (Шпаргалки): Теория вычислительных процессов

Документ содержит основную информацию по следующим вопросам:

1.Понятие вычислительного процесса. Характеристики процессов.
2.Модели вычислительных процессов в однозадачных и многозадачных операционных системах.
3.Операции над процессами. Создание, завершение, изменение приоритета процессов.
4.Состояние процессов.
5.Понятие потоков (нитей процесса). Модель потоков. Преимущества использования потоков.
6.Реализация потоков в пространстве пользователя, ядра и смешанная реализация.
7.Параллельные и взаимодействующие процессы. Причины их взаимодействия.
8.Пути достижения параллелизма. Синхронизация процессов.
9.Классификация вычислительных систем (SISD, SIMD, MISD, MIMD).
10.Характеристика типовых схем коммуникаций в многопроцессорных вычислительных системах.
11.Взаимное исключение процессов и их причина. Блокировка. Семафоры Дейкстры.
12.Simulink – пакет моделирования динамических систем и процессов.
13.Сети Петри – инструмент моделирования динамических систем. Примеры сетей Петри.
14.Двойственные сети Петри. Маркировка в сетях Петри.
15.Представление вычислительного процесса с помощью блок-схемы.
16.Тупиковые ситуации и возникновение взаимоблокировок.
17.Причины и условия возникновения тупиков.
18.Основные направления борьбы с тупиками.
19.Методы предотвращения тупиков.
20.Методы обнаружения тупиковых ситуаций.
21.Восстановление процессов после тупиков.
22.Методы доказательства правильности программ.