타입 힌트(Type Hint) 하나로 Clojure 서버 성능 13배 향상!
Clojure로 구현된 Roughtime 서버에서 성능 병목 현상(Performance Bottleneck)을 발견하고, 해결 과정을 공유함
`alength` 함수에 타입 힌트(Type Hint)를 추가하여 13배의 처리량 증가(Throughput Increase)를 달성함
컴파일러 최적화(Compiler Optimization)를 위한 타입 힌트의 중요성을 강조하며, 런타임(Runtime)에서의 오버헤드(Overhead)를 줄이는 방법을 제시함
프로파일러(Profiler) 사용을 통해 성능 병목 지점을 정확히 파악하는 것이 중요함을 강조함
성능 병목 지점 분석
개발자는 프로파일러(Profiler)를 사용하여 코드의 성능 병목 지점을 정확히 파악했다. 초기 벤치마크 결과, Ed25519 서명(Signature)이나 SHA-512 해싱(Hashing)이 아닌, `alength` 함수 호출이 전체 실행 시간의 90%를 차지하는 것을 확인했다. 이는 고차 함수(Higher-order Function) `mapv`가 `alength`를 일반적인 `IFn` 객체로 처리하여 발생한 런타임 오버헤드(Runtime Overhead) 때문이다.
타입 힌트(Type Hint)를 통한 최적화
문제 해결을 위해 `alength` 함수에 타입 힌트(Type Hint)를 추가하여 컴파일러가 `arraylength` 바이트코드(Bytecode)를 생성하도록 유도했다. 그 결과, 인코딩 시간(Encoding Time)이 31µs에서 4µs로 감소했다. 이는 동적 디스패치(Dynamic Dispatch), 런타임 타입 검사(Runtime Type Checking), 리플렉션(Reflection)으로 인한 오버헤드를 제거하고, 단일 CPU 명령어(CPU Instruction)로 대체했기 때문이다.
전체 시스템 성능 향상
전체 시스템 벤치마크 결과, 타입 힌트 적용 후 처리량이 13배 증가했다. 이는 Amdahl의 법칙(Amdahl's Law)에 따른 예상보다 큰 폭의 개선이다. 개발자는 여러 워커(Worker)가 동일한 리플렉션 호출 지점에 접근할 때 발생하는 경쟁(Contention)으로 인해 JVM의 최적화가 제대로 이루어지지 않았고, 타입 힌트 적용으로 인해 JIT 컴파일러(JIT Compiler)가 코드를 인라인(Inline)하고 병렬화(Parallelize)할 수 있었기 때문이라고 분석했다.
Clojure 최적화의 교훈
개발자는 Clojure 코드 최적화 시, '리플렉션 경고 없음'이 항상 최적화를 의미하는 것은 아니라는 점을 강조했다. 고차 인터페이스(Higher-order Interface)를 통해 저수준 프리미티브(Primitive)를 전달하면 런타임이 일반적인(Generic) 경로로 돌아갈 수 있다. 따라서 컴파일러가 원시 바이트코드(Primitive Bytecode)를 생성할 수 있도록 충분한 정보를 제공하는 것이 중요하다는 것을 알 수 있다.
