Luís Pina

A DSL Approach to Reconcile Equivalent Divergent Program Executions

| PDF | slides |

Luís Pina and Daniel Grumberg and Anastasios Andronidis and Cristian Cadar
In Proceedings of the 2017 USENIX Annual Technical Conference (USENIX ATC)
July, 2017

Abstract

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 paper, 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.

Bibtex

@inproceedings{,
  title     = {A DSL Approach to Reconcile Equivalent Divergent Program Executions},
  author    = {Pina, Lu\'{\i}s and Grumberg, Daniel and Andronidis, Anastasios and Cadar, Cristian},
  booktitle = {Proceedings of the {USENIX}  Annual Technical Conference},
  year      = {2017},
  month     = JUL,
  series    = {USENIX ATC '17},
  location  = {Santa Clara, CA, USA},
  publisher = {USENIX},
  
}