Вычислительная математика Учебно-практическая задача Пути достижения параллелизма Моделирование и анализ параллельных вычислений Каскадная схема суммирования

Процессы и ресурсы Учебно-практическая задача

Модели функционирования параллельных программ

Модель программы в виде сети Петри

При использовании сетей Петри для описания параллельных программ переходы обычно соответствуют действиям (процессам), а места – условиям (выделению или освобождению ресурсов). Разметка мест в этом случае интерпретируется как количество имеющихся (нераспределенных) единиц ресурса.

Сеть Петри может функционировать (изменять свое состояние), переходя от разметки к разметке. Обозначим через  множество переходов, к которым имеются ребра из вершины-места  

;

по аналогии,   есть множество переходов, из которых имеются ребра в вершину-место  

С учетом введенных обозначений правила функционирования сети состоят в следующем:

-       Переход  может сработать при разметке M только при выполнении условия

.

Данное условие означает, что все входные места перехода  содержат хотя бы по одной фишке.

-       В результате срабатывания перехода   разметка сети M сменяется разметкой M' по правилу:

.

Рис. 5.7. Состояние сети после срабатывания перехода

Другими словами, переход  изымает по одной фишке своего входного места и добавляет по одной в каждое свое выходное место. Будем говорить далее, что разметка M' следует за разметкой M, а M предшествует M', и обозначать этот факт

.

Так, в сети на рис. 5.6 могут сработать переходы  и ; состояние сети после срабатывания перехода  показано на рис. 5.7.

Главной отличительной особенностью многопроцессорной вычислительной системы является ее производительность, т.е. количество операций, производимых системой за единицу времени. Различают пиковую и реальную производительность. Под пиковой понимают величину, равную произведению пиковой производительности одного процессора на число таких процессоров в данной машине. При этом предполагается, что все устройства компьютера работают в максимально производительном режиме.

Информатика, черчение, математика