Testing Compilers for Programmable Switches Through Switch Hardware Simulation
| Autor: | Anirudh Sivaraman, Aatish Kishan Varma, Michael D. Wong |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
FOS: Computer and information sciences
B.4.4 business.product_category business.industry Computer science D.2.5 D.3.4 Pipeline (computing) Software development Fuzz testing C.2.0 computer.software_genre Networking hardware Instruction set Hardware Architecture (cs.AR) Network switch Compiler business Computer Science - Hardware Architecture computer Machine code Computer hardware |
| Zdroj: | CoNEXT |
| Popis: | Programmable switches have emerged as powerful and flexible alternatives to fixed-function forwarding devices. But because of the unique hardware constraints of network switches, the design and implementation of compilers targeting these devices is tedious and error prone. Despite the important role that compilers play in software development, there is a dearth of tools for testing compilers for programmable network devices. We present Druzhba, a programmable switch simulator used for testing compilers targeting programmable packet-processing substrates. We show that we can model the low-level behavior of a switch's programmable hardware. We further show how our machine model can be used by compiler developers to target Druzhba as a compiler backend. Generated machine code programs are fed into Druzhba and tested using a fuzzing-based approach that allows compiler developers to test the correctness of their compilers. Using a program-synthesis-based compiler as a case study, we demonstrate how Druzhba has been successful in testing compiler-generated machine code for our simulated switch pipeline instruction set. 7 pages, 4 figures |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|