Qt 상태 머신 성능 극대화: 구현 방식별 벤치마크 분석

Qt로 애플리케이션 개발하며 상태 머신 사용 중이라면 Qt 상태 머신 프레임워크 사용 중일 확률 높음. 일반 C++나 SCXML로 머신 정의하거나 상태차트 다이어그램에서 C++ 코드 생성 가능. 이 글에서 기능성, 적용성, 성능 관점서 이 옵션들 평가.

소프트웨어 개발자로서 수많은 스위치-케이스 블록 작성해봤을 것. 많은 이들에게 고수준 도구 없을 때 상태 머신 구현 가장 단순한 방식. 하지만 복잡도 증가하면 유지보수 과제, 수작업 스위치-케이스 로직 더 이상 지속 불가능.

상태 머신 구현 방식들

C++ 같은 객체지향 언어에서 상태 패턴(State Pattern) 검증된 전략. 각 상태를 클래스로 모델링, 전이를 선택적 별도 클래스로. 이들 클래스 인스턴스 생성해 연결하면 상태 머신 구성. 프레임워크가 보일러플레이트 대폭 감소.

Qt 상태 머신 API로 간결한 코드로 머신 구성, 실행 의미론 프레임워크 위임. 구현 단순화되지만 상태 수십·수백 개면 소스 코드 여전히 커져 전체 설계 파악 어려움.

Qt는 W3C 상태차트 기술 표준 SCXML(State Chart XML)도 지원. XML 직접 작성 번거로워 Qt Creator 간단 그래픽 에디터 제공.

구현 기법 불문, 그래픽 모델이 상태 머신 편집·이해에 가장 효과적. 그래픽 모델은 SCXML로 텍스트 표현 가능, 또는 스위치-케이스 C++나 QStateMachine 구성 등 어떤 언어로든 소스 코드 생성 가능. 변환 도구 위임으로 수작업 코드 고통 피하고 모든 접근법 동일 사용성 수준 도달. 하지만 구현체들은 근본적으로 다름. 이 글은 런타임 동작, 특히 성능 중심.

경쟁자들: 5가지 구현 변형

CPU 사용량 어떻게 다른지 답하기 위해 벤치마크 스위트 작성. 첫 부분이 구현 전략들 비교. 경쟁자들:

1. SCXML 인터프리터 - 테스트 머신 SCXML 정의, Qt QSCXMLStateMachine 클래스로 실행.
2. 상태 패턴 - 테스트 머신 QStateMachine 클래스로 구현.
3. 일반 C++ 코드 - 테스트 머신 기본 스위치-케이스 접근 사용하는 C++ 클래스로 구현.

참고: 예제 코드 여기서 확인 가능.

첫 두 변형이 Qt 개념(시그널/슬롯, 이벤트 큐) 암시, 일반 C++ 구현은 이 인프라 불필요. 접근법 비교 가능하게 테스트 스위트에 두 시나리오 추가:

• 시그널/슬롯 포함 일반 C++ 코드 - 위 구현 동일하나 Qt 시그널/슬롯 시스템에 연결.
• QEvent 포함 일반 C++ 코드 - 일반 C++ 접근이 Qt 이벤트 큐 통해 이벤트 라우팅.

이로써 핵심 상태 전이 로직 동일 유지하면서 시그널/슬롯과 이벤트 큐 실행 시간 영향 분리 가능.

테스트 상태 머신

모든 5개 변형에 기본 테스트 시나리오용 그림 1 상태 머신 사용.

머신 6개 평탄 상태 A-F, 순환하며 2개 입력 이벤트 e1, e2에 번갈아 전이 트리거. 각 전이 액션이 변수 x에 10 더함, F→A 전이가 출력 이벤트 o 방출.

YAKINDU Statechart Tools로 머신 정의, SCXML과 일반 스위치-케이스 C++ 코드 둘 다 생성 가능. 생성 코드도 Qt 시그널/슬롯 지원. QStateMachine 변형 수동 구현, 그 외 모든 구현 동일 상태차트 정의서 유래.

각 테스트 상태 루프 100만 회 반복 실행. 루프는 상태 A 활성으로 시작·종료, 600만 입력 이벤트, 100만 출력 이벤트, 연관 전이 액션 처리. 테스트 명령줄 애플리케이션으로 실행, 전체 배치 시간 기록. 이벤트당 시간 총 시간을 처리된 이벤트 수로 나눠 산출. 반복 실행 중 최저값 사용.

벤치마크 2014년 맥북프로 2.4GHz 쿼드코어 i7, 최적화 릴리스 빌드서 수행. 정확한 수치는 하드웨어마다 달라지나 상대적 차이 일관됨.

성능 수치

일반 C++로 단일 이벤트 처리 평균 7ns, SCXML 33,850ns 소요 - 약 4,800배 차이. 시그널/슬롯 추가 시 이벤트당 ~72ns 오버헤드(~90% 오버헤드). Qt 이벤트 큐 라우팅 시 ~731ns 추가(~10배 시그널/슬롯, ~100배 일반 C++). 큐 오버헤드 제외 시 QStateMachine 프레임워크 비용 이벤트당 ~4,500ns - 일반 C++ 대비 약 635배 느림. SCXML 인터프리터가 자바스크립트 인터프리팅으로 추가 ~7배 팩터, 가장 느린 변형.

계층과 직교성 영향

동일 머신 계층적·직교적 변형도 프로파일링. 계층적 머신(그림 4)과 직교적 머신(그림 5) 동일 동작이나 구조 다름.

결과 그림 6에 표시: 계층 추가는 양 구현 모두에서 측정가능한 오버헤드 없음. 직교성도 이론적 4배 비용 훨씬 아래인 일반 C++ 약 2.4배, SCXML 약 3.1배 증가에 그침.

결론

일반 C++가 최고 성능. 시그널/슬롯과 Qt 이벤트 큐가 속도 대신 편의성과 유지보수성 교환, QStateMachine 프레임워크가 3대 핵심 변형 중 가장 느림. SCXML은 인터랙티브 애플리케이션엔 충분히 빠르고 런타임 재구성 이점 제공. 최대 속도 중요할 땐 수작업 스위치-케이스 코드 권장.