Abstract
In recent years the importance of the problem of efficiency of distributed applications grows since the distributed computer systems become more and more pervasive. The problem is the more difficult since it connects aspects of concurrent processing and communication between different parts of applications over the Internet links with parameters changing in time. In this paper we describe the problem of estimating data transmission time over the network. The results are part of the work heading towards enabling reliable simulation of distributed applications. The model of application and resources is created using Timed Colored Petri Nets (TCPN) and it is combined with Ns-2 implementation of Linux TCP. Thus reliable simulation of concurrent processes and resource competition is ensured by the formalism of TCPN and network transmission time is estimated by implementation including real TCP code. We present preliminary results of comparison between simulations and experiments.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allman, M., Paxson, V.: TCP Congestion Control. RFC 2581 (April 1999)
Allman, M., Paxson, V.: Computing TCP’s Retransmission Timer. RFC 2988 (November 2000)
De Figueiredo, J.C.A., Kristensen, L.M.: Using Coloured Petri nets to investigate behavioural and performance issues of TCP protocols. Department of Computer Science, Aarhus University, 21–40 (1999)
De Vendictis, A., Baiocchi, A., Monticelli, A.: Simple Models and their Limits for TCP/IP Network Analysis and Dimensioning. In: Proc. of IEEE ICC 2002 (April 2002)
Elteto, T., Vaderna, P., Molnar, S.: Performance Analysis of TCP Networks Loaded by Web Traffic. In: 18th International Teletraffic Congress, ITC18, Berlin, Germany, August 31 - September 5 (2003)
Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid. International Journal of Supercomputer Applications 15(3) (2001)
Fall, K., Floyd, S.: Simulation-based comparisons of tahoe, reno, and sack tcp. Computer Communication Review 26, 5–21 (1996)
Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use, Basic Concepts. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1994)
Kalampoukas, L., Varma, A., Ramakrishnan, K. K.: Two-Way TCP Traffic Over Rate Controlled Channels: Effects and Analysis, University of California at Santa Cruz, Santa Cruz, CA, USA (1997)
Mathis, M., Mahdavi, J., Floyd, S.: TCP Selective Acknowledgment Options. RFC 2018 (October 1996)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE 77(4) (April 1989)
Ns-2 network simulator homepage, http://isi.edu/nsnam/ns/
Petri Net Kernel and Petri Net Cube homepage, http://www2.informatik.hu-berlin.de/top/pnk/
Ye, Q., MacGregor, M.H.: Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation. In: 4th Annual Conference on Communication Networks and Services Research (CNSR), Moncton, New Brunswick, Canada, May 24–25 (2006)
Rząsa, W., Bubak, M.: Application of Petri Nets to Evaluation of Grid Applications Efficiency. In: Proc. of CGW 2008, Kraków, pp. 261–269 (2009) ISBN 978-83-61433-00-2
Rząsa, W., Bubak, M., Baliś, B., Szepieniec, T.: Overhead Verification for Cryptographically Secured Transmission in the Grid. Computing and Informatics 26, 89–101 (2007)
Transmission Control Protocol, RFC 793, Information Sciences Institute University of Southern California (September 1981)
Wei, D.X., Cao, P.: NS-2 TCP-Linux: an NS-2 TCP implementation with congestion control algorithms from Linux. In: WNS2 2006: Proceeding from the 2006 workshop on ns-2: the IP network simulator, Pisa, Italy. ACM, New York (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rząsa, W. (2009). Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications. In: Kwiecień, A., Gaj, P., Stera, P. (eds) Computer Networks. CN 2009. Communications in Computer and Information Science, vol 39. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02671-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-02671-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02670-6
Online ISBN: 978-3-642-02671-3
eBook Packages: Computer ScienceComputer Science (R0)