clase ara::exec::ExecException

La clase ara::exec::ExecException sirve como clase de excepción final del Execution Management para la encapsulación y señalización de errores específicos del módulo a través del mecanismo de excepciones de C++. En caso de error, las instancias se crean y lanzan a través del constructor seguro para hilos indicando un ara::core::ErrorCode, tras lo cual los puntos llamantes las capturan y analizan [SWS_EM_02283]. Como condición límite fundamental, la construcción está especificada como noexcept, lo que garantiza que la creación del objeto sea segura frente a excepciones [SWS_EM_02283]. Las excepciones no tratadas deben evitarse, ya que conducen a la terminación del sistema.

más ›

Contexto

La clase ara::exec::ExecException representa la clase de excepción central del módulo Execution Management (exec) dentro de la AUTOSAR Adaptive Platform. Según su especificación, sirve como encapsulación para las excepciones desencadenadas por el Execution Management. La declaración de clase la define como final con derivación pública de la clase de excepción base estándar ara::core::Exception, integrándose así sin fisuras en el concepto unificado de tratamiento de excepciones y errores de la Adaptive Platform. Mediante el identificador final queda excluida una posterior especialización o subclasificación.

La clase de excepción se declara en la cabecera #include "ara/exec/exec_error_domain.h" [SWS_EM_02283]. La responsabilidad funcional primaria de ara::exec::ExecException radica en el transporte de estados de error específicos del módulo a través del mecanismo de excepciones de C++. Interpretación: Es previsible que el lanzamiento de esta excepción tenga lugar sobre todo en entornos de ejecución en los que los estados de error del Execution Management no se propaguen puramente a través de tipos de error basados en valores, sino que se requiera una interrupción síncrona del flujo de control a través de excepciones de C++. Pregunta Q-8faec8c282524965 (abierta)

Ciclo de vida

El ciclo de vida de una instancia de ara::exec::ExecException comienza con la construcción explícita mediante la transferencia de un código de error. El constructor explicit ExecException(ara::core::ErrorCode errorCode) noexcept crea un nuevo objeto de excepción que encapsula el código de error transferido [SWS_EM_02283]. La designación como noexcept garantiza que la creación del objeto esté exenta de fallos incluso en el contexto de un tratamiento de errores ya existente y que no desencadene errores consecutivos en cascada [SWS_EM_02283].

En lo referente a la seguridad de ejecución, la construcción está clasificada explícitamente como segura frente a excepciones («exception safe») y segura para hilos («thread-safe») [SWS_EM_02283]. Esto permite la creación fiable de instancias de excepción en diferentes hilos sin necesidad de mecanismos de sincronización adicionales. Tras el desencadenamiento mediante throw, el objeto pasa a la gestión del sistema de tiempo de ejecución de C++. Interpretación: La destrucción del objeto de excepción se produce automáticamente tras salir del bloque catch de tratamiento en el curso del desenrollado de pila regular, por lo que no es necesaria una gestión explícita del ciclo de vida por parte del llamante. Pregunta Q-ec22ad5f177555aa (abierta)

Ruta de uso

Una ruta de uso típica de ara::exec::ExecException comprende la instanciación en caso de error dentro del Execution Management, así como la captura controlada en el contexto de la aplicación llamante:

• Identificación del error e instanciación: Si se produce una condición de excepción en el Execution Management, la causa se mapea en un ara::core::ErrorCode del dominio de error asociado y se utiliza para la inicialización explícita de un ara::exec::ExecException [SWS_EM_02283].
• Señalización: la instancia de excepción inicializada se lanza, con lo que se interrumpe la ruta de ejecución regular y se inicia el desenrollado de la pila.
• Captura: los componentes invocadores capturan el objeto de excepción de forma específica como const ara::exec::ExecException& o de manera más general mediante la clase base polimórfica const ara::core::Exception&.
• Evaluación: Interpretación: dado que el objeto se construyó con un ara::core::ErrorCode [SWS_EM_02283] y hereda de ara::core::Exception, es probable que el receptor extraiga el código de error contenido mediante interfaces de la clase base para llevar a cabo medidas de recuperación o de registro específicas del módulo. Pregunta Q-d4671c34f5aab6f9 (abierta)

Escenarios de error

Como clase de excepción especializada, ara::exec::ExecException está diseñada para representar situaciones de error existentes sin inducir nuevos errores durante su propio uso. Para su creación, el constructor requiere que se pase un ara::core::ErrorCode [SWS_EM_02283]. Dado que el constructor está declarado como noexcept, se descartan errores de precondición durante la instanciación que pudieran obstaculizar la creación del objeto de excepción [SWS_EM_02283].

Un escenario de fallo esencial a nivel de sistema reside en la captura incompleta de las excepciones lanzadas. Si una excepción desencadenada por ara::exec::ExecException permanece sin gestionar a lo largo de la jerarquía de llamadas, interviene el tratamiento estándar en tiempo de ejecución de C++, lo que típicamente desemboca en la llamada a std::terminate y, por ende, en la terminación prematura del proceso. Por tanto, los componentes de software que interactúan deben asegurarse de que las llamadas a funciones de Execution Management potencialmente capaces de lanzar excepciones estén protegidas mediante bloques try-catch adecuados.