Research Article
An investigation of credit-based flow control protocols
@INPROCEEDINGS{10.4108/ICST.SIMUTOOLS2008.2998, author={Jonathan Billington and Smit Saboo}, title={An investigation of credit-based flow control protocols}, proceedings={1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems}, publisher={ICST}, proceedings_a={SIMUTOOLS}, year={2010}, month={5}, keywords={Flow Control Coloured Petri Nets Exhaustive Simulation}, doi={10.4108/ICST.SIMUTOOLS2008.2998} }- Jonathan Billington
Smit Saboo
Year: 2010
An investigation of credit-based flow control protocols
SIMUTOOLS
ICST
DOI: 10.4108/ICST.SIMUTOOLS2008.2998
Abstract
Credit-based flow control mechanisms, such as those used in the Transmission Control Protocol, allow flow control and error control procedures of data transfer protocols to oper- ate independently. We create a Coloured Petri Net model of a class of data transfer protocols, which uses retransmissions and acknowledgements for error control and“credits”for flow control. This model is characterized by 3 parameters: the maximum sequence number, the maximum number of re- transmissions and the maximum receiver buffer size. From the analysis results, we derive expressions in these param- eters for the channel bounds and the number of terminal states. These expressions are verified for a range of values of the parameters.
Copyright © 2008–2024 ICST
