Python에서의 두려움 없는 동시성: Lungfish 프로젝트

Project Verona팀은 Python 프로그램의 메모리와 동시성을 안전하고 효율적으로 관리하도록 설계된 새로운 Python 소유권 모델인 Lungfish를 개발하고 있습니다. 처음에는 FrankenScript라는 간단한 언어를 사용하여 영역 기반 소유권 개념의 프로토타입을 만들고, 그 결과를 Faster CPython 팀과 공유했습니다. 현재 CPython에서의 심층 불변성 구현, 순환 불변 가비지 관리, 서브 인터프리터 간 메시지 전달 통합을 포함하여 심층 불변성 모델을 단계적으로 구현하고 있습니다. 이는 Python에 영역 기반 소유권 모델을 적용하는 길을 열어주고, 궁극적으로는 동시성 프로그래밍을 단순화하고 동시성의 함정을 피하는 것을 목표로 합니다. 이 프로젝트는 Rust와 같은 언어의 경험을 많이 활용하지만, Python의 동적 타이핑에 맞추기 위해 동적 검사를 사용합니다.