A DSL Approach to Reconcile Equivalent Divergent Program Executions
Multi-Version Execution (MVE) deploys multiple versions of the same program, typically synchronizing their execution at the level of system calls. By default, MVE requires all deployed versions to issue the same sequence of system calls, which limits the types of versions which can be deployed.
In this talk, we propose a Domain-Specific Language (DSL) to reconcile expected divergences between different program versions deployed through MVE. We evaluate the DSL by adding it to an existing MVE system (Varan) and testing it via three scenarios: (1) deploying the same program under different configurations, (2) deploying different releases of the same program, and (3) deploying dynamic analyses in parallel with the native execution. We also present an algorithm to automatically extract DSL rules from pairs of system call traces. Our results show that each scenario requires a small number of simple rules (at most 14 rules in each case) and that writing DSL rules can be partially automated.
Luís Pina is a post-doctoral researcher in the Department of Computing at Imperial College London, where he works in the Software Reliability Group on Multi-Version Execution. His research interests include dynamic software updating, programming languages, runtime environments, and concurrency. Luís holds a PhD from Instituto Superior Técnico since 2016. His dissertation explored how to perform Dynamic Software Updates to a Java program with minimal disruption and without requiring a custom JVM. He developed his work with Prof. João Cachopo at ESW, Prof. Luís Veiga at GSD, and Prof. Michael Hicks at PLUM.