Validation of simulated real world TCP stacks

The TCP models in ns-2 have been validated and are widely used in network research. They are however not aimed at producing results consistent with a TCP implementation, they are rather designed to be a general model for TCP congestion control. The Network Simulation Cradle makes real world TCP implementations available to ns-2: Linux, FreeBSD and OpenBSD can all be simulated as easily as using the original simplified models. These simulated TCP implementations can be validated by directly comparing packet traces from simulations to traces measured from a real network. We describe the Network Simulation Cradle, present packet trace comparison results showing the high degree of accuracy possible when simulating with real TCP implementations and briefly show how this is reflected in a simulation study of TCP throughput.

[1]  T. V. Lakshman,et al.  TCP/IP performance with random loss and bidirectional congestion , 2000, TNET.

[2]  Luigi Rizzo,et al.  Dummynet: a simple approach to the evaluation of network protocols , 1997, CCRV.

[3]  Osman Balci,et al.  Verification, validation, and accreditation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[4]  Donald F. Towsley,et al.  Modeling TCP Reno performance: a simple model and its empirical validation , 2000, TNET.

[5]  Osman Balci,et al.  Verification, Validation And Accreditation Of Simulation Models , 1997, Winter Simulation Conference Proceedings,.

[6]  Jack P. C. Kleijnen,et al.  EUROPEAN JOURNAL OF OPERATIONAL , 1992 .

[7]  John S. Carson.  Verification validation: model verification and validation , 2002, WSC '02.

[8]  Anthony McGregor,et al.  Simulation with real world network stacks , 2005, Proceedings of the Winter Simulation Conference, 2005..

[9]  Roland Bless,et al.  Integration of the freebsd TCP/IP-stack into the discrete event simulator OMNET++ , 2004, Proceedings of the 2004 Winter Simulation Conference, 2004..

[10]  Injong Rhee,et al.  Binary increase congestion control (BIC) for fast long-distance networks , 2004, IEEE INFOCOM 2004.

[11]  Sally Floyd,et al.  Ns Simulator Tests for Reno FullTCP , 1997 .

[12]  Rajive Bagrodia,et al.  Position Paper on Validation of Network simulation models , 1999 .

[13]  Sally Floyd,et al.  Dynamics of TCP traffic over ATM networks , 1994 .

[14]  Mario Gerla,et al.  GloMoSim: a library for parallel simulation of large-scale wireless networks , 1998 .

[15]  Sally Floyd,et al.  Increasing TCP's Initial Window , 1998, RFC.

[16]  J.S. Carson,et al.  Model verification and validation , 2002, Proceedings of the Winter Simulation Conference.

[17]  Sally Floyd,et al.  Dynamics of TCP Traffic over ATM Networks , 1995, IEEE J. Sel. Areas Commun..

[18]  Srinidhi Varadarajan,et al.  The Distributed Open Network Emulator: Using Relativistic Time for Distributed Scalable Simulation , 2006, 20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06).

[19]  Yin Zhang,et al.  The Stationarity of Internet Path Properties: Routing, Loss, and Throughput , 2000 .

[20]  Robert G. Sargent,et al.  Verification and validation: verification and validation of simulation models , 2003, WSC '03.

[21]  Marko Zec,et al.  Proceedings of the Freenix Track: 2003 Usenix Annual Technical Conference Implementing a Clonable Network Stack in the Freebsd Kernel , 2022 .