[논문 리뷰] The interface for functions in the dune-functions module

Christian Engwer, Carsten Gräser외 2명|arXiv (Cornell University)|2015. 12. 18.

Distributed and Parallel Computing Systems참고 문헌 1인용 수 7

한 줄 요약

이 논문은 Dune 유한요소 프레임워크를 위한 새로운 C++ 기반 함수 인터페이스를 제안한다. 이는 이전의 레퍼런스 기반 평가 방식을 대체하여 operator() 오버로딩과 std::function을 통한 타입 에러쳐를 활용한 값 반환 방식을 도입한다. 새로운 설계는 코드의 가독성을 향상시키며, 람다 표현식과 같은 현대 C++ 기능을 지원한다. 성능 측정 결과 현대 컴파일러 최적화를 사용할 경우 런타임 오버헤드가 없음을 확인하여 이전 인터페이스와 동일한 효율성을 확보한다.

ABSTRACT

The dune-functions Dune module introduces a new programmer interface for discrete and non-discrete functions. Unlike the previous interfaces considered in the existing Dune modules, it is based on overloading operator(), and returning values by-value. This makes user code much more readable, and allows the incorporation of newer C++ features such as lambda expressions. Run-time polymorphism is implemented not by inheritance, but by type erasure, generalizing the ideas of the std::function class from the C++11 standard library. We describe the new interface, show its possibilities, and measure the performance impact of type erasure and return-by-value.

연구 동기 및 목표

• 레퍼런스 기반 평가와 복잡한 문법을 요구하는 Dune의 기존 함수 인터페이스로 인한 낮은 코드 가독성 문제를 해결하기 위해.
• C++11 기능인 람다 표현식과 값 반환 방식을 도입하여 Dune의 함수 인터페이스를 현대화하기 위해.
• 가상 상속을 피하기 위해 std::function을 영감으로 삼은 타입 에러쳐를 활용해 동적 다형성을 구현하기 위해.
• 새로운 인터페이스의 성능이 이전 인터페이스와 비교하여 반환 값 방식과 타입 에러쳐에 대해 유의미한 성능 손실이 없는지 평가하기 위해.
• 지역 좌표계를 활용한 그리드 기반 평가를 지원하기 위해 인터페이스를 확장하기 위해.

제안 방법

• operator() 오버로딩과 값 반환 방식을 활용한 콜러블 오브젝트 기반의 새로운 함수 인터페이스를 설계하기 위해.
• 인터페이스 계약을 강제하고 오류 메시지를 개선하기 위해 정적 확인(static_assert)을 통한 개념 검증을 사용하기 위해.
• 가상 상속을 피하기 위해 동적 다형성을 위해 std::function 유사 래퍼를 사용한 타입 에러쳐를 구현하기 위해.
• 지역 좌표계에서의 그리드 기반 평가를 지원하기 위해 LocalFunction과 GridViewFunction 템플릿을 도입하기 위해.
• 일반적인 DerivativeTraits 템플릿 매개변수를 통해 다양한 함수 유형에 대한 미분을 지원하기 위해.
• 다양한 반환 값 크기와 디스패치 전략을 사용하여 복합 중점 법칙 통합을 통해 새 인터페이스와 기존 인터페이스를 벤치마킹하기 위해.

실험 결과

연구 질문

• RQ1 C++에서 반환 값으로 결과를 반환하는 방식은 레퍼런스 기반 평가 대비 유의미한 성능 저하를 초래하는가?
• RQ2 현대 컴iles러는 반환 값 최적화(RVO)를 통해 값 반환의 오버헤드를 제거할 수 있는가?
• RQ3 유한요소 함수의 맥락에서 std::function을 통한 타입 에러쳐의 성능은 가상 함수 디스패치와 비교해 유사한가?
• RQ4 새로운 인터페이스는 효율성을 유지하면서도 다양한 도함수 함수와 그리드 기반 함수를 지원할 수 있는가?
• RQ5 프로파일 기반 최적화(PGO)를 사용할 경우, std::function 기반 디스패치와 가상 함수 디스패치 사이의 성능 격차가 해소되는가?

주요 결과

• 정적 디스패치를 사용한 값 반환 방식은 현대 컴파일러가 임시 객체 생성을 RVO로 제거함으로써 레퍼런스 기반 평가와 동일한 런타임 오버헤드 없이 구현된다.
• 동적 디스패치의 경우, 작은 반환 값 유형에 대해 std::function 기반 타입 에러쳐가 가상 함수 디스패치보다 처음에는 느리지만, 프로파일 기반 최적화(PGO)를 통해 이 격차가 해소된다.
• PGO를 적용한 결과, std::function 기반 인터페이스는 가상 함수 디스패치와 동등하거나 약간 뛰어난 성능을 보이며, 타입 에러쳐가 본질적인 성능 저하를 유발하지 않음을 입증한다.
• 새로운 인터페이스는 람다 표현식과 operator() 호출을 자연스럽게 표현할 수 있어 더 읽기 쉽고 C++ 관례에 부합하는 코드를 가능하게 한다.
• 현대 컴파일러 최적화를 사용할 경우, 새 인터페이스의 성능은 기존 인터페이스와 동등하여 고성능 과학 계산 분야에서의 실용성을 입증한다.
• LocalFunction과 GridViewFunction 템플릿을 통해 도함수 함수와 그리드 기반 함수로의 확장에 성공하였으며, 표현력과 효율성을 동시에 유지하였다.