Generalizing window flow control in bivariate network calculus to enable leftover service in the loop

摘要

Network calculus is a methodology to analyze queueing networks in a (probabilistic) worst case setting. To that end, many results have been presented for different arrival and service processes and under different network topologies. Yet, in the stochastic setting of network calculus it has been found fundamentally hard to deal with feedback systems such as under window flow control constraints. First results on the bivariate feedback equation have been given by Chang et al. (2002). In this solution, the minimum in a sequence of self convolutions must be determined. Chang et al. show that under certain conditions the theoretically infinite sequence of self-convolutions can be cut off after evaluating a finite number of them; the reason being that any further terms are greater than previous terms. As it turns out the required conditions do not allow for leftover service descriptions in the feedback loop. As leftover descriptions are essential in a network analysis, a more general result as in Chang et al. (2002) is needed.