ТУСУР Параллельное программирование (ЛЭС)

ТУСУР Параллельное программирование (ЛЭС)

Общая часть задания:

1. Вывести в выходной файл или на консоль описание запускаемых в программе параллельных потоков (общий оператор параллельной композиции, а также алфавит, префиксную форму и протокол работы каждого потока). Если задание выполнять на основе ЛР, там все необходимые потоки и ресурсы уже имеются, и нужно лишь дополнить вывод программы требуемыми данными. Если писать программу с нуля, необходимо смоделировать несколько ресурсов и потоков, которые за них конкурируют. При этом описание потоков должно быть динамическим. Для этого необходимо, чтобы, во-первых, число потоков было настраиваемым (чтобы его можно было варьировать через входной файл или настройки в коде программы). Во-вторых, чтобы настраиваемым было количество ресурсов, и разным потокам требовалось разное количество разных ресурсов. В таком случае, и оператор параллельной композиции, и алфавит каждого потока, и его префиксная форма, и протокол – всё это будет динамически меняться в зависимости от настроек. Кроме того, разные потоки должны иметь разное время выполнения, которое должно превышать интервал квантования времени в программе. Таким образом, поток в любом состоянии может находиться не один квант времени, а несколько квантов подряд, что должно быть отражено в префиксной форме и протоколе потока.

2. Построить схему сети Петри согласно полученному индивидуальному варианту задания. Выполнить ее описание (описать компоненты сети P, T, I, O (или P, T, D-, D+), начальную маркировку μ0, нарисовать граф). Если для работы сети переходы требуется запускать в определённом порядке, указать этот порядок. При этом алгоритм работы сети должен быть универсальным, без подгонки к начальным данным или требуемому результату. Не разрешается использовать дополнительные виды позиций и переходов (например, переходов с инверсией и т.п.), кроме описанных в УП и УМП. Кроме того, требуемый в задании результат должен быть получен за один цикл работы сети - то есть, начальная маркировка должна быть инициализирована только один раз, а далее необходимый результат или результаты должны быть получены только посредством запуска переходов. Затем полученную схему сети необходимо реализовать в программе. Реализация должна быть явной, с описанием всех компонентов сети (это, как минимум, количество позиций и переходов, а также множества I/O или матрицы D-/D+, маркировка μ; при желании можно также описать множества P и T), а также метода для запуска переходов.