Ante: 빌림 검사와 참조 카운팅을 결합하는 새 방식

Context

Rust의 Rc<RefCell> 구조에서 발생하는 런타임 패닉 위험과 Swift의 독점 접근 검사로 인한 오버헤드가 시스템 프로그래밍의 병목으로 작용함. 공유 가변 상태(Shared Mutable State)를 안전하게 다루면서도 런타임 비용을 최소화하는 메모리 모델 설계가 요구됨.

Technical Solution

• Shape-stability 도입을 통해 구조체 및 필드에 대한 다중 가변 빌림(Multiple Mutable Borrows)을 허용하는 구조 설계
• shared 키워드를 통한 선택적 Reference Counting 적용으로 단일 소유권 모델의 제약을 유연하게 확장
• Temporary Uniq Conversion 메커니즘을 구축하여 특정 범위 내 별칭(Alias) 사용을 제한함으로써 임시 독점 가변 참조 확보
• Union 타입의 가변 참조 시 내부 변형(Variant)으로의 가변 빌림을 금지하여 메모리 오염 및 세그폴트 원천 차단
• 재귀적 타입 분석을 통해 특정 객체 도달 가능성을 판별하여 컴파일 타임에 메모리 안전성 검증 수행
• Local Uniq 타입을 정의하여 변환된 독점 참조의 유효 범위를 함수 반환 시점까지 엄격히 제한