Cross-ISA testing of the Pharo VM: lessons learned while porting to ARMv8
| Autor: | Guillermo Polito, Carolina Hernandez Phillips, Théo Rogliano, Pierre Misse-Chanabier, Luc Fabresse, Pablo Tesone, Stéphane Ducasse |
|---|---|
| Přispěvatelé: | Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Analyses and Languages Constructs for Object-Oriented Application Evolution (RMOD), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Ecole nationale supérieure Mines-Télécom Lille Douai (IMT Lille Douai), Institut Mines-Télécom [Paris] (IMT), Ecole nationale supérieure Mines-Télécom Lille Douai (IMT Nord Europe) |
| Rok vydání: | 2021 |
| Předmět: |
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
SIMPLE (military communications protocol) Computer science ports media_common.quotation_subject just-in-time compilers virtual machines Inline caching 020207 software engineering 02 engineering and technology computer.software_genre Porting testing Task (computing) Debugging Just-in-time compilation Virtual machine 020204 information systems ARM 0202 electrical engineering electronic engineering information engineering Operating system Cross-ISA Pharo computer media_common |
| Zdroj: | MPLR MPLR ’21, Germany MPLR ’21, Germany, Sep 2021, Münster, Germany. ⟨10.1145/3475738.3480715⟩ |
| DOI: | 10.1145/3475738.3480715 |
| Popis: | International audience; Testing and debugging a Virtual Machine is a laborious task without the proper tooling. This is particularly true for VMs with JIT compilation and dynamic code patching for techniques such as inline caching. In addition, this situation is getting worse when the VM builds and runs on multiple target architectures. In this paper, we report on several lessons we learned while testing the Pharo VM, particularly during the port of its Cogit JIT compiler to the AArch64 architecture. The Pharo VM presented already a simulation environment that is very handy to simulate full executions and live-develop the VM. However, this full simulation environment makes it difficult to reproduce short and simple testing scenarios. We extended the pre-existing simulation environment with a testing infrastructure and a methodology that allow us to have fine-grained control of testing scenarios, making tests small, fast, reproducible, and cross-ISA. We report on how this testing infrastructure allowed us to cope with two different development scenarios: (1) porting the Cogit JIT compiler to AArch64 without early access to real hardware and (2) debugging memory corruptions due to GC bugs. CCS Concepts: • Software and its engineering → Runtime environments. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|