Abstract
The advent of multipoint (multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we present a method for automatic synthesis of worst and best case scenarios for multipoint protocol performance evaluation. Our method uses a fault-oriented test generation (FOTG) algorithm for searching the protocol and system state space to synthesize these scenarios. The algorithm is based on a global finite state machine (FSM) model. We extend the algorithm with timing semantics to handle end-to-end delays and address performance criteria. We introduce the notion of a virtual LAN to represent delays of the underlying multicast distribution tree.
As a case study, we use our method to evaluate variants of the timer suppression mechanism, used in various multipoint protocols, with respect to two performance criteria: overhead of response messages and response time. Simulation results for reliable multicast protocols show that our method provides a scalable way for synthesizing worst-case scenarios automatically. We expect our method to serve as a model for applying systematic scenario generation to other multipoint protocols.
Keywords
- Packet Loss
- Finite State Machine
- Response Message
- Reachability Analysis
- Systematic Performance Evaluation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35533-7_26
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
D. Estrin, D. Farinacci, A. Helmy et al. Protocol Independent Multicast - Sparse Mode (PIM-SM): Protocol Specification. RFC 2117, March 1997.
D. Estrin, D. Farinacci, A. Helmy et al. Protocol Independent Multicast - Dense Mode (PIM-DM): Protocol Specification. Proposed RFC, September 1996.
W. Fenner. Internet Group Management Protocol, Version 2. Internet-Draft, November 1997.
S. Floyd, V. Jacobson, C. Liu, S. McCanne, and L. Zhang. A Reliable Multicast Framework for Light-weight Sessions and Application Level Framing. IEEE/ACM Transactions on Networking, November 1996.
R. Govindan, H. Yu, and D. Estrin. Large-scale weakly consistent replication using multicast. USC-CS-TR 98–682, September 1998.
M. Handley. The Address Allocation Protocol. Internet-Draft, August 1998.
E. Amir et al. An active service framework and its application to real-time multimedia transcoding. ACM SIGCOMM’98, September 1998.
A. Reddy, D. Estrin, and R. Govindan. Fault Isolation in Multicast Trees. ACM SIGCOMM, August 2000.
A. Helmy and D. Estrin. Simulation-based STRESS Testing Case Study: A Multicast Routing Protocol. IEEE MASCOTS, July 1998.
A. Helmy, D. Estrin, and S. Gupta. Fault-oriented test generation for multicast routing protocol design. FORTE/PSTV, November 1998.
A. Helmy et al. Performance Evaluation of Multipoint Protocols Using Systematic Scenario Synthesis. USC-CS-TR 00–726, March 2000.
Ahmed Helmy. Systematic Test Synthesis for Multipoint Protocol Design. USCCS-TR 99–716, Ph.D. Dissertation, August 1999.
K. Calvert, M. Doar, and E. Zegura. Modeling Internet Topology. IEEE Communications, June 1997.
E. Clarke and J. Wing. Formal Methods: State of the Art and Future Directions. ACM Wkshp on Strategic Directions in Computing Research, December 1996.
F. Lin, P. Chu, and M. Liu. Protocol Verification using Reachability Analysis. Computer Communication Review, Vol. 17, No. 5, 1987.
F. Pong and M. Dubois. Verification Techniques for Cache Coherence Protocols. ACM Computing Surveys, March 1996.
L. Breslau, D. Estrin, K. Fall, S. Floyd, J. Heidemann, A. Helmy et al. Advances in Network Simulation. IEEE Computer, May 2000.
D. Estrin, R. Govindan, J. Heidemann, and S. Kumar. Next century challenges: Scalable coordination in sensor networks. ACM MobiCom, August 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Helmy, A., Gupta, S., Estrin, D., Cerpa, A., Yu, Y. (2000). Systematic Performance Evaluation of Multipoint Protocols. In: Bolognesi, T., Latella, D. (eds) Formal Methods for Distributed System Development. PSTV FORTE 2000 2000. IFIP — The International Federation for Information Processing, vol 55. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35533-7_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-35533-7_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5264-9
Online ISBN: 978-0-387-35533-7
eBook Packages: Springer Book Archive