TY - GEN
T1 - An Intermediate Representation for Network Programming Languages
AU - Li, Hao
AU - Zhang, Peng
AU - Sun, Guangda
AU - Hu, Chengchen
AU - Shan, Danfeng
AU - Pan, Tian
AU - Fu, Qiang
N1 - Publisher Copyright:
© 2020 ACM.
PY - 2020/8/3
Y1 - 2020/8/3
N2 - Network programming languages (NPLs) empower operators to program network data planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist and no one can prevail over others in the short future. Such diversity is raising many problems including: (1) programs written with different languages can hardly interoperate in the same network, and (2) most NPLs are bound to specific NDPs, hindering their independent evolution. These problems are mostly owing to the lack of modularity in the compilers, where the missing part is an intermediate representation (IR) for NPLs. To this end, we propose Network Transaction Automaton (NTA), a highly-expressive and language-independent representation as the IR. We show that NTA can express semantics of 6 mainstream NPLs, and can be composed efficiently without any semantics loss.
AB - Network programming languages (NPLs) empower operators to program network data planes (NDPs) with unprecedented efficiency. Currently, various NPLs and NDPs coexist and no one can prevail over others in the short future. Such diversity is raising many problems including: (1) programs written with different languages can hardly interoperate in the same network, and (2) most NPLs are bound to specific NDPs, hindering their independent evolution. These problems are mostly owing to the lack of modularity in the compilers, where the missing part is an intermediate representation (IR) for NPLs. To this end, we propose Network Transaction Automaton (NTA), a highly-expressive and language-independent representation as the IR. We show that NTA can express semantics of 6 mainstream NPLs, and can be composed efficiently without any semantics loss.
UR - https://www.scopus.com/pages/publications/85094891480
U2 - 10.1145/3411029.3411030
DO - 10.1145/3411029.3411030
M3 - 会议稿件
AN - SCOPUS:85094891480
T3 - ACM International Conference Proceeding Series
SP - 1
EP - 7
BT - Proceedings of 2020 4th Asia-Pacific Workshop on Networking, APNet 2020
PB - Association for Computing Machinery
T2 - 4th Asia-Pacific Workshop on Networking, APNet 2020
Y2 - 3 August 2020 through 4 August 2020
ER -