Основные сведения об изменении состояния

В данном разделе рассматриваются состояния и переходы каналов, а также типы, используемые для структуризации каналов, и способы их реализации.

Конечные автоматы и каналы

Объекты, задействованные для связи, например сокеты, обычно представляют собой конечный автомат, переходы состояния которого связаны с выделением сетевых ресурсов, установлением и принятием соединений, а также закрытием соединений и завершением сеансов связи. Конечный автомат каналов обеспечивает единую модель состояний коммуникационного объекта, в которой приводится краткое описание базовой реализации данного объекта. Интерфейс ICommunicationObject обеспечивает набор состояний, а также методы и события перехода состояний. Все каналы, а также их фабрики и прослушиватели реализуют конечный автомат каналов.

События Closed, Closing, Faulted, Opened и Opening уведомляют внешнего наблюдателя после перехода состояния.

Методы Abort, Close и Open (а также их асинхронные эквиваленты) вызывают переходы состояния.

Свойство состояния возвращает текущее состояние, определенное классом CommunicationState.

ICommunicationObject, CommunicationObject, а также состояния и переход состояния

Объект ICommunicationObject запускается в состоянии Created, где можно настроить его различные свойства. В состоянии Opened объект используется для отправки и получения сообщений, но его свойства считаются неизменяемыми. В состоянии Closing объект больше не может обрабатывать новые запросы отправки и получения, но существующие запросы могут быть завершены, пока не истечет время ожидания закрытия. В случае неустранимой ошибки объект переходит в состояние Faulted, где можно проверить сведения об ошибке и в конечном счете закрыть объект. В состоянии Closed объект по сути завершает конечный автомат. После того как объект переходит из одного состояния в другое, он не возвращается в предыдущее состояние.

На следующей схеме показаны состояния и переходы состояния объекта ICommunicationObject. Переходы состояния можно вызвать одним из трех методов: Abort, Open или Close. Их также можно вызвать другими методами, которые зависят от реализации. Переход в состояние Faulted может произойти в результате ошибки во время или после открытия коммуникационного объекта.

Каждый объект ICommunicationObject запускается в состоянии Created. В этом состоянии приложение может настраивать объект с помощью изменения его свойств. После того как объект находится в состоянии, отличном от Created, он считается неизменяемым.

Windows Communication Foundation (WCF) предоставляет абстрактный базовый класс с именем CommunicationObject, реализующий объект ICommunicationObject и конечный автомат каналов. Ниже приведена схема изменившегося состояния, относящаяся к CommunicationObject. Кроме конечного автомата ICommunicationObject, на схеме также показано время, когда вызываются дополнительные методы CommunicationObject.

События ICommunicationObject

Класс CommunicationObject предоставляет пять событий, определяемых ICommunicationObject. Эти события предназначены, чтобы уведомить код, использующий коммуникационный объект, о переходах состояния. Как показано выше на рисунке 2, каждое событие выполняется после того как состояние объекта переходит в состояние с именем этого события. Все пять событий относятся к типу EventHandler, который определяется следующим образом.

public delegate void EventHandler(object sender, EventArgs e);

В реализации CommunicationObject отправитель либо сам является объектом CommunicationObject либо тем, что было передано в качестве отправителя конструктору CommunicationObject (если используется эта перегрузка конструктора). Значение параметра EventArgs (e) всегда равно EventArgs.Empty.

Обратные вызовы производного объекта

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

Для методов System.ServiceModel.Channels.CommunicationObject.Open и System.ServiceModel.Channels.CommunicationObject.Close имеется три обратных вызова, связанных с каждым из них. Например, методу System.ServiceModel.Channels.CommunicationObject.Open соответствуют методы System.ServiceModel.Channels.CommunicationObject.OnOpening, System.ServiceModel.Channels.CommunicationObject.OnOpen(System.TimeSpan) и System.ServiceModel.Channels.CommunicationObject.OnOpened. С методом System.ServiceModel.Channels.CommunicationObject.Close связаны методы System.ServiceModel.Channels.CommunicationObject.OnClose(System.TimeSpan), System.ServiceModel.Channels.CommunicationObject.OnClosing и System.ServiceModel.Channels.CommunicationObject.OnClosed.

Аналогичным образом, методу System.ServiceModel.Channels.CommunicationObject.Abort соответствует метод System.ServiceModel.Channels.CommunicationObject.OnAbort.

Реализация по умолчанию отсутствует в методах System.ServiceModel.Channels.CommunicationObject.OnOpen(System.TimeSpan), System.ServiceModel.Channels.CommunicationObject.OnClose(System.TimeSpan) и System.ServiceModel.Channels.CommunicationObject.OnAbort, но она используется в других обратных вызовах, где реализация по умолчанию необходима для правильности конечного автомата. Если эти методы переопределены, необходимо вызвать базовую реализацию или правильно заменить ее.

Методы System.ServiceModel.Channels.CommunicationObject.OnOpening, System.ServiceModel.Channels.CommunicationObject.OnClosing и System.ServiceModel.Channels.CommunicationObject.OnFaulted инициируют соответствующие события System.ServiceModel.Channels.CommunicationObject.Opening, System.ServiceModel.Channels.CommunicationObject.Closing и System.ServiceModel.Channels.CommunicationObject.Faulted. Методы System.ServiceModel.Channels.CommunicationObject.OnOpened и System.ServiceModel.Channels.CommunicationObject.OnClosed устанавливают для объекта состояние Opened и Closed соответственно, а затем инициируют соответствующие события System.ServiceModel.Channels.CommunicationObject.Opened и System.ServiceModel.Channels.CommunicationObject.Closed.

Методы перехода состояния

Класс CommunicationObject обеспечивает реализацию методов Abort, Close и Open. Он также предоставляет метод Fault, вызывающий переход в состояние Faulted. На рисунке 2 показан конечный автомат ICommunicationObject, где каждый переход помечен методом, который его вызвал (непомеченные переходы выполняются внутри реализации метода, вызвавшего последний помеченный переход).

Примечание
Все реализации CommunicationObject для получения или задания состояния связи синхронизированы с потоком.

Конструктор

Класс CommunicationObject предоставляет три конструктора, которые оставляют объект в состоянии Created. Конструкторы определяются следующим образом.

Первый конструктор — это конструктор по умолчанию, который делегирует перегрузке конструктора, приминающей объект:

protected CommunicationObject() : this(new object()) { … }

Конструктор, принимающий объект, использует этот параметр в качестве объекта, который будет заблокирован при синхронизации доступа к состоянию коммуникационного объекта:

protected CommunicationObject(object mutex) { … }

Наконец, третий конструктор принимает дополнительный параметр, используемый в качестве аргумента отправителя при запуске событий ICommunicationObject.

protected CommunicationObject(object mutex, object eventSender) { … }

Предыдущие два конструктора задают для отправителя следующие параметры.

Метод Open

Предусловие: состояние Created.

Постусловие: состояние Opened или Faulted. Может создаваться исключение.

Метод Open() попытается открыть коммуникационный объект и установить состояние Opened. При возникновении ошибки метод установит состояние Faulted.

Метод сначала проверяет, что текущим состоянием является Created. Если текущим состоянием является Opening или Opened, метод создает исключение InvalidOperationException. Если текущим состоянием является Closing или Closed, метод создает исключение CommunicationObjectAbortedException, если объект был завершен, в противном случае — ObjectDisposedException. Если текущим состоянием является Faulted, метод создает исключение CommunicationObjectFaultedException.

Затем устанавливается состояние Opening и вызывается метод OnOpening() (создающий событие Opening), OnOpen() и OnOpened() в указанном порядке. Метод OnOpened() устанавливает состояние Opened и вызывает событие Opened. Если любое из этих событий создает исключение, метод Open() вызывает Fault() и выдает исключение. Следующая схема содержит подробные сведения о процессе Open.

Метод Close

Предусловие: нет.

Постусловие: состояние Closed. Может создаваться исключение.

Метод Close() можно вызвать в любом состоянии. Метод пытается закрыть объект в обычном режиме. Если происходит ошибка, метод завершает выполнение объекта. Метод не выполняет никаких действий, если текущим состоянием является Closing или Closed. В противном случае он устанавливает состояние Closing. Если исходным состоянием является Created, Opening или Faulted, метод вызывает Abort() (см. следующую схему). Если исходным состоянием является Opened, вызывается метод OnClosing() (создающий событие Closing), OnClose() и OnClosed() в указанном порядке. Если любое из этих событий создает исключение, метод Close() вызывает Abort() и выдает исключение. Метод OnClosed() устанавливает состояние Closed и вызывает событие Closed. Следующая схема содержит подробные сведения о процессе Close.

Метод Abort

Предусловие: нет.
Постусловие: состояние Closed. Может создаваться исключение.

Метод Abort() не выполняет никаких действий, если текущим состоянием является Closed или объект был завершен ранее (например, с помощью выполнения метода Abort() в другом потоке). В противном случае устанавливается состояние Closing и вызывается метод OnClosing() (создающий событие Closing), OnAbort() и OnClosed() в указанном порядке (метод OnClose не вызывается, поскольку объект завершается, а не закрывается). Метод OnClosed() устанавливает состояние Closed и вызывает событие Closed. Если какое-либо из этих событий создает исключение, оно повторно выдается объекту, вызвавшему метод Abort. Реализации методов OnClosing(), OnClosed() и OnAbort() не должны выполнять блокировку (например, ввода-вывода). Следующая схема содержит подробные сведения о процессе Abort.

Метод Fault

Метод Fault относится конкретно к классу CommunicationObject и не является частью интерфейса ICommunicationObject. Указан для полноты представления информации.

Предусловие: нет.

Постусловие: состояние Faulted. Может создаваться исключение.

Метод Fault() не выполняет никаких действий, если текущим состоянием является Faulted или Closed. В противном случае устанавливается состояние Faulted и вызывается метод OnFaulted(), который создает событие Faulted. Если метод OnFaulted вызывает исключение, оно вызывается повторно.

Методы ThrowIfXxx

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

ThrowIfDisposed вызывает исключение в состоянии Closing, Closed или Faulted.

ThrowIfDisposedOrImmutable вызывает исключение, если состояние отлично от Created.

ThrowIfDisposedOrNotOpen вызывает исключение, если состояние отлично от Opened.

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

Состояние	Вызван метод Abort?	Исключение
Created	Неприменимо	System.InvalidOperationException
Opening	Неприменимо	System.InvalidOperationException
Opened	Неприменимо	System.InvalidOperationException
Closing	Да	System.ServiceModel.CommunicationObjectAbortedException
Closing	Нет	System.ObjectDisposedException
Closed	Да	Исключение System.ServiceModel.CommunicationObjectAbortedException, если объект был закрыт предыдущим и явным вызовом метода Abort. При вызове метода Close для объекта выдается исключение System.ObjectDisposedException.
Closed	Нет	System.ObjectDisposedException
Faulted	Неприменимо	System.ServiceModel.CommunicationObjectFaultedException

Время ожидания

Некоторые из рассмотренных методов используют параметры времени ожидания. Это методы Close, Open (некоторые перегрузки и асинхронные версии), OnClose и OnOpen. Эти методы позволяют использовать длительные операции (например, блокирование при вводе-выводе во время мягкого закрытия соединения), поэтому параметр времени ожидания указывает, как долго могут продолжаться такие операции до прерывания. В реализациях любых методов необходимо использовать предоставленное значение времени ожидания, чтобы оно возвращалось к вызывающей стороне в течение этого времени ожидания. Реализации других методов, которые не используют время ожидания, не предназначены для длительных операций и не должны блокироваться при вводе-выводе.

Исключениями являются перегрузки Open() и Close(), которые не используют параметр времени ожидания. Они используют значение времени ожидания по умолчанию, предоставленное производным классом. Класс CommunicationObject предоставляет два абстрактных свойства с именем DefaultCloseTimeout и DefaultOpenTimeout, которые определяются следующим образом.

protected abstract TimeSpan DefaultCloseTimeout { get; }

protected abstract TimeSpan DefaultOpenTimeout { get; }

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

public void Open()

{

this.Open(this.DefaultOpenTimeout);

}

IDefaultCommunicationTimeouts

В этом интерфейсе имеется четыре свойства только для чтения, которые предоставляют значения времени по умолчанию для открытия, отправки, получения и закрытия. Каждая реализация отвечает за получение значений по умолчанию соответствующим образом. Для удобства в классах ChannelFactoryBase и ChannelListenerBase по умолчанию используется значение 1 минута.