수학적 계산을 위한 제네릭 (Generics) 벤치마킹의 진전

요약

제네릭 프로그래밍의 성능을 측정하는 새로운 벤치마크인 SciGMark 1.5를 소개합니다. 현대 프로그래밍 언어들의 다양한 제네릭 구현 전략을 비교하고, 심볼릭 계산 영역으로 벤치마크를 확장하여 분석했습니다.

핵심 포인트

• SciGMark 1.5를 통한 현대 언어의 제네릭 구현 전략 비교
• 심볼릭 계산(Gröbner 기저 등)을 위한 벤치마크 확장
• 타입 결정 시점과 산술 값 표현 방식이 성능의 핵심 요인
• AOT 모노모피제이션이 수치 계산 성능에 유리함 확인
• 타입 소거 및 객체 기반 제네릭의 높은 오버헤드 지적