Valen의 새로운 빌림 검사기, 메모리 안전 재정의

핵심 요약

• Valen은 'Group Borrowing'이라는 새로운 빌림 검사 방식을 채택한 프로그래밍 언어로, Rust의 강력한 메모리 안전성과 참조 계수·가비지 컬렉션의 유연성을 결합하는 것을 목표로 한다.
• 기존 Rust의 '공유-배타적 가변' 규칙을 '사용 후 해제 방지'로 완화하여, 같은 객체에 대한 여러 읽기-쓰기 참조를 컴파일 시점에 안전하게 허용한다.
• Valen의 핵심은 컴파일러가 각 참조가 가리키는 객체의 '경로'를 추적하는 것으로, 단순히 mutable/immutable 타입이 아니라 참조가 데이터 계층 구조 내 어느 부분을 가리키는지 정확히 기록한다.
• 함수 서명에 'mut' 키워드를 통해 어느 경로가 변경되는지 명시하면, 컴파일러는 어떤 참조들이 무효화되는지 정밀하게 파악할 수 있다.
• 세밀한 경로 정보를 통해 최적화기는 겹치는 읽기만 있고 쓰기는 없는 함수들을 더 효율적으로 재배열하고 루프 밖으로 계산을 끌어낼 수 있다.
• Rust 코드 호출 시 경로 정보가 부족하면 '와일드카드 상위 경로'를 사용하여 '이 객체 내부 어딘가를 가리킴'으로 해석해 상호 운용성을 확보한다.
• 메모리 안전성의 '성배'를 찾기 위한 세 가지 과제 중 첫 번째는 Group Borrowing으로 해결했으며, 두 번째·세 번째는 참조 계수와 세대 참조를 빌림 검사에 혼합하는 방식으로 다룰 계획이다.
• 참조 계수 객체를 컴파일러가 여러 개의 배열로 표현하면, Group Borrowing의 배열 이해도를 활용하여 메모리 안전하게 참조 계수 객체에 빌림 참조를 만들 수 있다.
• Valen은 C++, Rust, Java 같은 언어들이 지원하는 객체 그래프의 자유로운 참조를 컴파일 시점에 메모리 안전하게 처리하는 것을 목표로 하며, 단일 소유권 원칙 위에서 작동한다.