페일 스톱
Fail-stop |
컴퓨터 언어의 페일스톱 서브셋은 예외적인 조건이 발생하는 경우를 제외하고 원래 언어와 동일한 의미를 갖는 서브셋입니다.Fail-stop 서브셋은 슈퍼셋 언어가 예외 상태를 보고할 때마다 예외 상태를 보고해야 하지만 다른 경우 예외 상태를 추가로 보고할 수 있습니다.
Fail-stop 언어는 정확성이 매우 중요한 컴퓨터 시스템에서 자주 사용됩니다. Fail-stop 언어는 이러한 시스템을 보다 빠르게 만들 수 있기 때문입니다.예를 들어, 많은 프로그래밍 언어에서 "+" 연산자는 부동 소수점 오버플로우 가능성 때문에 연관성이 없습니다.일반적으로 가정된 속성이 유지되지 않을 때 이러한 언어가 빠르게 실패하도록 복구하면 올바른 코드를 훨씬 쉽게 쓰고 확인할 수 있습니다.
예
널리 사용되는 많은 프로그래밍 언어에서 예치된 금액 또는 이전 계좌 값이 매우 크면 new_bank_account_value에 오버플로 값을 할당함으로써 아래 코드가 은행 계좌 값을 감소시킬 수 있습니다.
new_bank_account_value = old_bank_account_value + 양_소요 // 데모할 32비트 부호 있는 정수를 사용한 계산 예. 2,420,483,647을 초과하면 오버플로가 발생합니다. // -2,147,483,646 = 2,147,483,640 + 10 단, 오버플로를 예외적인 조건으로 취급하는 페일스톱 언어에서는 이것이 맞거나 예외적인 조건으로 종료됩니다.
