동적 타이핑 환경에서 안전한 메모리 관리를 위한 차용 검사(Borrow-checking) 구현
by DD
3개월 전
조회수 2
동적 타이핑 언어에서 Rust와 유사한 차용 검사(Borrow-checking)를 구현하여 메모리 안전성을 확보하려는 시도
참조 카운팅(Reference Counting)을 활용하여 런타임(Runtime)에 차용 규칙을 검사하고, 유용한 오류 메시지를 제공
내부 포인터(Interior Pointers)와 명시적 스택 할당(Stack Allocation)을 지원하면서도 값 의미론(Value Semantics)을 유지하는 것이 목표
성능, 표현력, 설명 가능성 간의 트레이드오프(Trade-offs)를 고려하며, 정적 타이핑(Static Typing)과의 통합 가능성을 모색
동적 차용 검사(Dynamic Borrow-checking)의 핵심 원리
본 시스템은 참조 카운팅(Reference Counting)을 기반으로 하여, 런타임(Runtime)에 차용 규칙을 검사한다. 특히, 각 변수에 대한 참조 횟수를 스택에 저장하여 캐시(Cache) 성능 저하를 최소화한다. 또한, 스레드 간의 참조 카운트 공유를 제한하여 원자적 연산(Atomic Operations)의 필요성을 제거한다. 이러한 설계는 동적으로 타이핑된 함수 프레임(Function Frame)에서만 참조 카운팅 오버헤드를 발생시켜 성능 저하를 방지한다.
값 의미론(Value Semantics)과 참조(Reference)의 조화
이 언어는 값 의미론(Value Semantics)을 유지하면서도, 참조(Reference)를 통해 값 공유를 가능하게 한다. 박스 함수(box function)를 사용하여 힙(Heap)에 값을 저장하고, `!` 연산자를 통해 빌린 참조(Borrowed Reference)를 생성한다. 빌린 참조는 원래 위치로 값을 반환하며, `&` 연산자를 통해 공유 참조(Shared Reference)를 생성하여 불변성을 보장한다. 이러한 접근 방식은 내부 포인터(Interior Pointers)와 스택 할당(Stack Allocation)을 지원하면서도 메모리 안전성을 확보한다.
