packetdrill: scriptable network stack testing, from sockets to packets

Authors:
Neal Cardwell;Yuchung Cheng;Lawrence Brakmo;Matt Mathis;Barath Raghavan;Nandita Dukkipati;Hsiao-Keng Jerry Chu;Andreas Terzis;Tom Herbert
Affiliations:
Google;Google;Google;Google;Google;Google;Google;Google;Google
Venue:
USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference
Year:
2013

Citing 12
Cited 0

Automated packet trace analysis of TCP implementations

SIGCOMM '97 Proceedings of the ACM SIGCOMM '97 conference on Applications, technologies, architectures, and protocols for computer communication
Experiments on six commercial TCP implementations using a software fault injection tool

Software—Practice & Experience
Formal specification and verification of safety and performance of TCP selective acknowledgment

IEEE/ACM Transactions on Networking (TON)
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monkey see, monkey do: a tool for TCP tracing and replaying

ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Model checking large network protocol implementations

NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
An argument for increasing TCP's initial congestion window

ACM SIGCOMM Computer Communication Review
Finding protocol manipulation attacks

Proceedings of the ACM SIGCOMM 2011 conference
Proportional rate reduction for TCP

Proceedings of the 2011 ACM SIGCOMM conference on Internet measurement conference
TCP fast open

Proceedings of the Seventh COnference on emerging Networking EXperiments and Technologies
Reducing web latency: the virtue of gentle aggression

Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM

Quantified Score

Hi-index	0.00

Visualization

Abstract

Testing today's increasingly complex network protocol implementations can be a painstaking process. To help meet this challenge, we developed packetdrill, a portable, open-source scripting tool that enables testing the correctness and performance of entire TCP/UDP/IP network stack implementations, from the system call layer to the hardware network interface, for both IPv4 and IPv6. We describe the design and implementation of the tool, and our experiences using it to execute 657 test cases. The tool was instrumental in our development of three new features for Linux TCP--Early Retransmit, Fast Open, and Loss Probes--and allowed us to find and fix 10 bugs in Linux. Our team uses packetdrill in all phases of the development process for the kernel used in one of the world's largest Linux installations.