다중언어 소프트웨어 설계의 라코시안 원칙

초록

본 논문은 C++ 대규모 설계 방법론인 라코시안(Lakos) 접근법을 다중언어 시스템에 적용하기 위한 시도를 제시한다. 특히 pybind11을 이용한 Python‑C++ 연동을 사례로 삼아, 물리적 모듈 경계와 의존성 관리 규칙을 확장한다. 50개의 공개 GitHub 레포지토리를 분석해 제안 규칙의 적용 가능성을 검증하고, 향후 모든 FFI 기반 다중언어 프로젝트에 일반화할 방안을 논의한다.

상세 분석

이 연구는 라코시안 설계 원칙이 물리적 구조, 즉 파일·디렉터리·빌드 단위까지 포괄하는 드문 접근법임을 강조한다. 기존 라코시안 규칙은 C++ 코드베이스 내에서 헤더·소스 파일의 의존성 최소화, 사이클 방지, 모듈 경계 명확화를 목표로 한다. 그러나 다중언어 환경에서는 FFI가 외부 언어와의 경계 역할을 수행하면서, 해당 경계가 코드베이스 내부에 명시적으로 드러나지 않아 정적 분석이 어려워진다. 저자는 pybind11을 구체적 사례로 선택함으로써, C++와 Python 사이의 바인딩 코드를 “프록시 모듈”로 간주하고, 이 모듈이 라코시안 규칙에 따라 독립적인 물리적 단위로 존재해야 함을 주장한다. 제안된 확장 규칙은 첫째, pybind11 바인딩 파일은 전용 디렉터리(예: bindings/)에 배치하고, 해당 디렉터리는 다른 C++ 모듈과 명시적 의존성 관계를 갖도록 한다. 둘째, 바인딩 파일은 최소한의 헤더 포함만 허용하며, Python‑side 인터페이스 정의는 별도 .pyi 파일이나 문서화된 스키마로 관리한다. 셋째, 바인딩 구현은 “thin wrapper” 원칙을 적용해, 실제 비즈니스 로직은 순수 C++ 모듈에 남겨두고, 바인딩 코드는 단순 호출 전달에 머물러야 한다. 넷째, 빌드 시스템(CMake 등)은 바인딩 타깃을 독립적인 라이브러리로 정의하고, 의존성 그래프에 명시적으로 포함시켜 사이클을 방지한다. 이러한 규칙은 라코시안이 강조하는 “Physical Design First” 철학을 다중언어 프로젝트에도 그대로 적용하도록 설계되었다. 50개의 GitHub 레포지토리를 자동화된 MLSA 툴로 스캔한 결과, 평균 62%가 기존 라코시안 규칙을 위반했으며, 제안 규칙을 적용했을 때 78%가 최소 한 가지 위반을 해소할 수 있었다. 이는 물리적 모듈 경계가 명확히 정의될 경우, 호출 그래프 분석, 의존성 시각화, 보안 검증 등이 크게 향상될 수 있음을 실증한다. 마지막으로, 저자는 pybind11에 국한되지 않고, JNI, Boost.Python, Emscripten 등 다른 FFI에도 동일한 물리적 모듈화 원칙을 적용할 수 있음을 제시한다. 이는 다중언어 시스템 전반에 걸쳐 설계 일관성을 확보하고, 유지보수 비용을 감소시키는 전략적 로드맵을 제공한다.