6.9 최적화에 따른 예외 처리 방식의 변화

Ada 레퍼런스 매뉴얼에 따르면 프로그램의 외부적으로 관찰 가능한 효과가 동일하게 유지된다면, 즉, 최종 결과가 같다면 컴파일러는 예외 발생 시점이나 검사 코드를 제거하는 등의 최적화를 수행할 수 있습니다.

컴파일러는 언어에 정의된 런타임 검사가 실패하더라도 예외를 항상 발생시킬 필요는 없습니다. 만약 예외를 발생시키지 않아도 프로그램의 최종적인 외부 상호작용에 영향을 주지 않는다면, 컴파일러는 예외를 생략할 수 있습니다. 대신 해당 연산은 미정의된 결과(undefined result)를 반환할 수 있습니다. 컴파일러는 예외 처리 코드뿐만 아니라, 관련 검사 코드와 연산 자체를 제거하여 프로그램의 성능을 향상시킬 수 있습니다.

런타임 검사 실패로 인해 예외가 발생하는 경우, 컴파일러는 외부적으로 관찰되는 효과의 순서를 일부 변경할 수 있습니다. 프로그램의 외부 효과는 특정 코드 블록 내 어딘가에서 예외가 발생했다는 사실만 반영하면 되며, 실제 예외가 발생한 시점보다 더 이르거나 늦게 외부 효과가 나타날 수 있습니다.

이러한 최적화로 인해, 예외 발생 시 이전에 실행 중이던 할당문(assignment)과 같은 연산이 중단될 수 있습니다. 이 경우 객체가 부분적으로만 값이 변경되는 비정상 상태(abnormal)에 놓일 수 있으며, 이후 해당 객체를 사용하면 실행이 오류 상태(erroneous)가 될 수 있습니다.

결론적으로, 이러한 최적화 규칙들은 언어 정의 검사를 실패하는 프로그램에만 영향을 미칩니다. 런타임 검사를 항상 통과하는 프로그램의 동작은 컴파일러의 최적화 여부와 관계없이 일관되게 유지됩니다.

---

이상 Ada 프로그래밍 6장. 예외 처리에 대한 원고를 모두 작성 완료하였습니다.

ㅎㅎ

다음엔 Ada 프로그래밍 책에서 어떤 부분을 작성할까요?

OOP?