Efficient fair algorithms for message communication

Abstract A computer network serves distributed applications by communicating messages between their remote ends. Many such applications desire minimal delay for their messages. Beside this efficiency objective, allocation of the network capacity is also subject to the fairness constraint of not shutting off communication for any individual message. Processor Sharing (PS) is a de facto standard of fairness but provides significantly higher average delay than Shortest Remaining Processing Time (SRPT), which is an optimally efficient but unfair algorithm. In this paper, we explore efficient fair algorithms for message communication where fairness means that no message is delivered later than under PS. First, we introduce a slack system to characterize fair algorithms completely and develop efficient fair algorithms called Pessimistic Fair Sojourn Protocol (PFSP), Optimistic Fair Sojourn Protocol (OFSP), and Shortest Fair Sojourn (SFS). Then, we prove that a fair online algorithm does not assure minimal average delay attainable with fairness. Our analysis also reveals lower bounds on worst-case inefficiency of fair algorithms. We conduct extensive simulations for various distributions of message sizes and arrival times. During either temporary overload or steady-state operation, SFS and other newly proposed fair algorithms support SRPT-like efficiency and consistently provide much smaller average delay than PS.

[1]  Eytan Modiano Scheduling packet transmissions in a multi-hop packet switched network based on message length , 1997, Proceedings of Sixth International Conference on Computer Communications and Networks.

[2]  Ludmila Cherkasova Scheduling Strategy to improve Response Time for Web Applications , 1998, HPCN Europe.

[3]  Adam Wierman,et al.  Bounds on a Fair Policy with Near Optimal Performance , 2003 .

[4]  V. Jacobson,et al.  Congestion avoidance and control , 1988, CCRV.

[5]  Dimitri P. Bertsekas,et al.  Data Networks , 1986 .

[6]  Rajeev Motwani,et al.  Non-clairvoyant scheduling , 1994, SODA '93.

[7]  Michael A. Bender,et al.  Flow and stretch metrics for scheduling continuous job streams , 1998, SODA '98.

[8]  Donald R. Smith Technical Note - A New Proof of the Optimality of the Shortest Remaining Processing Time Discipline , 1978, Oper. Res..

[9]  Mor Harchol-Balter,et al.  Analysis of SRPT scheduling: investigating unfairness , 2001, SIGMETRICS '01.

[10]  George Varghese,et al.  Efficient fair queueing using deficit round robin , 1995, SIGCOMM '95.

[11]  Sergey Gorinsky,et al.  Fair Efficiency, or Low Average Delay without Starvation , 2007, 2007 16th International Conference on Computer Communications and Networks.

[12]  Eric J. Friedman,et al.  Fairness and efficiency in web server protocols , 2003, SIGMETRICS '03.

[13]  Nageswara S. V. Rao,et al.  Dedicated Channels as an Optimal Network Support for Effective Transfer of Massive Data , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[14]  Harrick M. Vin,et al.  Start-time fair queueing: a scheduling algorithm for integrated services packet switching networks , 1996, SIGCOMM '96.

[15]  Linus Schrage,et al.  Letter to the Editor - A Proof of the Optimality of the Shortest Remaining Processing Time Discipline , 1968, Oper. Res..

[16]  Cynthia A. Phillips,et al.  Scheduling Jobs that Arrive Over Time (Extended Abstract) , 1995, WADS.

[17]  Scott Shenker,et al.  Analysis and simulation of a fair queueing algorithm , 1989, SIGCOMM '89.

[18]  J. van Leeuwen,et al.  Theoretical Computer Science , 2003, Lecture Notes in Computer Science.