Modelling and stability of FAST TCP

We discuss the modelling of FAST TCP and prove four stability results. Using the traditional continuous-time flow model, we prove, for general networks, that FAST TCP is globally asymptotically stable when there is no feedback delay and that it is locally asymptotically stable in the presence of feedback delay provided a local stability condition is satisfied. We present an experiment on an emulated network in which the local stability condition is violated. While the theory predicts instability, the experiment shows otherwise. We believe this is because the continuous-time model ignores the stabilizing effect of self-clocking. Using a discrete-time model that captures this effect, we show that FAST TCP is locally asymptotically stable for general networks if all flows have the same feedback delay, no matter how large the delay is. We also prove global asymptotic stability for a single bottleneck link in the absence of feedback delay. The techniques developed here are new and applicable to other protocols.