класс ara::diag::ReleaseHandler

Класс ara::diag::ReleaseHandler управляет общим состоянием для определения того, отменена ли текущая диагностическая обработка и может ли быть освобожден разделяемый ресурс [SWS_DM_01340]. Приложения могут зарегистрировать функцию уведомления через SetNotifier, а также синхронно опрашивать с помощью MayRelease, не используется ли больше ресурс [SWS_DM_01536]. Поскольку стандартное конструирование и операции копирования запрещены, экземпляр передается через семантику перемещения, при этом модификации и уничтожение не являются потокобезопасными.

больше ›

Контекст

Класс ara::diag::ReleaseHandler инкапсулирует в диагностическом модуле AUTOSAR Adaptive разделяемое состояние (shared state), показывающее, должна ли быть отменена текущая обработка или освобожден совместно используемый ресурс [SWS_DM_01340], AUTOSAR_AP_SWS_Diagnostics §8.23 «Header: ara/diag/release_handler.h». В архитектуре диагностики он служит интерфейсом синхронизации и оповещения между средой выполнения диагностики AUTOSAR и специфичными для приложения диагностическими обработчиками. В частности, это касается более длительных или ресурсоемких процессов обработки, возникающих, например, в контексте сеансов передачи файлов и данных AUTOSAR_AP_SWS_Diagnostics §7.x «DataTransfer».

Через ReleaseHandler приложение получает возможность получать уведомления о завершении или отмене циклов обработки без необходимости прибегать к блокирующим механизмам. Тем самым класс берет на себя роль развязывающего звена между внутренней последовательностью диагностического сервера и базовыми процедурами обработки приложения.

Жизненный цикл

Жизненный цикл экземпляра ReleaseHandler подчиняется строгим семантическим правилам. Класс явно запрещает создание экземпляра без параметров через конструктор по умолчанию [SWS_DM_01530], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.1 «Default Constructor». Поскольку никакой другой открытый конструктор не специфицирован, фактическое создание объекта, вероятно, выполняется внутри диагностическим сервером перед тем, как экземпляр будет передан соответствующему обработчику служб. Вопрос Q-05a2e8b6b7deca40 (открытый) Кроме того, ReleaseHandler спроектирован как исключительно перемещаемый класс: как конструктор копирования [SWS_DM_01534], так и оператор присваивания для копий [SWS_DM_01535] удалены.

Владение экземпляром может передаваться исключительно через операции перемещения. Конструктор перемещения определен как исключающий генерацию исключений (noexcept) и явно потокобезопасный [SWS_DM_01532], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.2 «Move Constructor». Напротив, оператор перемещающего присваивания operator= хоть также является исключающим генерацию исключений, однако не является потокобезопасным [SWS_DM_01533]. Уничтожение осуществляется через деструктор ~ReleaseHandler() [SWS_DM_01531], AUTOSAR_AP_SWS_Diagnostics §8.23.1.2.1.4 «Destructor», который является исключающим генерацию исключений (noexcept), но не должен вызываться конкурентно.

Путь использования

Типичный путь использования включает регистрацию функции оповещения, а также синхронную или асинхронную проверку статуса освобождения. Приложение регистрирует обратный вызов через метод SetNotifier [SWS_DM_01537]. В качестве параметра передается вызываемый объект (callable) типа ReleaseHandlerSetNotifier, специфицированный как псевдоним типа для std::function<void(void)> [SWS_DM_02079], AUTOSAR_AP_SWS_Diagnostics §8.23.1.1.1 «Type Alias: ReleaseHandlerSetNotifier». Повторный вызов SetNotifier при этом полностью перезаписывает ранее зарегистрированную функцию [SWS_DM_01537].

Как только разделяемый ресурс может быть освобожден или поступает отмена, зарегистрированный оповещатель срабатывает. Предположительно, этот вызов происходит асинхронно в контексте потока диагностического сервера. Вопрос Q-d948326514d200a1 (открытый) Параллельно или в рамках регулярного цикла управления приложение может проверить через MayRelease(), не используется ли разделяемый ресурс [SWS_DM_01536]. Метод возвращает true, если ресурс разрешено освободить, и false в противном случае [SWS_DM_01536].

Диаграмма последовательности: процесс регистрации оповещения и освобождения разделяемых ресурсов. Источники: [SWS_DM_01536], [SWS_DM_01537], [SWS_DM_02079].

Сценарии ошибок

Все методы ReleaseHandler аннотированы как noexcept и специфицированы как исключающие возникновение исключений; следовательно, исключения не генерируются и коды ошибок не возвращаются ([SWS_DM_01531], [SWS_DM_01532], [SWS_DM_01533], [SWS_DM_01536], [SWS_DM_01537]). Поэтому сценарии ошибок возникают преимущественно из-за нарушений предусловий или недостаточной синхронизации.

Ключевым предусловием при вызове SetNotifier является то, что переданный объект должен содержать вызываемую цель (callable) и ее выполнение не должно генерировать исключений [SWS_DM_01537]. Пустой или недействительный функциональный объект представляет собой нарушение предусловия. В отношении параллелизма следует учитывать, что SetNotifier, оператор перемещающего присваивания и деструктор задокументированы как непотокобезопасные ([SWS_DM_01531], [SWS_DM_01533], [SWS_DM_01537]). Только MayRelease(), а также конструктор перемещения явно потокобезопасны ([SWS_DM_01532], [SWS_DM_01536]). Если регистрации оповещателя или присваивания выполняются конкурентно без внешней синхронизации, это приводит к неопределенному поведению.