Синхронизация методом взаимного исключения

Пример синхронизации доступа к классу

Синхронизация доступа к классам

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

Отделив вопрос о том, что делает класс (спецификация операций), от того, как это делается (проект класса), мы можем изолировать пользователей от моди­фикаций внутреннего устройства класса. Допустимо следующее:

– трансформировать внутренние структуры данных, например применить связанный список вместо массива;

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

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

В качестве примера рассмотрим класс абстрагирования данныхХранилище Показаний Аналоговых Датчиков. При проектировании этого класса нужно принять решение о том, будет ли информация храниться в массиве или в связан­ном списке. Другое решение касается синхронизации: может ли к объекту такого класса осуществляться параллельный доступ и, если да, следует использовать ал­горитм взаимного исключения или алгоритм читателей и писателей. Оба реше­ния относятся только к проектированию класса, не затрагивая его пользователей.

Отделив вопрос о том, что делает класс (спецификация операций), от того, как это делается (проект класса), мы можем изолировать пользователей от моди­фикаций внутреннего устройства класса. Допустимо следующее:

– трансформировать внутренние структуры данных, например применить связанный список вместо массива;

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

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

Сначала рассмотрим решение, основанное на взаимном исключении. В таком случае используется предоставляемый операционной системой двоичный семафор, у которого есть операции acquire (запросить) и release (освободить). Чтобы гарантировать взаимное исключение, каждая задача должна вызвать операцию acquire семафора readWriteSemaphore (изначально он установлен в единицу) перед тем, как пытаться получить доступ к хранилищу. Закончив работу с храни­лищем, задача обращается к операции release. При выполнении операции обновить надо не только записать в хранилище новое значение датчика, но и проверить условие тревоги.

Дата добавления: 2014-01-07