Enforcing Type-Safe Linking using Inter-Package Relationships
| Autor: | Mehdi Dogguy, Stéphane Glondu, Sylvain Le Gall, Stefano Zacchiroli |
|---|---|
| Přispěvatelé: | Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Micaela Mayero, Sylvain Conchon, European Project: 214898,EC:FP7:ICT,FP7-ICT-2007-1,MANCOOSI(2008), Zacchiroli, Stefano, Managing the complexity of the open source infrastructure - MANCOOSI - - EC:FP7:ICT2008-02-01 - 2011-05-31 - 214898 - VALID |
| Předmět: | |
| Zdroj: | HAL Studia Informatica Universalis Studia Informatica Universalis, Hermann, 2011, 9 (1), pp.129-157 Proceedings of the 21st Journée Francophones des Langages Applicatifs (JFLA 2010) 21st Journée Francophones des Langages Applicatifs (JFLA 2010) 21st Journée Francophones des Langages Applicatifs (JFLA 2010), Jan 2010, La Ciotat, France. pp.29-54 |
| ISSN: | 1625-7545 2496-1477 |
| Popis: | International audience; Strongly-typed languages rely on link-time checks to ensure that type safety is not violated at the borders of compilation units. Such checks entail very fine-grained dependencies among compilation units, which are at odds with the implicit assumption of backward compatibility that is relied upon by common library packaging techniques adopted by FOSS (Free and Open Source Software) package-based distributions. As a consequence, package managers are often unable to prevent users to install a set of libraries which cannot be linked together. We discuss how to guarantee link-time compatibility using inter-package relationships; in doing so, we take into account real-life maintainability problems such as support for automatic package rebuild and manageability of ABI (Application Binary Interface) strings by humans. We present the dh_ocaml implementation of the proposed solution, which is currently in use in the Debian distribution to safely deploy more than 300 OCaml-related packages. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|