[논문 리뷰] A Generic Lazy Evaluation Scheme for Exact Geometric Computations

Sylvain Pion, Andreas Fabri|ArXiv.org|2006. 08. 15.

Logic, programming, and type systems인용 수 16

한 줄 요약

이 논문은 필요한 경우에만 정밀도가 높은 다중 정밀도 산술 연산을 연기하는 일반적인 C++ 프레임워크를 제안한다. 이는 간격 산술 필터링과 참조 카운팅을 사용한 방향 비순환 그래프를 통해 이루어진다. 이 프레임워크는 CGAL 기하 커널의 기본 레이지 평가 대비 최대 10배 메모리 사용을 절감하고 2–3배 빠른 성능을 달성하면서도 모든 입력에 대해 수치적 안정성을 보장한다.

ABSTRACT

We present a generic C++ design to perform efficient and exact geometric computations using lazy evaluations. Exact geometric computations are critical for the robustness of geometric algorithms. Their efficiency is also critical for most applications, hence the need for delaying the exact computations at run time until they are actually needed. Our approach is generic and extensible in the sense that it is possible to make it a library which users can extend to their own geometric objects or primitives. It involves techniques such as generic functor adaptors, dynamic polymorphism, reference counting for the management of directed acyclic graphs and exception handling for detecting cases where exact computations are needed. It also relies on multiple precision arithmetic as well as interval arithmetic. We apply our approach to the whole geometric kernel of CGAL.

연구 동기 및 목표

• 부동소수점 부정확성으로 인한 기하 알고리즘의 수치적 안정성 문제를 해결하기 위해.
• 실행 시점의 필요성에 따라 정확한 계산을 연기하는 일반적이고 확장 가능한 C++ 프레임워크를 설계하기 위해.
• 산술 수준이 아닌 기하 객체 수준에서의 레이지 평가 통합을 통해 효율성과 유지보수성 향상을 위해.
• 사용자가 새로운 기하 원소와 기하 도형을 핵심 컴ponent를 수정하지 않고도 확장할 수 있도록 하기 위해.
• 정확성 보장을 보장하면서도 필터링 기법을 통해 높은 성능을 달성하기 위해.

제안 방법

• 기하 예측자와 구성 요소를 캡슐화하기 위해 일반적인 함수자 어댑터를 사용한다.
• 동적 다态성과 참조 카운팅을 활용해 중간 표현식의 방향 비순환 그래프를 관리한다.
• 대부분의 경우 정확한 계산을 피하기 위해 간격 산술을 빠른 필터로 사용한다.
• 간격 산술이 부호를 결정하지 못할 경우, GMP를 통해 정확한 다중 정밀도 산술을 트리거한다.
• 템플릿 기반의 설계를 통해 CGAL 커널과의 통합 및 사용자 정의 유형으로의 확장 가능성을 보장한다.
• 예외 처리를 통해 정확한 평가가 필요한 경우를 감지하여 정확성을 보장한다.

실험 결과

연구 질문

• RQ1 실행 시점의 필요성에 따라 정확한 기하 계산을 연기할 수 있는 일반적이고 확장 가능한 C++ 프레임워크를 설계할 수 있는가?
• RQ2 산술 수준이 아닌 기하 객체 수준에서의 레이지 평가 통합은 성능과 유지보수성 향상에 어떻게 기여하는가?
• RQ3 사용자가 핵심 컴ponent를 수정하지 않고도 새로운 기하 원소와 객체를 지원할 수 있도록 프레임워크를 확장할 수 있는가?
• RQ4 간격 산술 필터링과 다중 정밀도 정확한 계산을 결합할 때 발생하는 성능 및 메모리 상호 교환 관계는 무엇인가?
• RQ5 일관되고 재사용 가능한 단일 조합 가능한 시스템에서 필터링과 정확한 계산을 모두 지원하는 일반적인 프레임워크를 설계할 수 있는가?

주요 결과

• 제안된 Lazy_kernel<SC<Gmpq>>는 g++ 3.4에서 4.1초, g++ 4.1에서 2.8초를 기록하여 기본 레이지 평가 방식(9.4초 및 7.4초)보다 2–3배 빠르게 성능을 달성한다.
• 메모리 사용량은 501MB에서 64MB로 감소하여 기본 레이지 평가 접근 방식 대비 10배 향상되었다.
• 이 프레임워크는 더블 정밀도 계산(0.72초)보다 4배 느리지만, 모든 입력에 대해 정확성을 보장한다.
• 복잡한 3D 또는 고차원 기하 원소의 경우 필터 실패 빈도가 더 높아져 성능 향상이 더욱 두드러질 것으로 예상된다.
• 고도로 조합적인 출력을 내보내는 실세계 애플리케이션은 기하 원소의 상대적 비용이 감소함에 따라 상대적인 성능 저하가 더 적게 나타난다.
• 프레임워크는 확장성 지원: 사용자는 동일한 일반 인터페이스를 사용해 새로운 기하 객체와 원소를 정의할 수 있다.