Класс Monitor управляет доступом к коду с использованием объекта синхронизации. Объект синхронизации предоставляет возможности для ограничения доступа к блоку кода, в общем случае обозначаемого как критическая секция.
Поток выполняет операторы. Выполнение оператора, обеспечивающего захват с помощью монитора объекта синхронизации, закрывает критическую секцию кода.
Другие потоки, выполняющие данную последовательность операторов, не могут продвинуться дальше оператора захвата монитором объекта синхронизации и переходят в состояние ожидания до тех пор, пока поток, захвативший с помощью монитора критическую секцию, кода не освободит её.
Таким образом, монитор гарантирует, что никакой другой поток не сможет обратиться к коду, выполняемому потоком, захватившим с помощью монитора и данного объекта синхронизации критическую секцию кода, пока она не будет освобождена, если только потоки не выполняют данную секцию кода с использованием другого объекта синхронизации.
Следующая таблица описывает действия, которые могут быть предприняты потоками при взаимодействии с монитором:
Действие
Описание
Enter, TryEnter
Закрытие секции с помощью объекта синхронизации. Это действие также обозначает начало критической секции. Никакие другие потоки не могут войти в заблокированную критическую секцию, если только они не используют другой объект синхронизации.
Exit
Освобождает блокировку критической секции кода. Также обозначает конец критической секции, связанной с данным объектом синхронизации.
Wait
Поток переходит в состояние ожидания, предоставляя тем самым другим потокам возможность выполнения других критических секций кода, связанных с данным объектом синхронизации. В состоянии ожидания поток остаётся до тех пор, пока на выходе из другой секции, связанной с данным объектом синхронизации, другой поток не выполнит на мониторе действия Pulse (PulseAll), которые означают изменение состояния объекта синхронизации и обеспечивают выход потока из состояния ожидания на входе в критическую секцию.
Pulse (signal), PulseAll
Посылает сигнал ожидающим потокам. Сигнал служит уведомлением ожидающему потоку, что состояние объекта синхронизации изменилось, и что владелец объекта готов его освободить. Находящийся в состоянии ожидания поток фактически находится в очереди для получения доступа к объекту синхронизации.
Enter и Exit иетоды используются для обозначения начала или конца критической секции. Если критическая секция представляет собой “непрерывное” множество инструкций, закрытие кода посредством метода Enter гарантирует, что только один единичный поток сможет выполнять код, закрытый объектом синхронизации.
Рекомендуется размещать эти инструкции в try block и помещать Exit instruction в finally блоке.
Все эти возможности обычно используются для синхронизации доступа к статическим и нестатическим методам класса. Нестатический метод блокируется посредством объекта синхронизации. Статический объект блокируется с использованием типа (класса, членом которого данный метод является).
/// <summary>
/// Синхронизация потоков с использованием класса монитора.
/// Синхронизация потоков с использованием класса монитора.
/// Монитор защищает очередь от параллельного вторжения со стороны
/// взаимодействующих потоков из разных фрагментов кода.
/// Однако монитор не может защитить потоки от взаимной блокировки.
/// Поток просыпается, делает свою работу, будит конкурента, засыпает сам.
/// К тому моменту, как поток будит конкурента, конкурент должен спать.
/// Активизация незаснувшего потока не имеет никаких последствий.
/// Если работающий поток разбудит не успевший заснуть поток - возникает
/// тупиковая ситуация. Оба потока оказываются погруженными в сон.
/// В этом случае имеет смысл использовать перегруженный вариант метода
/// Wait - с указанием временного интервала.
/// </summary>
using System;
using System.Threading;
using System.Collections;
namespace MonitorCS1
{
class MonitorApplication
{
const int MAX_LOOP_TIME = 100;
Queue xQueue;
public MonitorApplication()
{
xQueue = new Queue();
}
public void FirstThread()
{
int counter = 0;
while(counter < MAX_LOOP_TIME)
{
Console.WriteLine(“Thread_1___”);
counter++;
Console.WriteLine(“Thread_1...{0}”, counter);
try
{
//Push element.
xQueue.Enqueue(counter);
foreach(int ctr in xQueue)
{
Console.WriteLine(“:::Thread_1:::{0}”, ctr);
}
}
catch (Exception ex)
{
Console.WriteLine(ex.ToString());
}
//Release the waiting thread. Применяется к конкурирующему потоку.
lock(xQueue){Monitor.Pulse(xQueue);}
Console.WriteLine(“>1 Wait<”);
//Wait, if the queue is busy. Применяется к текущему потоку.
// Собственное погружение в состояние ожидания.
lock(xQueue){Monitor.Wait(xQueue,1000);}
Console.WriteLine(“!1 Work!”);
}
Console.WriteLine(“*****1 Finish*****”);
lock(xQueue) {Monitor.Pulse(xQueue);}
}
public void SecondThread()
{
int counter = 0;
while(counter < MAX_LOOP_TIME)
{
//Release the waiting thread. Применяется к конкурирующему потоку.
lock(xQueue){Monitor.Pulse(xQueue);}
Console.WriteLine(«>2 Wait<»);
// Собственное погружение в состояние ожидания.
lock(xQueue){Monitor.Wait(xQueue,1000);}
Console.WriteLine(“!2 Work!”);
Console.WriteLine(“Thread_2___”);
try
{
foreach(int ctr in xQueue)
{
Console.WriteLine(“:::Thread_2:::{0}”, ctr);
}
//Pop element.
counter = (int)xQueue.Dequeue();
}
catch (Exception ex)
{
counter = MAX_LOOP_TIME;
Console.WriteLine(ex.ToString());
}
Console.WriteLine(“Thread_2...{0}”,counter);
}
Console.WriteLine(“*****2 Finish*****”);
lock(xQueue) {Monitor.Pulse(xQueue);}
}
static void Main(string[] args)
{
// Create the MonitorApplication object.
MonitorApplication test = new MonitorApplication();
Thread tFirst = new Thread(new ThreadStart(test.FirstThread));
// Вторичные потоки созданы!
Thread tSecond = new Thread(new ThreadStart(test.SecondThread));
