컴퓨터 과학 > 프로그래밍 언어

제목: 고고학적 접근 없이 디부트스트래핑: Camlboot에서의 스택 구현

[Abstract]

[Context]: 프로그래밍 언어가 자체적으로 참조 구현(reference implementation)을 갖는 것은 일반적입니다. 이 경우

Knowledge: 우리는 여러 구현체를 조합/스태킹하는 특정 설계를 제안합니다. 이 설계는 관심 언어의 참조 인터프리터(reference interpreter)를 작은 부분집합으로 구현하고, 이 작은 부분집합을 위한 컴파일러(다른 언어로 작성됨)를 포함합니다. 참조 인터프리터를 개발하는 것은 디부트스트래핑(debootstrapping)과 독립적으로도 가치가 있습니다. 이는 언어 의미론(language semantics)을 명확히 하는 데 도움이 될 수 있으며, 다른 구현체들의 차분 테스트(differential testing)와 같은 다른 목적에도 재사용될 수 있습니다.

Grounding: 우리는 OCaml 컴파일러 버전 4.07의 디부트스트래핑 프로젝트인 Camlboot를 소개합니다. 이 최종 설계에 수렴한 후, Camlboot의 마지막 버전을 구현하는 데는 약 한 사람-월(person-month)의 노력만 필요했으며, 이는 실현 가능성을 입증했습니다. 다양한 더블 컴파일레이션(double-compilation)을 사용하여, 우리는 기존 표준 OCaml 구현의 부트스트랩에서 신뢰 위임 공격(trusting trust attack)이 없음을 증명할 수 있었습니다.

Importance: 우리가 아는 한, 이 문서는 고급 프로그래밍 언어에 대한 '맞춤형(tailored)' 디부트스트래핑에 관한 최초의 학술적 논의입니다. 디부트스트래핑은 최근 자유 소프트웨어 기여자들의 활발한 커뮤니티가 형성된 흥미로운 문제입니다만, 지금까지 프로그래밍 언어 연구 커뮤니티와의 상호작용은 미미했습니다. 우리는 Camlboot에서의 경험을 공유하며, 다른 언어 설계자 및 구현자들에게 흥미로울 수 있는 측면들을 강조하고자 합니다. 저희는 Bootstrappable 프로젝트와 관련 학술 커뮤니티 간의 더 강력한 유대를 형성하기를 바랍니다. 특히, 디부트스트래핑 경험은 OCaml의 설계 및 구현에 대한 흥미로운 성찰이었으며, 다른 언어 구현자들도 이를 똑같이 가치 있게 여길 수 있기를 바랍니다.

참고 문헌 및 인용 도구

본 논문과 관련된 코드, 데이터 및 미디어

데모

추천 및 검색 도구

arXivLabs: 커뮤니티 협력자가 웹사이트에서 새로운 arXiv 기능을 개발하고 공유할 수 있도록 하는 프레임워크입니다.

arXivLabs는 커뮤니티 협력자가 웹사이트에서 새로운 arXiv 기능을 개발하고 공유할 수 있도록 하는 프레임워크입니다.

arXivLabs와 함께 작업하는 개인과 조직들은 개방성(openness), 커뮤니티(community), 탁월함(excellence), 사용자 데이터 프라이버시(user data privacy)라는 우리의 가치를 받아들이고 동참해 왔습니다. arXiv는 이러한 가치에 전념하며, 이를 준수하는 파트너와만 협력합니다.

arXiv의 커뮤니티에 가치를 더할 프로젝트 아이디어가 있으신가요? arXivLabs에 대해 더 알아보기.