C/C++ 코드에 가비지 컬렉션(GC)을 도입하여 메모리 안전성을 확보하는 Fil-C
by DD
3개월 전
조회수 14
Fil-C는 C/C++ 코드를 메모리 안전(Memory Safe)하게 변환하는 기술로, 컴파일러를 통해 포인터 관련 연산(Pointer Operations)을 안전하게 관리한다.
AllocationRecord 구조체를 활용하여 각 포인터에 대한 할당 정보를 추적하며, 가비지 컬렉션(Garbage Collection)을 통해 메모리 누수를 방지한다.
Fil-C는 포인터 프로비넌스(Pointer Provenance)를 지원하여 컴파일러 최적화에 대한 새로운 관점을 제시하며, 코드의 안전성을 높인다.
Fil-C의 핵심 원리: 컴파일러 기반 코드 변환
Fil-C는 C/C++ 코드를 분석하여 메모리 안전성(Memory Safety)을 확보하기 위해 컴파일러 단에서 코드를 변환한다. 특히, 포인터 변수와 함께 AllocationRecord 구조체를 추가하여 각 포인터의 할당 정보를 추적한다. 이러한 변환은 포인터 연산(Pointer Operations) 시 안전성을 보장하며, 잠재적인 메모리 오류를 방지하는 데 기여한다. 컴파일러 기반 변환(Compiler-Based Transformation)은 런타임 오버헤드를 줄이는 동시에 안전성을 확보하는 핵심 전략이다.
가비지 컬렉션(GC)을 통한 메모리 관리
Fil-C는 가비지 컬렉션(Garbage Collection)을 도입하여 메모리 누수를 방지하고, 개발자가 수동으로 메모리를 관리하는 부담을 줄인다. Fil-C의 GC는 AllocationRecord 객체를 추적하여 도달 불가능한 객체를 해제한다. 또한, `filc_free` 함수 호출을 통해 메모리를 조기에 해제할 수 있도록 지원한다. 이러한 GC의 통합은 C/C++에서 을 확보하는 데 중요한 역할을 한다.
