Виды отношений между процессами

Курсовая работа

по дисциплине «Теория вычислительных процессов»

на тему «Отношения между процессами. Решение задачи об обедающих философах»

Магнитогорск 2012

Содержание

1........ Теоретический вопрос «Отношения между процессами» 3

1.1 Виды отношений между процессами. 3

1.2 Примеры отношений между процессами. 4

1.3 Выводы по межпроцессным отношениям. 9

2........ Решение задачи «Об обедающих философах». 10

2.1 Постановка задачи об обедающих философах. 10

2.2 Решение задачи с использованием методологии К.Петри. 11

2.3 Листинг процедур, обеспечивающих решение задачи. 11

3........ Список использованных источников. 15

1 Теоретический вопрос «Отношения между процессами»

Виды отношений между процессами

Все отношения между процессами строятся на взаимодействии процессов между собой по отношению к каким-то элементам, ресурсам.

Прежде всего стоит сказать о том, какими категориями оперирует вычислительный процесс.

Базовыми, неопределенными понятиями, из которых строится процесс, служат два типа элементов процесса: действия и изменения условий.

Действие в процессе – это реализация события системы, порождающей процесс. Изменение условия – это разовая реализация факта изменения некоторого условия в системе.

Процесс представляет собой множество элементов процесса, содержащее хотя бы одно действие, хотя бы одно изменение условия и некоторую совокупность отношений, определенных на этом множестве элементов. [1, С. 103]

Виды отношений внутри вычислительных процессов переносятся на сами вычислительные процессы:

1. Отношение альтернативы.

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

2. Отношение следствия между элементами безальтернативного процесса.

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

3. Отношение параллелизма для процессов без альтернатив.

Это отношение не накладывает никаких ограничений на порядок следования элементов и не устанавливает никаких причинно-следственных связей между ними.

4. Отношение конкуренции.

Это отношение, в отличие от отношения следования, разрешает элементам х и у реализоваться в процессе в любом порядке: х может как предшествовать у. так и следовать за ним. Однако х и у не могут реализоваться " одновременно". [1, С. 103-104]