Слайд 2
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-1.jpg)
Слайд 3
![Сети Петри для моделирования](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-2.jpg)
Сети Петри для моделирования
Слайд 4
![Одновременность Конфликт](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-3.jpg)
Слайд 5
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-4.jpg)
Слайд 6
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-5.jpg)
Слайд 7
![Параллельные взаимодействующие вычислительные процессы](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-6.jpg)
Параллельные взаимодействующие вычислительные процессы
Слайд 8
![Средства синхронизации и связи Блокировка памяти Операция «Проверка и установка»](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-7.jpg)
Средства синхронизации и связи
Блокировка памяти
Операция «Проверка и установка»
Слайд 9
![Семафоры Дейкстры P(S) V(S) P(S): S:=S-1; if S V(s): if S S:=S+1 InitSem (имя_семафора, начальное_значение_семафора);](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-8.jpg)
Семафоры Дейкстры
P(S) V(S)
P(S): S:=S-1;
if S<0, then {остановить процесс и поместить его в
очередь ожидания к семафору S}
V(s): if S<0 then {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1
InitSem (имя_семафора, начальное_значение_семафора);
Слайд 10
![P(S): if S>=1 then S:=S-1 else WAIT(S){остановить процесс и поместить](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-9.jpg)
P(S): if S>=1 then S:=S-1
else WAIT(S){остановить процесс и поместить в
очередь ожидания к семафору S}
V(S): if S=0 then RELEASE(S) {поместить один из ожидающих процессов очереди семафора S в очередь готовности};
S:=S+1
Слайд 11
![Тупиковые ситуации](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-10.jpg)
Слайд 12
![Ресурсы: Повторно используемые (системные) ресурсы (RR или SR — reusable](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-11.jpg)
Ресурсы:
Повторно используемые (системные) ресурсы (RR или SR — reusable resource или
system resource);
потребляемые (или расходуемые) ресурсы (CR — consumable resource).
Модель повторно используемых ресурсов Холта
Слайд 13
![Условия возникновения тупика: взаимного исключения; ожидания; отсутствия перераспределения; кругового ожидания.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-12.jpg)
Условия возникновения тупика:
взаимного исключения;
ожидания;
отсутствия перераспределения;
кругового ожидания.
Слайд 14
![Формальные модели для изучения проблемы тупиковых ситуаций Сети Петри Вычислительные схемы Модель пространства состояний Модель Холта](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-13.jpg)
Формальные модели для изучения проблемы тупиковых ситуаций
Сети Петри
Вычислительные схемы
Модель пространства состояний
Модель
Холта
Слайд 15
![Сети Петри Дерево достижимости Матричные уравнения Дерево достижимости ω+a=ω, a ω-a=ω, a≤ω](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-14.jpg)
Сети Петри
Дерево достижимости
Матричные уравнения
Дерево достижимости
ω+a=ω, a<ω
ω-a=ω, a≤ω
Слайд 16
![Классификация вершин: граничная; терминальная; дублирующая; внутренняя. Алгоритм: μ[x]=μ[y], х –](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-15.jpg)
Классификация вершин:
граничная;
терминальная;
дублирующая;
внутренняя.
Алгоритм:
μ[x]=μ[y], х – дублирующая;
μ[x], х – терминальная;
tj∈T, μ[x], z. μ[z],
pi:
μ[x]i=ω, μ[z]i=ω;
μ[у]<δ(μ[x], tj) и μ[у]i<δ(μ[x], tj)i , то μ[z]i=ω;
μ[z]i=δ(μ[x], tj)i .
Слайд 17
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-16.jpg)
Слайд 18
![Матричные уравнения D- D+ D=D+-D- D-[i, j]=#(pi, I(tj)) D+[j, i]=#(pi, O(tj))](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-17.jpg)
Матричные уравнения
D- D+ D=D+-D-
D-[i, j]=#(pi, I(tj))
D+[j, i]=#(pi, O(tj))
Слайд 19
![μ′=μ+х*D μ=(1, 0, 1, 0) σ=t3 t2 t3 t2 t1 f(σ)=(1, 2, 2)](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/220816/slide-18.jpg)
μ′=μ+х*D
μ=(1, 0, 1, 0)
σ=t3 t2 t3 t2 t1 f(σ)=(1, 2,
2)