1st International ICST Conference on Simulation Tools and Techniques for Communications, Networks and Systems

Research Article

An investigation of credit-based flow control protocols

Download465 downloads
  • @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
Jonathan Billington1,*, Smit Saboo1,*
  • 1: Computer Systems Engineering Centre, School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, SA 5095, AUSTRALIA.
*Contact email: jonathan.billington@unisa.edu.au, smit.saboo@unisa.edu.au

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.