namespace ara::com

La enumeración ComErrc define, según [SWS_CM_10432], los códigos de error estandarizados de ara::com::ComErrorDomain para errores recuperables (Recoverable Errors) conforme a EXP ARAComAPI §2 «Recoverable Errors». Se transporta en tipos de retorno como ara::core::Result o ara::core::Future de API síncronas y asíncronas del Communication Management con el fin de señalizar con precisión las causas funcionales de error en el contexto del cliente o del servidor.

Los enumeradores cubren casos de error específicos a lo largo del ciclo de vida del servicio y de la transmisión de datos:

• Ciclo de vida del servicio y vinculación: kServiceNotOffered indica que un servicio aún no se ha proporcionado mediante OfferService() ([SWS_CM_00101]), mientras que kServiceNotAvailable señaliza su pérdida intermedia. kInstanceIDNotResolvable se produce cuando un InstanceSpecifier no puede resolverse ([SWS_CM_00118]).
• Suscripciones a eventos y muestras: kMaxSamplesExceeded advierte de la superación de cuotas de SamplePtr comprometidas, y kMaxSampleCountNotRealizable notifica valores inadecuados durante el re-registro mediante [SWS_CM_00141].
• Campos y transmisión: kFieldValueNotInitialized advierte de una inicialización faltante antes de Update() ([SWS_CM_00119]), kFieldSetHandlerNotSet de un manejador de tipo setter ausente. Los problemas de red local, por ejemplo al enviar disparadores (triggers) mediante [SWS_CM_00721], provocan kCommunicationFailure ([SWS_CM_10517]). Además, kMinimumSendIntervalViolationError sanciona infracciones de la tasa de reloj y kUnknownApplicationError errores inesperados del servidor ([SWS_CM_10432]).

Como tipo de enumeración puro, ComErrc no posee estado propio; por tanto, las operaciones de lectura y comparación sobre valores de error deberían ser seguras concurrentemente en el subproceso llamador. Pregunta Q-013822ee5711df2b (abierta) La verificación efectiva del error corresponde a la aplicación tras evaluar el objeto de resultado respectivo.

La enumeración ara::com::MethodCallProcessingMode define los modos de procesamiento para llamadas a métodos entrantes en una instancia de servicio [SWS_CM_00301]. Se pasa como parámetro a los constructores de las clases de skeleton, estableciéndose el valor predeterminado ara::com::MethodCallProcessingMode::kEvent [SWS_CM_00130], [SWS_CM_00152], [SWS_CM_00153].

Los enumeradores controlan la concurrencia y el contexto de ejecución de los métodos de servicio [SWS_CM_00301]:

• kPoll: modo de sondeo. Las llamadas entrantes procedentes de consumidores del servicio no se ejecutan automáticamente. La implementación del servicio controla activamente su ejecución mediante la llamada a ProcessNextMethodCall() [SWS_CM_00199]. El método pendiente se procesa sincrónicamente en el contexto de esta llamada. Esto garantiza un control total sobre los cambios de hilo y contexto en el lado del servicio ARAComAPI §6.3.3 «Event Buffering Approaches».
• kEvent: modo dirigido por eventos y concurrente para el procesamiento paralelo de llamadas entrantes.
• kEventSingleThread: modo dirigido por eventos y secuencial para la ejecución individual de llamadas a métodos.

Tratamiento de errores y restricciones:

• Si se pasa un modo no permitido a un constructor de skeleton, se produce la infracción WrongMethodCallProcessingModeViolation [SWS_CM_00130], [SWS_CM_00153].
• La llamada a ProcessNextMethodCall() en un skeleton construido con kEvent conduce asimismo a una WrongMethodCallProcessingModeViolation [SWS_CM_00199] (interpretación: es de suponer que esto aplique igualmente a kEventSingleThread, ya que el método solo está previsto para kPoll). Pregunta Q-bcd9f07119db44fb (abierta)

La enumeración SubscriptionState [SWS_CM_00310] representa en el espacio de nombres ara::com sobre la base del tipo std::uint8_t el estado actual de una suscripción. Define tres estados diferenciados:

• kNotSubscribed: La suscripción está inactiva.
• kSubscriptionPending: La suscripción aún está pendiente o la conexión se está restableciendo tras una interrupción.
• kSubscribed: La suscripción está activa.

Para la consulta síncrona se utiliza el método GetSubscriptionState(), que se proporciona en eventos proxy [SWS_CM_00316], campos proxy [SWS_CM_11604] y disparadores [SWS_CM_01105], así como en disparadores skeleton [SWS_CM_01109]. Todas estas funciones de consulta están declaradas como noexcept y garantizan una total seguridad frente a excepciones.

Para reacciones asíncronas a cambios de estado, las aplicaciones pueden registrar un callback de tipo SubscriptionStateChangeHandler mediante SetSubscriptionStateChangeHandler() [SWS_CM_00311] [SWS_CM_00333]. Si se pasa un manejador no válido o vacío, se produce la infracción InvalidHandlerViolation [SWS_CM_00333]. La cancelación del registro se realiza mediante UnsetSubscriptionStateChangeHandler() [SWS_CM_00334]. A través de una sobrecarga de plantilla con ExecutorT se puede definir además el contexto de ejecución para el callback [SWS_CM_11354].

En el ciclo de vida de una instancia de proxy, SubscriptionState está estrechamente entrelazado con la actualización automática: si una instancia de servicio falla, las llamadas a métodos fallan y GetSubscriptionState() devuelve kSubscriptionPending para los eventos previamente suscritos ARAComAPI §6.1 «Auto Updating of Proxy Instance». Tan pronto como la instancia de servicio vuelve a estar accesible a través de Service Discovery, la gestión de comunicaciones actualiza la conexión de forma transparente; GetSubscriptionState() devuelve entonces automáticamente de nuevo kSubscribed AUTOSAR_AP_EXP_ARAComAPI §5.3.5.2. No es necesario volver a crear manualmente el proxy ni suscribirse de nuevo.

El alias de tipo SubscriptionStateChangeHandler en el espacio de nombres ara::com está declarado como std::function<void(SubscriptionState)> en el archivo de encabezado ara/com/types.h ([SWS_CM_00311]). Especifica la signatura de función para callbacks propios de la aplicación que se disparan en cuanto cambia el ara::com::SubscriptionState de un evento de proxy suscrito ([SWS_CM_00311], EXP_ARAComAPI §5.3 «Proxy Class API’s»). Al invocarse, el nuevo estado de suscripción se transfiere directamente como parámetro; no está previsto ningún valor de retorno ([SWS_CM_00311]).

El registro del manejador se realiza mediante el método SetSubscriptionStateChangeHandler() de la clase proxy respectiva (EXP_ARAComAPI §5.3.1 «Proxy Class API’s», EXP_ARAComAPI §5.3 «Proxy Class API’s»). Esta operación devuelve un ara::core::Result<void> (EXP_ARAComAPI §5.3 «Proxy Class API’s»), a través del cual los desarrolladores de aplicaciones pueden comprobar sincrónicamente posibles errores durante el registro. La eliminación selectiva del callback registrado se efectúa mediante la llamada a UnsetSubscriptionStateChangeHandler() conforme a [SWS_CM_00334] (EXP_ARAComAPI §1 «Introduction», EXP_ARAComAPI §5.3.1 «Proxy Class API’s»).

En lo relativo al flujo y a la concurrencia, la notificación de estado se realiza de forma asíncrona. La llamada del manejador probablemente tenga lugar en el contexto de hilo de la infraestructura de comunicación (interpretación). Pregunta Q-8dda0cd4de0070bf (abierta) Por tanto, la implementación del callback debe retornar con rapidez y estar diseñada para ser reentrante o segura para subprocesos (thread-safe). La interacción del manejador se integra estrechamente en el ciclo de vida de la suscripción al evento, en particular en combinación con Subscribe(), Unsubscribe() y GetSubscriptionState() (EXP_ARAComAPI §5.3.1 «Proxy Class API’s»).

usar

La función global GetComErrorDomain en el espacio de nombres ara::com proporciona una referencia al objeto de dominio de error ara::com::ComErrorDomain [SWS_CM_11334]. La declaración está incluida a través de la cabecera ara/com/com_error_domain.h y se realiza como una llamada síncrona y sin parámetros SWS CommunicationManagement §8.12.3.1.1 «GetComErrorDomain». Como valor de retorno, la función proporciona una referencia constante de tipo const ara::core::ErrorDomain&, la cual representa el dominio de error de comunicación en el sistema.

Tratamiento de errores y seguridad frente a excepciones

La interfaz está declarada explícitamente como noexcept y se considera segura frente a excepciones (exception safe) [SWS_CM_11334]. Dado que la llamada a la función siempre tiene éxito, no se producen errores en tiempo de ejecución. Por lo tanto, los llamadores no necesitan prever ningún tratamiento de errores para la propia llamada a la función. En la especificación no se definen códigos de error específicos, canales de retorno ni notificaciones a DET o DEM para esta consulta.

Concurrencia e interacción

Gracias a la declaración con constexpr y noexcept, la función debería ser sin estado, libre de efectos secundarios, así como plenamente reentrante y segura para subprocesos; presumiblemente también se puede ejecutar en tiempo de compilación. Pregunta Q-21aafe1fdcb5997b (abierta) El dominio de error proporcionado sirve en el sistema general como instancia de referencia para verificar códigos de error de operaciones de Communication Management en función de su pertenencia al dominio y diferenciarlos de otras fuentes de error [SWS_CM_11334].

La función auxiliar ara::com::MakeErrorCode sirve para crear una instancia de ara::core::ErrorCode ([SWS_CM_11335], SWS CommunicationManagement §8.12.3.1.2 «MakeErrorCode»). Se declara mediante el archivo de encabezado #include "ara/com/com_error_domain.h" en el espacio de nombres ara::com. Como parámetros de entrada recibe el número de error code de tipo ara::com::ComErrc, así como datos adicionales específicos del fabricante data de tipo ara::core::ErrorDomain::SupportDataType, y devuelve el objeto de error correspondiente de forma síncrona.

En cuanto a la seguridad de ejecución, la función está especificada como noexcept y catalogada expresamente como segura frente a excepciones («exception safe») ([SWS_CM_11335]). No están previstas notificaciones en tiempo de ejecución a través de DET o DEM para esta función auxiliar, ya que sirve exclusivamente para la construcción de objetos de error. Debido a su declaración como constexpr y noexcept, es de suponer que la función carezca de efectos secundarios y sea reentrante, por lo que las llamadas son admisibles también en tiempo de compilación y desde contextos concurrentes. Pregunta Q-43f118920f402d86 (abierta)

El patrón arquitectónico sigue el modelo de errores a nivel de toda la plataforma de Adaptive AUTOSAR y se proporciona de forma análoga para dominios funcionales adyacentes: Para la protección punto a punto (End-to-End) existe la función ara::com::e2e::MakeErrorCode ([SWS_CM_12511], SWS CommunicationManagement §8.15.2.1.2 «MakeErrorCode»), mientras que para funciones de seguridad está disponible apext::com::secoc::MakeErrorCode ([SWS_CM_12522], SWS CommunicationManagement §C.2.2.1.2 «MakeErrorCode»).