Debootstrapping without Archeology - Département d'informatique Accéder directement au contenu
Article Dans Une Revue The Art, Science, and Engineering of Programming Année : 2022

Debootstrapping without Archeology

Résumé

Context It is common for programming languages that their reference implementation is implemented in the language itself. This requires a "bootstrap binary": the executable form of a previous version of the implementation is provided along with the sources, to be able to run the implementation itself. Those bootstrap binaries are opaque; they could contain bugs, or even malicious changes that could reproduce themselves when running the source version of the language implementation-this is called the "trusting trust attack". A collective project called Bootstrappable was launched in to remove bootstrap binaries, providing alternative build paths that do not rely on opaque binaries. Inquiry Debootstrapping generally combines a mix of two approaches. The "archaeological" approach works by locating old versions of systems, or legacy alternative implementations, that do not need the bootstrap binaries, and by preserving or restoring the ability to run them. The "tailored" approach re-implements a new, non-bootstrapped implementation of the system to debootstrap. Currently, the "tailored" approach is dominant for low-level system components (C, coreutils), and the "archaeological" approach is dominant among the few higher-level languages that were debootstrapped. Approach We advocate for the benefits of "tailored" debootstrapping implementations of high-level languages. The new implementation needs not be production-ready: only to be able to run the reference implementation correctly. We argue that this is feasible , with several side benefits besides debootstrapping. Knowledge We propose a specific design of composing/stacking several implementations: a reference interpreter for the language of interest, implemented in a small subset of the language, and a compiler for this small subset (in another language). Developing a reference interpreter is valuable independently of debootstrapping: it may help clarify the language semantics, and can be reused for other purposes such as differential testing of the other implementations. Grounding We present Camlboot, our project to debootstrap the OCaml compiler, version. . Once we converged on this final design, the last version of Camlboot took about two human-months of implementation effort, demonstrating feasibility. Using diverse double-compilation, we were able to prove the absence of trusting trust attack in the existing bootstrap binaries of the standard OCaml implementation. Importance To our knowledge, this document is the first scholarly discussion of "tailored" debootstrapping for high-level programming languages. Debootstrapping recently grew an active community of free software contributors, but so far the interactions with the programming language research community have been minimal. We share our experience on Camlboot, trying to highlight aspects that are of interest to other language designers and implementors; we hope to foster stronger ties between the Bootstrappable project and relevant academic communities. In particular, the debootstrapping experience has been an interesting reflection on language design and implementation..
Fichier principal
Vignette du fichier
camlboot.pdf (461.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03917754 , version 1 (02-01-2023)

Identifiants

Citer

Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer. Debootstrapping without Archeology: Stacked Implementations in Camlboot. The Art, Science, and Engineering of Programming, 2022, 6 (3), ⟨10.22152/programming-journal.org/2022/6/13⟩. ⟨hal-03917754⟩
43 Consultations
46 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More