Dynamic allocation of communicating tasks in computational grids

This paper studies task allocation in computational grids operating in a dynamic and uncertain environment. Computational grids consist of loosely coupled heterogeneous resources or agents with finite buffer capacities. These grids are primarily used to process large-scale applications consisting of several interdependent tasks. The task allocation problem is modeled as an infinite horizon Markov decision process, with the resource service times and the task arrivals following general probability distributions. We explicitly consider the communication cost between agents incurred in coordinating the execution of interdependent tasks. We show that a stationary optimal policy exists for this task allocation problem. Furthermore, we develop an action elimination procedure for reducing the complexity of computational methods in finding the optimal policy. We also present a real-time heuristic policy based on certain structural properties of the problem. Finally, computational results are presented that compare the performance of the heuristic policy with respect to other approaches for allocating tasks in the grid. Results from this paper are also applicable to the task allocation problem in manufacturing and service areas such as distributed design, project management and supplier coalitions.

[1]  David P. Anderson,et al.  SETI@home-massively distributed computing for SETI , 2001, Comput. Sci. Eng..

[2]  Ward Whitt,et al.  Deciding Which Queue to Join: Some Counterexamples , 1986, Oper. Res..

[3]  Michael P. Wellman,et al.  Some economics of market-based distributed scheduling , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[4]  Jingwen Wang,et al.  Utopia: A load sharing facility for large, heterogeneous distributed computer systems , 1993, Softw. Pract. Exp..

[5]  R. McAfee,et al.  Auctions and Bidding , 1986 .

[6]  Ronald L. Graham,et al.  Bounds for certain multiprocessing anomalies , 1966 .

[7]  Miron Livny,et al.  Condor-a hunter of idle workstations , 1988, [1988] Proceedings. The 8th International Conference on Distributed.

[8]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[9]  P. Klemperer Auction Theory: A Guide to the Literature , 1999 .

[10]  Michael P. Wellman,et al.  The WALRAS Algorithm: A Convergent Distributed Implementation of General Equilibrium Outcomes , 1998 .

[11]  Edmund H. Durfee,et al.  Coherent Cooperation Among Communicating Problem Solvers , 1987, IEEE Transactions on Computers.

[12]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[13]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[14]  William E. Johnston,et al.  Grids as production computing environments: the engineering aspects of NASA's Information Power Grid , 1999, Proceedings. The Eighth International Symposium on High Performance Distributed Computing (Cat. No.99TH8469).

[15]  Andrew A. Chien,et al.  The MicroGrid: a Scientific Tool for Modeling Computational Grids , 2000, ACM/IEEE SC 2000 Conference (SC'00).

[16]  David Abramson,et al.  A Computational Economy for Grid Computing and its Implementation in the Nimrod-G Resource Brok , 2001, Future Gener. Comput. Syst..

[17]  Virginia Mary Lo,et al.  Heuristic Algorithms for Task Assignment in Distributed Systems , 1988, IEEE Trans. Computers.

[18]  Robert McNaughton,et al.  Scheduling with Deadlines and Loss Functions , 1959 .

[19]  Tuomas Sandholm,et al.  An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations , 1993, AAAI.

[20]  Sean R Eddy,et al.  What is dynamic programming? , 2004, Nature Biotechnology.

[21]  Richard F. Serfozo,et al.  Monotone optimal policies for Markov decision processes , 1976 .

[22]  Henry G. Dietz,et al.  KLAT2's Flat Neighborhood Network , 2000, Annual Linux Showcase & Conference.

[23]  Michael G. Norman,et al.  Models of machines and computation for mapping in multicomputers , 1993, CSUR.

[24]  Rina Azoulay-Schwartz,et al.  Bidding Mechanisms for Data Allocation in Multi-Agent Environments , 1997, ATAL.

[25]  David E. Culler,et al.  A case for NOW (networks of workstation) , 1995, PODC '95.

[26]  Harold S. Stone,et al.  Multiprocessor Scheduling with the Aid of Network Flow Algorithms , 1977, IEEE Transactions on Software Engineering.

[27]  David B. Shmoys,et al.  A Polynomial Approximation Scheme for Scheduling on Uniform Processors: Using the Dual Approximation Approach , 1988, SIAM J. Comput..

[28]  Hans Akkermans,et al.  Power Load Management as a Computational Market , 1996 .

[29]  Craig Boutilier,et al.  Decision-Theoretic Planning: Structural Assumptions and Computational Leverage , 1999, J. Artif. Intell. Res..

[30]  Ronald A. Howard,et al.  Dynamic Programming and Markov Processes , 1960 .

[31]  Rajkumar Buyya,et al.  Grid Computing — GRID 2000 , 2002, Lecture Notes in Computer Science.

[32]  James B. Sinclair,et al.  Efficient Computation of Optimal Assignments for Distributed Tasks , 1987, J. Parallel Distributed Comput..

[33]  N. K.C. Krothapalli,et al.  Design of negotiation protocols for multi-agent manufacturing systems , 1999 .

[34]  Scott F. Midkiff,et al.  Heuristic Technique for Processor and Link Assignment in Multicomputers , 1991, IEEE Trans. Computers.

[35]  Tapani Lehtonen,et al.  On the optimality of the shortest line discipline , 1984 .

[36]  Edmund H. Durfee,et al.  Distributed Problem Solving and Planning , 2001, EASSS.

[37]  Michael P. Wellman A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems , 1993, J. Artif. Intell. Res..

[38]  Robert L. Henderson,et al.  Job Scheduling Under the Portable Batch System , 1995, JSSPP.

[39]  Charles A. Smith,et al.  Multiagent Design Architecture for Intelligent Synthesis Environment , 2001 .

[40]  Shahid H. Bokhari,et al.  A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System , 1981, IEEE Transactions on Software Engineering.

[41]  Shahid H. Bokhari,et al.  On the Mapping Problem , 1981, IEEE Transactions on Computers.

[42]  Ian Foster,et al.  The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[43]  Michael P. Wellman,et al.  Auction Protocols for Decentralized Scheduling , 2001, Games Econ. Behav..