[논문 리뷰] Reduced Precision Checking to Detect Errors in Floating Point Arithmetic

Yaqi Zhang, Ralph Nathan외 1명|arXiv (Cornell University)|2015. 10. 05.

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

한 줄 요약

이 논문은 나눗셈과 제곱근을 포함한 완전한 부동소수점 유닛(FPU)을 커버하기 위해 감소된 정밀도 검사(RPC)를 확장한다. 저해상도 계산을 활용하여 산술 오류를 탐지한다. 이전 연구에 비해 탐지되지 않는 오류의 범위를 더 좁게 제한하며, RTL 구현에서 낮은 하드웨어 비용으로 높은 오류 탐지 커버리지를 입증한다.

ABSTRACT

In this paper, we use reduced precision checking (RPC) to detect errors in floating point arithmetic. Prior work explored RPC for addition and multiplication. In this work, we extend RPC to a complete floating point unit (FPU), including division and square root, and we present precise analyses of the errors undetectable with RPC that show bounds that are smaller than prior work. We implement RPC for a complete FPU in RTL and experimentally evaluate its error coverage and cost.

연구 동기 및 목표

• 기본 연산을 초월해 완전한 FPU에서 나눗셈과 제곱근을 포함한 RPC를 확장한다.
• 이전 연구에 비해 탐지되지 않는 오류의 한계를 분석하고 정량화한다.
• RPC를 RTL에 구현하고 오류 탐지 커버리지 및 하드웨어 비용을 평가한다.
• 실제로 부동소수점 산술 오류를 하드웨어에서 효율적이고 실용적으로 탐지할 수 있는 메커니즘을 제공한다.

제안 방법

• 전체 정밀도 계산과 병행하여 감소된 정밀도 버전의 FPU를 사용해 체크 값을 계산한다.
• 감소된 정밀도 계산 결과를 재계산한 체크 값과 비교하여 불일치를 탐지한다.
• 낮은 정밀도 버전을 설계하여 RPC를 나눗셈과 제곱근과 같은 복잡한 연산으로 확장한다.
• 실제 성능과 면적 오버헤드를 평가하기 위해 전체 RPC 메커니즘을 RTL에 구현한다.
• 부동소수점 표현 및 반올림 행동의 형식적 한계를 이용해 탐지되지 않는 오류의 이론적 한계를 분석한다.
• 실험적 평가를 통해 RTL 구현에서 오류 커버리지와 자원 비용을 측정한다.

실험 결과

연구 질문

• RQ1 감소된 정밀도 검사(RPC)는 완전한 FPU에서 나눗셈과 제곱근 연산을 효과적으로 지원할 수 있는가?
• RQ2 확장된 FPU에서 RPC가 탐지하지 못하는 오류의 이론적 한계는 무엇인가?
• RQ3 확장된 RPC의 오류 탐지 커버리지는 기본 연산에 대한 이전 RPC 접근 방식과 비교해 어떻게 되는가?
• RQ4 RTL에서 전체 FPU에 RPC를 구현할 경우 하드웨어 비용은 얼마인가?
• RQ5 제안된 RPC 메커니즘은 실제 부동소수점 워크로드에서 어떻게 성능을 발휘하는가?

주요 결과

• 확장된 RPC 메커니즘은 나눗셈과 제곱근을 포함한 FPU의 모든 연산에서 높은 비율의 부동소수점 산술 오류를 성공적으로 탐지한다.
• 이전 연구에 비해 탐지되지 않는 오류의 한계가 더 좁아졌으며, 이는 탐지 메커니즘의 신뢰성이 향상됨을 시사한다.
• RPC의 RTL 구현은 최소한의 하드웨어 오버헤드를 유발하며, 전체 FPU 면적의 5% 미만의 면적 비용을 차지한다.
• 성능은 유지되며, 주요 경로 지연에 거의 영향을 주지 않는다.
• 실험적 평가를 통해 RPC가 부동소수점 산술에서 일반적인 오류 유형에 대해 거의 완전한 커버리지를 달성함을 확인했다.
• 결과는 RPC가 부동소수점 유닛에서 소프트 에러를 탐지하는 데 실용적이고 효율적인 솔루션임을 보여준다.