클래스 ara::exec::FunctionGroup

이 클래스는 AUTOSAR 메타모델에 정의된 함수 그룹의 구현별 런타임 표현 역할을 합니다. 이 클래스의 인스턴스화는 함수 그룹 포트 [SWS_EM_02586]의 인스턴스 지정자를 통해서만 이루어지며, 객체는 전체 수명 동안 해당 경로에 단단히 바인딩된 상태를 유지합니다. 리소스 할당 문제를 방지하기 위해 이 클래스는 복사할 수 없지만 예외 안전 이동 시맨틱을 지원합니다 [SWS_EM_02328]. 비교 연산자를 통해 두 인스턴스가 동일한 메타모델 요소를 매핑하는지 확인할 수 있습니다.

자세히 ›

컨텍스트

클래스 ara::exec::FunctionGroup은(는) Adaptive Platform 모듈 exec(Execution Management)에서 AUTOSAR 메타모델(ARXML)에 정의된 함수 그룹의 표현 역할을 합니다. 이 클래스의 인스턴스는 메타모델에 저장된 정보의 구현별 추상화를 제공합니다. 사양에 따르면 객체의 내부 값은 ARXML 경로를 기반으로 생성된 후 전체 수명 동안 이 메타모델 요소에 단단히 바인딩된 상태로 유지됩니다.

주요 상호작용 대상으로는 이를 사용하는 소프트웨어 컴포넌트(State Client), 인스턴스 지정자(ara::core::InstanceSpecifier) 및 기반 메타모델이 등장합니다. 시스템 구성과의 연계는 StateClientInterface의 RPortPrototype를 참조하는 InstanceSpecifier을 통해 명시적으로 이루어집니다[SWS_EM_02586]. 따라서 이 클래스를 통해 프로세스와 제어 인스턴스는 구조화되지 않은 경로나 모델 설명을 직접 다룰 필요 없이, 함수 그룹을 타입 안전하게 참조하고 동일성을 검사할 수 있습니다.

컨텍스트 다이어그램: 포트 명세와 메타모델 사이에서 ara::exec::FunctionGroup 클래스의 통합. 출처: [SWS_EM_02586].

수명 주기

ara::exec::FunctionGroup 객체의 생성 및 관리는 리소스 관리와 메모리 무결성에 관한 엄격한 규칙을 따릅니다. 매개변수가 없는 기본 생성자는 명시적으로 삭제되었습니다(= delete)[SWS_EM_02321]. 대신 인스턴스는 ara::core::InstanceSpecifier에 대한 상수 참조를 전달하는 정규 생성자를 통해 반드시 인스턴스화됩니다[SWS_EM_02586]. 이 생성자는 예외 안전(noexcept)이자 스레드 안전(thread-safe)으로 선언되어 있습니다.

소유권 및 복사 프로세스 측면에서 이 클래스는 이동 전용(Move-Only) 데이터 타입으로 설계되었습니다. 복사 생성자 [SWS_EM_02322]와 복사 할당 연산자 [SWS_EM_02327]는 모두 삭제되어, 복사 과정 중 내부 리소스 할당 시 발생할 수 있는 잠재적 충돌과 런타임 문제를 처음부터 배제합니다. 인스턴스의 전달 또는 재구성은 이동 연산을 통해서만 가능합니다. 즉, 이동 생성자 [SWS_EM_02328]와 이동 할당 연산자 [SWS_EM_02329]를 통해 신규 또는 기존 객체로 소유권을 효율적으로 이전할 수 있습니다. 해석: 이동 작업 시 소스 인스턴스는 유효하지만 지정되지 않은 상태로 전환되는 반면, 대상 객체는 메타모델 요소에 대한 바인딩을 원활하게 인계받을 것으로 추정됩니다. 질문 Q-99b40860db69ffe6 (열림)

소멸은 소멸자 [SWS_EM_02266]를 통해 결정론적으로 수행되며, 이 역시 예외 안전(noexcept)으로 정의되어 있습니다. InstanceSpecifier를 통한 생성[SWS_EM_02586]은 스레드 안전하지만, 이동 연산 [SWS_EM_02328], [SWS_EM_02329] 및 소멸자 [SWS_EM_02266]는 스레드 안전하지 않은 것(not thread-safe)으로 명시되어 있습니다. 따라서 여러 실행 스레드가 동일한 인스턴스에 동시 접근하는 경우, 애플리케이션 차원의 동기화가 필요합니다.

사용 경로

ara::exec::FunctionGroup의 일반적인 사용은 통상적으로 다음과 같은 작업 순서로 구성됩니다:

1. 포트 식별자 제공: 애플리케이션은 ara::core::InstanceSpecifier 형태의 모델 경로를 기반으로 원하는 상태 인터페이스 포트를 식별합니다.
2. 인스턴스화: 매개변수화된 생성자를 통해 FunctionGroup 인스턴스가 생성되고 대상 포트의 메타모델 요소에 확정적으로 바인딩됩니다[SWS_EM_02586].
3. 동일성 검사 및 비교: 상태 질의 또는 유효성 검증의 일환으로 관계 연산자 operator== [SWS_EM_02267] 또는 operator!= [SWS_EM_02268]를 통해 두 인스턴스를 비교할 수 있습니다. 두 인스턴스가 ARXML 메타모델에서 정확히 동일한 요소를 나타내는 경우에만 비교 결과로 true(동등 연산자의 경우)가 반환됩니다. 두 연산자는 모두 스레드 안전하며 예외 안전합니다.
4. 이전 또는 정리: 객체를 컨테이너 구조로 전송하거나 모듈 간에 전달해야 하는 경우, 이동 시맨틱 [SWS_EM_02328], [SWS_EM_02329]을 통해 수행됩니다. 객체가 유효 범위를 벗어나면 소멸자 [SWS_EM_02266]가 할당된 모든 바인딩을 해제합니다.

오류 시나리오

오류 시나리오와 관련하여 인터페이스는 엄격한 오류 방지 설계를 특징으로 합니다:

• 허용되지 않는 복사 작업: 복사 생성자 [SWS_EM_02322] 또는 복사 할당 연산자 [SWS_EM_02327]를 통해 인스턴스를 복제하려는 시도는 즉시 컴파일 타임 오류(Compile-Time-Error)를 발생시킵니다.
• 인스턴스 식별자 누락: 매개변수가 없는 생성자가 삭제되어 있으므로 메타모델 참조가 없는 불완전한 초기화는 차단됩니다[SWS_EM_02321].
• 예외 안전성(Exception Safety): 클래스에 선언된 모든 메서드(구체적으로 인스턴스 지정자를 통한 생성 [SWS_EM_02586], 이동 연산 [SWS_EM_02328], [SWS_EM_02329], 비교 연산자 [SWS_EM_02267], [SWS_EM_02268], 소멸자 [SWS_EM_02266])는 noexcept로 선언되어 있으며 C++ 예외를 던지지 않습니다.
• 유효하지 않은 동시성: 이동 연산 및 소멸자는 스레드 안전하지 않으므로, 조정되지 않은 병렬 접근은 정의되지 않은 동작(경쟁 상태)을 초래하며 호출자 수준에서 동기화 메커니즘을 통해 이를 방지해야 합니다.