C/C++ 메모리 안전성, Fil-C의 InvisiCaps로 해결
by DD
2일 전
조회수 6
Fil-C는 포인터 기반 메모리 안전성을 C/C++ 언어에서 구현하는 새로운 방식인 InvisiCaps를 소개함
동적 포인터 역량 모델(Dynamic Pointer Capability Model)을 통해 메모리 접근 제어 및 안전성 보장
이전 모델(PLUT, SideCaps, MonoCaps)의 성능 및 호환성 문제를 개선하여 실용성 증대
64비트 시스템에서 64비트 포인터 크기를 유지하며 메모리 안전성을 달성하는 것이 핵심
InvisiCaps의 핵심: 포인터 역량 모델
InvisiCaps는 각 포인터가 접근 가능한 메모리 객체를 동적으로 추적하는 포인터 역량 시스템(Pointer Capability System)을 기반으로 합니다. 이를 통해 객체 범위를 벗어난 접근, 해제된 객체 접근, 읽기 전용 데이터 쓰기 등을 동적으로 금지하여 메모리 안전성을 확보합니다. 특히, 프로그램이 보는 포인터는 실제로는 정수 값(intval)과 하위 경계(lower bound)로 구성되며, 런타임은 이 하위 경계를 신뢰하여 접근을 제어합니다.
이전 모델의 한계와 InvisiCaps의 개선점
PLUT(256비트 포인터, 제한된 유니온 지원)와 SideCaps(느린 성능, 유니온 미지원)는 호환성 및 성능 문제가 있었습니다. MonoCaps는 타입 추론을 개선했지만, 여전히 GC가 필요하고 포인터 크기가 컸습니다. InvisiCaps는 64비트 포인터 크기를 유지하면서도 성능 오버헤드를 4배 수준으로 줄였고, 유니온 사용을 지원하며 스레드 안전성을 보장합니다. 이는 이전 모델들의 주요 단점을 해결한 것입니다.
