Hypergraph-based task-bundle scheduling towards efficiency and fairness in heterogeneous distributed systems

This paper investigates scheduling loosely coupled task-bundles in highly heterogeneous distributed systems. Two allocation quality metrics are used in pay-per-service distributed applications: efficiency in terms of social welfare, and fairness in terms of envy-freeness. The first contribution of this work is that we build a unified hypergraph scheduling model under which efficiency and fairness are compatible with each other. Second, in the scenario of budget-unawareness, we formulate a strategic algorithm design for distributed negotiations among autonomous self-interested computing peers and prove its convergence to complete local efficiency and envy-freeness. Third, we add budget limitation to the allocation problem and propose a class of hill-climbing heuristics in favor of different performance metrics. Finally we conduct extensive simulations to validate the performance of all the proposed algorithms. The results show that the decentralized hypergraph scheduling method is scalable, and yields desired allocation performance in various scenarios.

[1]  William Vickrey,et al.  Counterspeculation, Auctions, And Competitive Sealed Tenders , 1961 .

[2]  Qiao Li,et al.  Maximal Scheduling in a Hypergraph Model for Wireless Networks , 2008, 2008 IEEE International Conference on Communications.

[3]  Tim Roughgarden,et al.  The price of stability for network design with fair cost allocation , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[4]  Yann Chevaleyre,et al.  Reaching Envy-Free States in Distributed Negotiation Settings , 2007, IJCAI.

[5]  E. H. Clarke Multipart pricing of public goods , 1971 .

[6]  Alexandru Iosup,et al.  The performance of bags-of-tasks in large-scale distributed systems , 2008, HPDC '08.

[7]  Theodore Groves,et al.  Incentives in Teams , 1973 .

[8]  Richard Wolski,et al.  G-commerce: market formulations controlling resource allocation on the computational grid , 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

[9]  Adam Wierzbicki,et al.  Fair Game-Theoretic Resource Management in Dedicated Grids , 2007, Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07).

[10]  Rajmohan Rajaraman,et al.  Bounded budget connection (BBC) games or how to make friends and influence people, on a budget , 2008, PODC '08.

[11]  Yann Chevaleyre,et al.  How equitable is rational negotiation? , 2006, AAMAS '06.

[12]  Steven J. Brams,et al.  Fair division - from cake-cutting to dispute resolution , 1998 .

[13]  Yann Chevaleyre,et al.  Allocating Goods on a Graph to Eliminate Envy , 2007, AAAI.

[14]  Rajkumar Buyya,et al.  Fair resource sharing in hierarchical virtual organizations for global grids , 2007, 2007 8th IEEE/ACM International Conference on Grid Computing.

[15]  Rob H. Bisseling,et al.  Parallel hypergraph partitioning for scientific computing , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[16]  S.,et al.  An Efficient Heuristic Procedure for Partitioning Graphs , 2022 .

[17]  Daniel Grosu,et al.  Combinatorial auction-based protocols for resource allocation in grids , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[18]  Sheila A. McIlraith,et al.  Partition-based logical reasoning for first-order and propositional theories , 2005, Artif. Intell..

[19]  Éva Tardos,et al.  An approximate truthful mechanism for combinatorial auctions with single parameter agents , 2003, SODA '03.

[20]  Dennis J.-H. Huang,et al.  Multilevel Circuit Partitioning , 1997, Proceedings of the 34th Design Automation Conference.

[21]  Arnold L. Rosenberg,et al.  Path-robust multi-channel wireless networks , 2009, 2009 IEEE International Symposium on Parallel & Distributed Processing.

[22]  Ümit V. Çatalyürek,et al.  Hypergraph-Partitioning-Based Decomposition for Parallel Sparse-Matrix Vector Multiplication , 1999, IEEE Trans. Parallel Distributed Syst..

[23]  Éva Tardos,et al.  Truthful mechanisms for one-parameter agents , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[24]  Thomas R. Ioerger,et al.  Task-Oriented Computational Economic-Based Distributed Resource Allocation Mechanisms for Computational Grids , 2004, IC-AI.

[25]  Aaron Archer,et al.  Mechanisms for discrete optimization with rational agents , 2004 .

[26]  P. Sadayappan,et al.  Hypergraph Partitioning for Automatic Memory Hierarchy Management , 2006, ACM/IEEE SC 2006 Conference (SC'06).

[27]  Kirk Pruhs,et al.  Balanced Allocations of Cake , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[28]  Xiaolin Li,et al.  Efficient Grid Task-Bundle Allocation Using Bargaining Based Self-Adaptive Auction , 2009, 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid.

[29]  Emmanouel A. Varvarigos,et al.  Fair Scheduling Algorithms in Grids , 2007, IEEE Transactions on Parallel and Distributed Systems.

[30]  Ahuva Mu'alem,et al.  On the importance of migration for fairness in online grid markets , 2008, 2008 9th IEEE/ACM International Conference on Grid Computing.

[31]  Ümit V. Çatalyürek,et al.  Hypergraph-based Dynamic Load Balancing for Adaptive Scientific Computations , 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

[32]  David Abramson,et al.  Grid Resource Management, Scheduling and Computational Economy , 2000 .