9.2.1.2 가상 함수 테이블(V-Table) 오버헤드 배제 및 소유권 지향형 구조체 아키텍처

객체 지향 프로그래밍(OOP)을 신봉하는 C++ 환경에서는 다양한 통신 프로토콜 핸들러나 콜백을 추상화하기 위해 인터페이스를 생성하고 다형성(Polymorphism)을 활용한다. 이때 수반되는 대가가 바로 가상 함수 테이블(Virtual Method Table, V-Table)이다. 런타임에 메서드의 실제 컴파일러 주소를 찾기 위해 메모리 간접 참조를 지속적으로 수행하게 만드는 이 아키텍처는, 극단적 스루풋 제어가 필요한 L2/L3 계층 데이터버스의 핵심에 돌이킬 수 없는 오버헤드를 새긴다.

초저지연(Ultra-low Latency) 영역을 위한 네이티브 라이브러리인 zenoh-c는 OOP 패러다임을 맹렬히 배척하고, V-Table 포인터 참조 오버헤드를 O(0)에 수렴시키는 매크로(Macro) 기반의 소유권 지향형 구조체 아키텍처(Ownership-oriented Struct Architecture)를 구현했다.

1. V-Table 룩업(Lookup) 지연의 연쇄 폭발 현상 회피

만약 PublisherBase라는 C++ 인터페이스를 상속받은 수백 개의 센서 노드가 있고, 초당 백만 개의 트래픽이 send()라는 가상 함수를 통해 발포된다고 가정하자.
CPU는 해당 포인터에 진입할 때마다:

객체의 숨겨진 V-Table 포인터를 로드한다.
배열 오프셋에서 send() 함수의 진짜 진입점 주소를 읽어낸다.
명령어 레지스터를 해당 주소로 점프시킨다.

명령어 캐시(Instruction Cache)가 끊임없이 무효화되고, 마이크로초 단위의 파이프라인 예측 실패율(Branch Prediction Penalty)이 수백만 번 겹치면서 CPU는 그야말로 비명을 지르게 된다. zenoh-c는 이를 해결하기 위해 순수 C 언어의 구조체(Struct)와 함수 포인터(Function Pointer) 체계를 엄격하게 고정시켜, 가상함수를 사용하는 다형성을 구조적으로 멸종시켰다.

2. 매크로 래핑(Macro Wrapping)을 통한 구조체 정적 할당망

어떠한 간접 참조(Indirection)도 가미되지 않도록, zenoh-c는 API 노출 면을 정적 함수 시그니처 형태로 단단하게 묶었다. 예를 들어, 어떠한 설정(Config)을 조절하든 간에 z_info_xxx라는 매크로 및 직접 호출 형태로 고정된다.

데이터를 수신할 때 구동되는 핸들러 역시, 개발자가 등록한 순수 C 콜백 함수 포인터가 Zenoh의 Rust 엔진 깊숙한 링 버퍼에 “직접(Directly)” 박힌다.

// 어떠한 클래스 파생이나 상속도 가미되지 않은 순수한 Raw State 콜백 정의
void my_raw_callback(const z_sample_t *sample, void *context) {
    // V-Table 룩업이나 포인터 산술 오버헤드 없이, 
    // 즉각적으로 매핑된 메모리를 향후 레지스터로 직행
    printf("수신 데이터 길이: %lu\n", (unsigned long)sample->payload.len);
}

// 등록 또한 다형성을 거치지 않는 정적 인터페이스 호출
z_owned_subscriber_t sub;
z_declare_subscriber(&sub, session, keyexpr, z_closure(my_raw_callback, NULL, NULL), NULL);

이 덕분에 Rust 네트워크 엔진이 이더넷 케이블로부터 프레임을 수거해 콜백으로 던지는(Dispatch) 과정에는 단 하나의 jmp 어셈블리 명령만이 파생될 뿐, 추가적인 메모리 룩업(Lookup) 시간이 존재할 구멍 자체가 없다.

3. 구조체 소유권(Ownership)과 캐시 라인(Cache Line) 정렬

OOP 패러다임이 메모리를 힙(Heap) 사방에 흩뿌려 파편화시키는 반면, zenoh-c의 소유권 지향형 아키텍처는 데이터 공간을 촘촘한(Packed) 바이트 레이아웃으로 통치한다.
특정 페이로드의 정보(Timestamp, ID, Raw Bytes)들은 계층적으로 흩어지지 않고 단일 z_sample_t 십자가 아래에서 최대한 CPU 캐시 라인(Cache Line, 64 Bytes) 내부에 수납될 수 있도록 정렬(Alignment)된다.

이러한 물리적 강박증 덕택에, 콜백 함수 내에서 메모리에 접근할 때 CPU의 L1 데이터 캐시 적중률(Hit Ratio)이 비정상적으로 치솟는다. 이것은 소프트웨어 차원의 개발 생산성(OOP)을 과감히 포기한 대신, 전산 코어의 물리적 한계 한 자릿수 나노초(ns)까지 타협 없이 쥐어짜 내는 극한 튜닝의 철학적 결정체라 할 수 있다.