Компилятор не имеет возможности проверять правильность использования мьютекса и согласованы ли операции Wait и Signal. Это – забота программиста. Неправильное использование мьютексов и семафоров может привести к тупикам.

30. Задача синхронизации «Читатели-писатели»

Задача также имеет много вариантов. Например, программы-читатели могут считывать информацию из зоны памяти (базы данных) асинхронно, по мере возникновения необходимости.

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

Если одна задача читает информацию из зоны памяти (из базы данных) и будет прервана, переписав её к себе частично, а прервавшая её задача является задачей-писателем или задача – писатель лежит где то в цепочке последовательно исполняемых задач в данном прерывании, и заменит информацию в зоне памяти или базе данных, то после завершения прерывания и восстановления контекста задачи-читателя она продолжит чтение информации и завершит его.

Врезультате задача-читатель получит полный по номенклатуре объем информации, но состоящий из двух в общем случае разнородных частей, относящихся к разным моментам времени.

Втом случае, когда читаемые записи имеют внутреннюю связь между строками (например, компоненты вектора состояния объекта), то получение одной записи с компонентами, относящимися к разнесенным по времени записям, является семантической ошибкой, которая проявится при работе системы.

Распространенность подобных ошибок велика, хотя метод её избежания известен и прост: если програм- ма-читатель захватила ресурс (читает), то должен быть выставлен запрет прерывания до тех пор, пока зона памяти (база данных) не будет прочитана до конца. Либо писатель должен ждать пока читатели не прочитают БД, а затем только начать изменение базы данных.Эту работу можно реализовать , используя мьютексы.

Задачи синхронизации. «Обедающие философы»

За круглым столом сидят философы, их, например, пять. В центре стола блюдо со спагетти. Предполагается, что перед тем, как начать есть, каждый философ должен из общего блюда положить часть спагетти к себе в тарелку. Для этого каждому философу нужно две вилки. Одной он наматывает спагетти, а другой сбрасывает их к себе в тарелку. Они и лежат слева и справа от каждой тарелки. Наложив себе спагетти и закончив есть, каждый философ положит обе вилки на место – слева и справа от тарелки и начинает размышлять, как и положено философу, пока опять не проголодается. Таким образом, каждый из философов должен находиться в одном из двух состояний: либо он размышляет, либо ест. Вилки в данной ситуации выступают в качестве пересекающихся ресурсов Рис.12.

[Введите текст]