[논문 리뷰] Floating-Point Numbers with Error Estimates (revised)

Glauco Masotti|arXiv (Cornell University)|2012. 01. 28.

Numerical Methods and Algorithms참고 문헌 13인용 수 4

한 줄 요약

이 논문은 부동소수점 수치에 대한 추정 오차 정보를 값과 함께 통합하는 데이터 구조를 제안하여 계산 중 오차 추적을 정확하게 수행한다. 상대 오차 추정치를 모니터링하고 정밀도를 동적으로 조정함으로써 결과의 타당성을 보장하고, 조건이 나쁜 문제를 탐지하며, 최소한의 성능 오버헤드로 특수 하드웨어를 통해 오차 경계가 보장된 강력한 계산을 가능하게 한다.

ABSTRACT

The study addresses the problem of precision in floating-point (FP) computations. A method for estimating the errors which affect intermediate and final results is proposed and a summary of many software simulations is discussed. The basic idea consists of representing FP numbers by means of a data structure collecting value and estimated error information. Under certain constraints, the estimate of the absolute error is accurate and has a compact statistical distribution. By monitoring the estimated relative error during a computation (an ad-hoc definition of relative error has been used), the validity of results can be ensured. The error estimate enables the implementation of robust algorithms, and the detection of ill-conditioned problems. A dynamic extension of number precision, under the control of error estimates, is advocated, in order to compute results within given error bounds. A reduced time penalty could be achieved by a specialized FP processor. The realization of a hardwired processor incorporating the method, with current technology, should not be anymore a problem and would make the practical adoption of the method feasible for most applications.

연구 동기 및 목표

• 부동소수점 계산에서의 정밀도 손실과 오차 전파 문제를 해결하기 위해.
• 중간 결과 및 최종 결과의 절대 오차와 상대 오차를 추정하는 방법을 개발하기 위해.
• 사용자가 지정한 오차 경계를 충족시키기 위해 오차 추정치에 기반해 정밀도를 동적으로 조정할 수 있도록 하기 위해.
• 오차 추정을 최소한의 성능 비용으로 통합하는 전용 하드웨어 프로세서 설계를 지원하기 위해.
• 오차 모니터링을 통해 조건이 나쁜 문제를 탐지함으로써 수치 알고리즘의 신뢰성을 향상시키기 위해.

제안 방법

• 값과 추정 오차를 모두 저장하는 데이터 구조로 부동소수점 수를 표현하여 오차 인식 계산을 가능하게 하기 위해.
• 계산 중에 안정적이고 통계적으로 압축된 형태를 유지하는 특수 정의된 상대 오차를 사용하기 위해.
• 오차 전파에 대한 제약 조건을 적용하여 추정 절대 오차가 정확하게 유지되도록 하기 위해.
• 계산 전반에 걸쳐 오차 추정치를 모니터링하여 정밀도를 높여야 할 시점을 탐지하기 위해.
• 런타임 오버헤드를 최소화하기 위해 전용 부동소수점 프로세서를 사용한 하드웨어 가속 구현을 권장하기 위해.
• 오차 추정을 산술 연산에 통합하여 필요에 따라 자동으로 정밀도를 확장할 수 있도록 하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 하면 부동소수점 계산에서 절대 오차와 상대 오차를 충분한 정확도와 압축성으로 추정할 수 있는가?
• RQ2 오차 추정치를 사용하여 사용자가 지정한 오차 경계를 충족시키기 위해 계산 중 정밀도를 동적으로 조정할 수 있는가?
• RQ3 오차 추정이 계산 성능에 미치는 영향은 무엇이며, 하드웨어 지원을 통해 이를 최소화할 수 있는가?
• RQ4 오차 추적을 통해 수치 평가 중에 조건이 나쁜 문제를 어떻게 탐지할 수 있는가?
• RQ5 오차 추정 산술을 네이티브로 지원하는 전용 부동소수점 프로세서를 실제로 구현하는 것은 가능한가?

주요 결과

• 제안된 오차 추정 방법은 정의된 제약 조건 하에서 정확하고 압축된 절대 오차 추정치를 유지한다.
• 특수 정의된 상대 오차 정의는 계산 중 수치적 안정성을 신뢰성 있게 모니터링할 수 있도록 한다.
• 오차 추정치를 통해 증가하는 오차 경계를 식별함으로써 조건이 나쁜 문제를 탐지할 수 있다.
• 오차 추정치에 기반한 동적 정밀도 확장을 통해 결과가 사용자가 정의한 오차 경계 내에 유지됨을 보장할 수 있다.
• 현재 기술 수준으로도 하드웨어 구현이 가능하며, 런타임 오버헤드는 최소한의 시간 패널티로 제한된다.
• 소프트웨어 시뮬레이션을 통해 다양한 수치 문제와 데이터 유형에서 이 방법의 효과성이 확인되었다.