함수형 언어 Roc, C의 DEFLATE 성능에 8.9% 차까지 접근
원제 How close can pure functional programming get to C?
107 포인트댓글 10
Key Point
함수형 프로그래밍 언어가 명령형 저수준 언어와의 성능 격차를 얼마나 좁힐 수 있는지 실제로 입증했으며, 메모리 안전성 같은 보장을 위해 치르는 성능 대가가 실제로는 미미할 수 있음을 보여준다.
핵심 요약
- 함수형 프로그래밍 언어 Roc으로 작성한 roc-deflate 패키지가 C로 만들어진 최적화된 DEFLATE 라이브러리 libdeflate와 성능을 비교했다.
- Silesia 코퍼스로 144개 벤치마크를 실행한 결과, Ryzen 3900X 기준 중앙값 8.9%, M1 MacBook Pro 기준 2.6% 느렸다.
- 최악의 경우 18% 느렸지만 특정 입력에서는 18% 빠르기도 했으며, 이는 두 구현의 차이일 뿐 Roc의 성능 한계가 C보다 낮다는 의미다.
- Roc은 자동 메모리 관리와 경계 검사를 수행하므로 C 수준의 성능 천장이 더 낮지만, 메모리 안전성과 사이드 이펙트 금지를 보장한다.
- roc-deflate의 모든 함수는 순수 함수이므로 원격 코드 실행 취약점이나 서플라이 체인 공격에 안전하며, 모든 플랫폼에서 결정적으로 동작한다.
- 평균 한 자릿수 성능 차이를 위해 메모리 안전성, 사이드 이펙트 보장, 결정적 동작을 포기할 이유가 있는지는 사용 사례에 따라 다르다.
- 기본 최적화 기법 외에도 불필요한 공유 회피, 경계 검사 호이스팅, 컴파일타임 조회 테이블 구성 등 Roc 특화 최적화를 적용했다.
- 래핑 산술(overflow 검사 비활성화)을 고려하면 정수 연산에서 CPU 명령 한 개로 처리 가능하며, 컴파일러가 오버플로우 불가능함을 증명하면 두 경우 모두 같은 명령으로 최적화된다.
- 아직 x64 CPU에서 개선 여지가 있고 Roc 컴파일러의 최적화 파이프라인도 개선 가능하지만, roc-deflate 하나만으로는 일반적인 성능을 일반화할 수 없다.
- 저자는 향후 Roc 0.1.0 첫 정식 릴리스(8년 개발)에 집중할 예정이며, 더 많은 실제 코드베이스 최적화로 결과의 일반화 가능성을 검증해야 한다.