Switch Code Generation Using Program Synthesis
| Autor: | Divya Raghunathan, Aarti Gupta, Taegyun Kim, Xiangyu Gao, Anirudh Sivaraman, Michael D. Wong, Pravein Govindan Kannan, Srinivas Narayana, Aatish Kishan Varma |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
050101 languages & linguistics
Programming language Computer science 05 social sciences 02 engineering and technology computer.software_genre Pipeline (software) Slicing Domino 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences Code generation Compiler computer Machine code Program synthesis |
| Zdroj: | SIGCOMM |
| Popis: | Writing packet-processing programs for programmable switch pipelines is challenging because of their all-or-nothing nature: a program either runs at line rate if it can fit within pipeline resources, or does not run at all. It is the compiler's responsibility to fit programs into pipeline resources. However, switch compilers, which use rewrite rules to generate switch machine code, often reject programs because the rules fail to transform programs into a form that can be mapped to a pipeline's limited resources---even if a mapping actually exists. This paper presents a compiler, Chipmunk, which formulates code generation as a program synthesis problem. Chipmunk uses a program synthesis engine, SKETCH, to transform high-level programs down to switch machine code. However, naively formulating code generation as program synthesis can lead to long compile times. Hence, we develop a new domain-specific synthesis technique, slicing, which reduces compile times by 1-387x and 51x on average. Using a switch hardware simulator, we show that Chipmunk compiles many programs that a previous rule-based compiler, Domino, rejects. Chipmunk also produces machine code with fewer pipeline stages than Domino. A Chipmunk backend for the Tofino programmable switch shows that program synthesis can produce machine code for high-speed switches. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|