Dynamic Sketch: Efficient and Adjustable Heavy Hitter Detection for Software Packet Processing