[논문 리뷰] Runtime-Flexible Multi-dimensional Arrays and Views for C++98 and C++0x

Bjoern Andres, Ullrich Koethe외 2명|arXiv (Cornell University)|2010. 08. 17.

Parallel Computing and Optimization Techniques참고 문헌 8인용 수 6

한 줄 요약

이 논문은 런타임 유연성을 갖춘 다차원 배열과 뷰를 위한 C++98 및 C++0x 호환 라이브러리인 Marray를 제시한다. 이는 뷰 기반 추상화를 통해 동적 차원성을 가능하게 하며, C++ 아티페이트 성능과 사용성을 달성한다. 뷰를 일급 추상화로 활용하고, C++0x의 템플릿 별칭, 가변 템플릿, 초기화 리스트 기능을 통해 표현력과 타입 안정성을 향상시킴으로써 C++ 관례에 부합하는 성능과 사용성을 실현한다.

ABSTRACT

Multi-dimensional arrays are among the most fundamental and most useful data structures of all. In C++, excellent template libraries exist for arrays whose dimension is fixed at runtime. Arrays whose dimension can change at runtime have been implemented in C. However, a generic object-oriented C++ implementation of runtime-flexible arrays has so far been missing. In this article, we discuss our new implementation called Marray, a package of class templates that fills this gap. Marray is based on views as an underlying concept. This concept brings some of the flexibility known from script languages such as R and MATLAB to C++. Marray is free both for commercial and non-commercial use and is publicly available from www.andres.sc/marray

연구 동기 및 목표

• 컴파일 타임에 고정되지 않은 차원을 갖는 다차원 배열에 대한 일반적이고 객체 지향적인 C++ 구현의 부족을 보완한다.
• 고성능과 타입 안정성을 유지하면서도 런타임에서 배열의 차원을 동적으로 제어할 수 있도록 한다.
• 스크립팅 언어(예: R, MATLAB)와 C++ 템플릿 라이브러리(예: Boost, Blitz++) 간의 사용성 격차를 뷰 기반 추상화를 통해 해소한다.
• 사용자 입력이나 런타임 조건에 따라 배열의 차원이 달라지는 다변량 데이터 및 함수 처리와 같은 실용적 사례를 지원한다.
• C++98 호환성을 유지하면서도 현대적 C++0x 기능을 통합하여 코드의 명확성과 안정성을 향상시킨다.

제안 방법

• 차원, 형태, 스트라이드, 오프셋(d, s, t, p₀) 기반의 수학적 프레임워크를 사용하여 유연한 메모리 레이아웃 해석을 가능하게 한다.
• 뷰를 클래스 템플릿으로 구현하여 기반 데이터에 대한 액세스를 추상화함으로써 데이터 복사 없이 부분 배열 및 재해석된 레이아웃을 허용한다.
• 템플릿 전문화 및 상속 패tern을 사용하여 const 및 가변 뷰를 모두 지원하며, C++0x 템플릿 별칭을 활용해 코드 중복을 줄인다.
• 임의의 수의 좌표 매개변수를 갖는 연산자()에 대해 가변 템플릿을 사용하여 타입 안정적인 액세스를 지원함으로써 C++98의 제한된 함수 오버로드 대비 사용성 향상.
• C++0x 초기화 리스트를 통합하여 형태와 크기를 유니폼 초기화 구문을 통해 직접 초기화할 수 있도록 하여 코드 명확성 향상.
• 사전처리 매크로(NO_DEBUG, NO_ARG_TEST)를 통해 관리자 및 인수 검사를 조건부로 활성화함으로써 성능에 민감한 빌드에서 검사를 제거할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 컴파일 타임 템플릿 전문화에 의존하지 않고도 C++에서 동적으로 변경 가능한 다차원 배열을 효율적이고 안전하게 구현하는 방법은 무엇인가?
• RQ2 C++에서 뷰 기반 추상화가 R, MATLAB과 같은 스크립팅 언어의 영향력을 얼마나 잘 재현할 수 있으며, 同시에 C++의 성능과 타입 안정성을 유지할 수 있는가?
• RQ3 가장 효과적인 C++0x 언어 기능(예: 템플릿 별칭, 가변 템플릿, 초기화 리스트)은 무엇이며, 이는 일반적인 다차원 배열 라이브러리의 표현력과 유지보수성 향상에 어떻게 기여하는가?
• RQ4 고정 차원과 런타임 차원을 모두 지원하는 단일 라이브러리 내에서 배열과 뷰에 대한 통합된, 일반적인 인터페이스를 설계할 수 있는가?
• RQ5 성능에 민감한 빌드에서 런타임 검사를 조건부로 제거하면서도 개발 단계에서는 정확성을 유지할 수 있는 방법은 무엇인가?

주요 결과

• Marray는 C++98 및 C++0x 환경에서 일반적이고 객체 지향적이며 런타임에서의 차원 변화를 수용할 수 있는 다차원 배열과 뷰 시스템을 성공적으로 구현하여 오랫동안 존재하던 C++ 과학 계산 라이브러리의 격차를 메운다.
• 뷰를 핵심 추상화로 사용함으로써 런타임 오버헤드 없이 동적 차원성과 부분 배열 액세스를 실현하며, 네이티브 C++ 배열과 유사한 성능을 달성한다.
• C++0x 기능인 템플릿 별칭, 가변 템플릿, 초기화 리스트의 활용은 특히 고차원 액세스 패턴에서 코드의 명확성과 타입 안정성 향상에 크게 기여한다.
• 통합 인터페이스를 통해 컴파일 타임과 런타임 차원 모두를 지원함으로써 기존 C++ 코드베이스와 원활한 통합이 가능하다.
• NO_DEBUG 및 NO_ARG_TEST를 통한 조건부 컴파일을 통해 프로덕션 빌드에서 런타임 검사를 제거할 수 있으며, 이는 최적의 성능을 확보하면서도 개발 단계의 정확성은 유지한다.
• 라이브러리는 공개 및 오픈소스이며, HDF5 통합 및 C 호환 배열 상호운용 기능 개발이 진행 중이므로 HPC 및 과학 계산 분야에서의 도입 잠재력이 매우 높다.