Читайте также:
|
При программировании для однопоточного окружения методы зачастую пишутся так, что на некоторых этапах исполнения кода объекты временно находятся в недействительном состоянии. Очевидно, что если в любой момент к объекту обращается только один поток, у вас есть гарантия, что каждый метод завершится до того, как будет вызван следующий метод. Это значит, что для своих клиентов объект всегда пребывает в действительном состоянии. Однако когда несколько потоков работают одновременно, вы легко можете получить ситуации, в которых процессор переключается на другой поток, в то время как ваш объект находится в недействительном состоянии. Если затем этот поток также попытается использовать этот же объект, результат будет совершенно непредсказуем. Поэтому термин "безопасность потоков" означает постоянное поддержание членов объекта в действительном состоянии при их одновременном использовании несколькими потоками.
Как избежать подобных непредсказуемых состояний? Для этого можно использовать стандартное средство — синхронизация. Синхронизация позволяет задавать критические секции (critical sections) кода, в которые в каждый отдельный момент может входить только один поток, гарантируя, что любые временные недействительные состояния объекта будут невидимы его клиентам. Имеется несколько средств определения критических секций, включая классы.NET Monitor и Mutex, а также оператор С# lock.
Формат использования инструкции lock таков:
lock(выражение) {
// Инструкции, подлежащие синхронизации.
}
Для обычных методов в качестве выражения используется указатель this, для статических – typeof(класс).
Здесь параметр выражение представляет собой ссылку на синхронизируемый объект. Если нужно синхронизировать только один элемент, фигурные скобки можно опустить. Инструкция lock гарантирует, что указанный блок кода, защищенный блокировкой для данного объекта, может быть использован только потоком, который получает эту блокировку. Все другие потоки остаются заблокированными до тех пор, пока блокировка не будет снята. А снята она будет лишь при выходе из этого блока.
Итак, подытожим действие инструкцииlock.
1. Если для заданного объекта инструкция lock размещена в некотором блоке кода, этот объект блокируется, и никакой другой поток не сможет запросить блокировку.
2. Другие потоки, пытающиеся запросить блокировку для того же объекта, перейдут в состояние ожидания и будут находиться в нем до тех пор, пока код не будет разблокирован.
3. Объект разблокируется, когда поток выходит из заблокированного блока.
Необходимо также отметить, что инструкция lock должна использоваться только для объектов, которые определены либо как private-, либо как internal-объекты. В противном случае внешние по отношению к вашей программе потоки смогут получать блокировку и не снимать ее.
Дата добавления: 2015-09-10; просмотров: 43 | Поможем написать вашу работу | Нарушение авторских прав |