TY - GEN
T1 - Sequence Abstractions for Flexible, Line-Rate Network Monitoring
AU - Johnson, Andrew
AU - Beckett, Ryan
AU - Chen, Xiaoqi
AU - Mahajan, Ratul
AU - Walker, David
N1 - Publisher Copyright: © 2024 Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024. All rights reserved.
PY - 2024
Y1 - 2024
N2 - We develop FLM, a high-level language that enables network operators to write programs that recognize and react to specific packet sequences. To be able to examine every packet, our compilation procedure can transform FLM programs into P4 code that can run on programmable switch ASICs. It first splits FLM programs into a state management component and a classical regular expression, then generates an efficient implementation of the regular expression using SMT-based program synthesis. Our experiments find that FLM can express 15 sequence monitoring tasks drawn from prior literature. Our compiler can convert all of these programs to run on switch hardware in way that fit within available pipeline stages and consume less than 15% additional header fields and instruction words when run alongside switch programs.
AB - We develop FLM, a high-level language that enables network operators to write programs that recognize and react to specific packet sequences. To be able to examine every packet, our compilation procedure can transform FLM programs into P4 code that can run on programmable switch ASICs. It first splits FLM programs into a state management component and a classical regular expression, then generates an efficient implementation of the regular expression using SMT-based program synthesis. Our experiments find that FLM can express 15 sequence monitoring tasks drawn from prior literature. Our compiler can convert all of these programs to run on switch hardware in way that fit within available pipeline stages and consume less than 15% additional header fields and instruction words when run alongside switch programs.
UR - http://www.scopus.com/inward/record.url?scp=85194200361&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85194200361&partnerID=8YFLogxK
M3 - Conference contribution
T3 - Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024
SP - 1593
EP - 1620
BT - Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024
PB - USENIX Association
T2 - 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024
Y2 - 16 April 2024 through 18 April 2024
ER -