Bun, LLM으로 Rust 재작성 성공 비결은?

기존 Zig 기반 Bun은 가비지 컬렉션(Garbage Collection)과 수동 메모리 관리의 혼합으로 인해 use-after-free, double-free, 메모리 누수 등 안정성 문제가 빈번했습니다. 특히, 개발자는 매번 메모리 할당 및 해제 시점을 면밀히 검토해야 하는 부담이 있었습니다. Rust의 RAII(Resource Acquisition Is Initialization) 패턴과 Drop 트레잇(Drop Trait)은 이러한 문제를 컴파일 타임에 해결하여 체계적인 안정성 강화를 가능하게 합니다. 커뮤니티에서는 Node.js 역시 C++ 기반에서 유사한 메모리 안전성 이슈를 겪었음을 지적하며, Bun의 선택이 합리적임을 뒷받침합니다.

이번 재작성은 Claude Code의 동적 워크플로우(Dynamic Workflow)를 활용하여 약 11일간 64개의 Claude 인스턴스를 병렬로 실행하는 방식으로 진행되었습니다. 포팅 가이드(PORTING.md) 및 라이프타임 정의(LIFETIMES.tsv)를 생성하고, 이를 기반으로 Zig 코드를 Rust로 기계적으로 변환하는 과정을 반복했습니다. 특히, 적대적 코드 리뷰(Adversarial Code Review) 방식을 도입하여 LLM이 생성한 코드의 잠재적 버그를 사전에 탐지하고 수정하는 데 집중했습니다. 이는 대규모 코드베이스의 안정적인 전환을 위한 혁신적인 접근 방식으로 평가됩니다.

Rust로 재작성된 Bun v1.4.0은 바이너리 크기 감소 (Linux 기준 약 18MB 감소) 및 메모리 사용량 최적화 (2,000회 빌드 시 약 500MB 절감) 효과를 보였습니다. 또한, HTTP 처리량 및 애플리케이션 빌드 시간에서 2% ~ 5%의 성능 향상이 관찰되었습니다. 특히, 메모리 누수 테스트에서 상당한 개선이 있었으며, 이는 Rust의 `Drop` 트레잇 덕분으로 분석됩니다. 커뮤니티에서는 이러한 개선이 체계적인 버그 방지로 이어질 것이라는 긍정적인 반응을 보입니다.

전체 Rust 코드 중 약 4%가 `unsafe` 블록을 포함하고 있으며, 이는 주로 C++ 라이브러리 연동 또는 C 라이브러리 호출 시 발생합니다. 커뮤니티에서는 `unsafe` 블록의 크기와 상관없이 내부의 안전성 위반이 전체 코드의 불안정성을 야기할 수 있다고 지적합니다. Bun 팀은 CI에 Miri(MIR Interpreter)를 도입하고 LeakSanitizer, Coverage-guided Fuzzing을 강화하여 `unsafe` 코드의 안정성을 지속적으로 검증하고 있음을 밝혔습니다. 이는 점진적인 `unsafe` 코드 리팩토링을 통해 안정성을 더욱 높여갈 계획임을 시사합니다.

Rust 재작성 과정에서 19개의 알려진 회귀(Regression) 버그가 발생했으며, 이는 주로 Zig와 Rust 간의 의미론적 차이(Semantic Difference)에서 기인했습니다. 예를 들어, Zig의 `debug_assert!`와 Rust의 `debug_assert!` 매크로 동작 방식 차이, 슬라이스 길이 처리 방식의 차이 등이 발견되었습니다. Bun 팀은 이러한 회귀를 해결하기 위해 언어별 특성을 고려한 코드 수정 및 테스트 스위트 강화를 진행했으며, 특히 macOS 및 Linux에서 기본적으로 제거되던 바운드 체크(Bounds Check)를 Rust에서 유지하여 안정성을 높였습니다.