메모리 안전성, 당신의 정의는 무엇입니까?
메모리 안전성에 대한 기존 정의의 문제점을 지적하며, 구현(Implementation) 관점에서 정의해야 함을 강조함.
Java의 Null Pointer Dereference와 같은 사례를 통해, 언어별 정의의 모호성을 비판하고, 컴파일러의 역할을 강조함.
Backward Simulation 개념을 활용하여 메모리 안전성을 재정의하고, Fil-C와 같은 실용적인 구현 사례를 제시하며 논의를 마무리함.
메모리 안전성 정의의 문제점
기존 메모리 안전성 정의는 언어 자체의 특성에 초점을 맞춰, Null Pointer Dereference와 같은 예외 상황을 제대로 설명하지 못한다. 구체적으로, Cardelli의 정의는 'untrapped errors'에 기반하지만, 이는 추상적이며 실질적인 안전성을 보장하지 못한다. 따라서, 메모리 안전성은 구현(Implementation)의 속성으로 정의되어야 한다.
구현 기반 메모리 안전성의 재정의
저자는 Backward Simulation 개념을 활용하여 메모리 안전성을 재정의한다. 즉, 컴파일된 프로그램의 모든 동작이 소스 프로그램의 동작과 일치하거나, Crash하는 경우 메모리 안전하다고 정의한다. 반면, 기존 정의는 컴파일러의 역할을 간과하여, Undefined Behavior를 제대로 다루지 못하는 한계를 지닌다.
실용적인 메모리 안전 구현 사례
Fil-C는 C 언어의 의미를 유지하면서 메모리 안전성을 확보한 구현의 좋은 예시이다. 따라서, 메모리 안전성은 이론적인 개념이 아닌, 실질적인 구현을 통해 달성될 수 있음을 보여준다. 결과적으로, 개발자는 컴파일러의 역할과 Backward Simulation 개념을 이해하여, 안전한 코드를 작성해야 한다.
