Теория распараллеливания и синхронизация. Демьянович Ю.К - 43 стр.

UptoLike

Составители:

Рубрика:

Глава 2 Критические секции

и барьеры

§1 Задача критической секции.

Крупномодульное решение

Классической задачей при параллельном программировании явля-

ется задача критической секции

В этой задаче n процессов многократно выполняют сначала

критическую, а затем — некритическую секцию кода.

Критической секции соответствует протокол входа, а за ней

следует протокол выхода. Итак, процесс имеет вид

process CS[i = 1 to n] {

while (true) {

[протокол входа];

[критическая секция];

[протокол выхода];

[некритическая секция];

}

Протоколы входа должны удовлетворять следующим свой-

ствам.

(1) "Взаимное исключение": в любой момент только один про-

цесс может выполнять свою критическую секци ю.

Критическая секиця — неделимая последовательность действий, которую

нельзя прервать другими процессами.