Параллельное программирование и теория вычислительных процессов
Задания: tasks/readme.md
- Введение в Pyhton [https://github.com/VetrovSV/Programming]
- Верификация программ и контрактное программирование PC_lec1.verifacation.pdf.
- Стандартные схемы программ (https://cc.dvo.ru/docs/lectures-tvps/lecture02.pdf)
- Сети Петри [1,2]
- Идея сети Петри. Позиция, переходы, входная и выходная функции.
- Маркировка и выполнение сети Петри. Диаграмма переходов.
- Некоторые примеры моделирования с помощью сетей Петри. простой процесс, одноканальная СМО, моделирование выполнения циклической программы.
- Анализ сети Петри. Свойства сетей Петри. Задача достижимости. Матричный способ решения задачи достижимости. Матрица инцидентности.
- Параллельное программирование. [ Computer Science Center -- Курс "Параллельное программирование" ]
- Процессы и потоки. Синхронизация потоков. Проблемы синхронизации., [ PC. lec. parallel.pdf, ll2.md, 4 ]
- OpenMP
- MPI
- MapReduce
- CUDA через pyTorch https://colab.research.google.com/drive/1qm3deqBHBP2gqRQ-WioyIiYD0I7scnhB?usp=sharing
-
Потоки в C++: создание потоков, передача параметров по ссылке, возвращение значение из потока, callback функции examples/example_thread
-
Потоки в Qt: QThread, отслеживание выполнения потока examples/example_qthread
-
Потоки в Java: создание потока, возврат значения из потока examples/example_java_threads
-
Синхронизация с помощью мьютексов на примере потоков в С++ examples/thread-sync1
-
Синхронизация с помощью условных переменных (condation variables) на примере потоков в С++ examples/condition_variables
-
Моделирование параллельных процессов. Сети Петри. Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В. — СПб.: Профессиональная литература, 2014. – 400 с
-
Теория вычислительных процессов, методическое пособие, В. Т. Калайда, 2007 г, 130 с.
-
Сладйы лекций -- Голенков Е.А., Харитонов Д.И., Тарасов Г.В., Парахин Р.В. Курс лекций «Теория вычислительных процессов и структур»
-
Computer Science Center -- Курс "Параллельное программирование"