Task-resource scheduling problem

Cloud computing is a new and rapidly emerging computing paradigm where applications, data and IT services are provided over the Internet. The task-resource management is the key role in cloud computing systems. Task-resource scheduling problems are premier which relate to the efficiency of the whole cloud computing facilities. Task-resource scheduling problem is NP-complete. In this paper, we consider an approach to solve this problem optimally. This approach is based on constructing a logical model for the problem. Using this model, we can apply algorithms for the satisfiability problem (SAT) to solve the task-resource scheduling problem. Also, this model allows us to create a testbed for particle swarm optimization algorithms for scheduling workflows.

[1]  Alioune Ngom,et al.  Genetic algorithm based scheduler for computational grids , 2005, 19th International Symposium on High Performance Computing Systems and Applications (HPCS'05).

[2]  Jian Xie,et al.  Independent Tasks Scheduling Based on Genetic Algorithm in Cloud Computing , 2009, 2009 5th International Conference on Wireless Communications, Networking and Mobile Computing.

[3]  Toby Walsh,et al.  Local Consistencies in SAT , 2003, SAT.

[4]  Yike Guo,et al.  Optimization of Resource Scheduling in Cloud Computing , 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[5]  Matthew R. Pocock,et al.  Taverna: a tool for the composition and enactment of bioinformatics workflows , 2004, Bioinform..

[6]  Mehmet Fatih Tasgetiren,et al.  A particle swarm optimization algorithm for makespan and total flowtime minimization in the permutation flowshop sequencing problem , 2007, Eur. J. Oper. Res..

[7]  Anna Gorbenko,et al.  Self-Learning Algorithm for Visual Recognition and Object Categorization for Autonomous Mobile Robots , 2012 .

[8]  Jeffrey D. Ullman,et al.  NP-Complete Scheduling Problems , 1975, J. Comput. Syst. Sci..

[9]  Roscoe Giles,et al.  Proceedings of the 2002 ACM/IEEE conference on Supercomputing, Baltimore, Maryland, USA, November 16-22, 2002, CD-ROM , 2002, SC.

[10]  Rafael Rivera-López,et al.  A Local Search Algorithm for a SAT Representation of Scheduling Problems , 2007, ICCSA.

[11]  Rajkumar Buyya,et al.  Cloudbus Toolkit for Market-Oriented Cloud Computing , 2009, CloudCom.

[12]  Rajkumar Buyya,et al.  Workflow scheduling algorithms for grid computing , 2008 .

[13]  Ladislau Bölöni,et al.  A Comparison of Eleven Static Heuristics for Mapping a Class of Independent Tasks onto Heterogeneous Distributed Computing Systems , 2001, J. Parallel Distributed Comput..

[14]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.

[15]  Bertram Ludäscher,et al.  Scientific workflow management and the Kepler system: Research Articles , 2006 .

[16]  E.L. Lawler,et al.  Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey , 1977 .

[17]  Shanshan Song,et al.  Security-driven heuristics and a fast genetic algorithm for trusted grid job scheduling , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[18]  Daniel S. Katz,et al.  Pegasus: A framework for mapping complex scientific workflows onto distributed systems , 2005, Sci. Program..

[19]  Andrey S. Krylov,et al.  The problem of sensor placement for triangulation-based localisation , 2011, Int. J. Autom. Control..

[20]  Anna Gorbenko,et al.  The problem of placement of visual landmarks , 2011 .

[21]  Kaizar Amin,et al.  GridAnt: a client-controllable grid workflow system , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[22]  Jussi Rintanen,et al.  Satisfiability Planning with Constraints on the Number of Actions , 2005, ICAPS.

[23]  Rajkumar Buyya,et al.  A grid workflow environment for brain imaging analysis on distributed systems , 2009 .

[24]  Gui-Sheng Chen,et al.  A method for trust management in cloud computing: Data coloring by cloud watermarking , 2011, Int. J. Autom. Comput..

[25]  Andrey Sheka,et al.  Robot Self-Awareness: Exploration of Internal States , 2012 .

[26]  J. Craggs.  Applied Mathematical Sciences , 1973 .

[27]  Radu Prodan,et al.  Scheduling of scientific workflows in the ASKALON grid environment , 2005, SGMD.

[28]  James M. Crawford,et al.  Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems , 1994, AAAI.

[29]  Seda Ogrenci Memik,et al.  Accelerated SAT-based scheduling of control/data flow graphs , 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[30]  Emilson Pereira Leite.  Matlab - Modelling, Programming and Simulations , 2010 .

[31]  Patrick Siarry,et al.  A theoretical study on the behavior of simulated annealing leading to a new cooling schedule , 2005, Eur. J. Oper. Res..

[32]  Andrey Sheka,et al.  Localization on Discrete Grid Graphs , 2012 .

[33]  Jie Xu,et al.  An automatic intrusion diagnosis approach for clouds , 2011, Int. J. Autom. Comput..

[34]  Alan M. Frisch,et al.  Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings , 2001, Journal of Automated Reasoning.

[35]  Imtiaz Ahmad,et al.  Particle swarm optimization for task assignment problem , 2002, Microprocess. Microsystems.

[36]  Yuehui Chen,et al.  A Task Scheduling Algorithm Based on PSO for Grid Computing , 2008 .

[37]  Yang Gao,et al.  Adaptive grid job scheduling with genetic algorithms , 2005, Future Gener. Comput. Syst..

[38]  Fatos Xhafa,et al.  Metaheuristics for scheduling in distributed computing environments , 2008 .

[39]  Jin-Kao Hao,et al.  GASAT: A Genetic Local Search Algorithm for the Satisfiability Problem , 2006, Evolutionary Computation.

[40]  Subhash Saini,et al.  GridFlow: workflow management for grid computing , 2003, CCGrid 2003. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings..

[41]  Sheldon Howard Jacobson,et al.  Analysis of Static Simulated Annealing Algorithms , 2002 .

[42]  Jan Karel Lenstra,et al.  Scheduling subject to resource constraints: classification and complexity , 1983, Discret. Appl. Math..

[43]  F. Aloul,et al.  Solving Employee Timetabling Problems Using Boolean Satisfiability , 2006, 2006 Innovations in Information Technology.

[44]  Anthony A. Maciejewski,et al.  Task Matching and Scheduling in Heterogenous Computing Environments Using a Genetic-Algorithm-Based Approach , 1997, J. Parallel Distributed Comput..

[45]  Ruixuan Li,et al.  Trustworthy assurance of service interoperation in cloud environment , 2011, Int. J. Autom. Comput..

[46]  Rajkumar Buyya,et al.  A Particle Swarm Optimization-Based Heuristic for Scheduling Workflow Applications in Cloud Computing Environments , 2010, 2010 24th IEEE International Conference on Advanced Information Networking and Applications.

[47]  R. Sarnath,et al.  Proceedings of the International Conference on Parallel Processing , 1992 .

[48]  Shuichi Miyazaki,et al.  SAT-Varible Complexity of Hard Combinatorial Problems , 1994, IFIP Congress.

[49]  Marco Mililotti,et al.  Sub optimal scheduling in a grid using genetic algorithms , 2004, Parallel Comput..

[50]  Yike Guo,et al.  IC cloud: Enabling compositional cloud , 2011, Int. J. Autom. Comput..

[51]  Randy H. Katz,et al.  Above the Clouds: A Berkeley View of Cloud Computing , 2009 .

[52]  Martin Gilje Jaatun,et al.  Proceedings of the 1st International Conference on Cloud Computing , 2009 .

[53]  Ian Taylor,et al.  Distributed computing with Triana on the Grid: Research Articles , 2005 .

[54]  Holger H. Hoos.  SAT-Encodings, Search Space Structure, and Local Search Performance , 1999, IJCAI.

[55]  Premysl Sucha,et al.  Optimization and Scheduling Toolbox , 2010 .

[56]  Edward A. Lee,et al.  Scientific workflow management and the Kepler system , 2006, Concurr. Comput. Pract. Exp..

[57]  Jon B. Weissman,et al.  A genetic algorithm based approach for scheduling decomposable data grid applications , 2004 .

[58]  John Darlington,et al.  ICENI: An Open Grid Service Architecture Implemented with Jini , 2002, ACM/IEEE SC 2002 Conference (SC'02).

[59]  Ertian Hua,et al.  Computer, Informatics, Cybernetics and Applications , 2012 .

[60]  Rajkumar Buyya,et al.  Nature's heuristics for scheduling jobs on Computational Grids , 2000 .

[61]  Andrey Sheka,et al.  Robot self-awareness: Temporal relation based data mining , 2011 .

[62]  Ian J. Taylor,et al.  Distributed computing with Triana on the Grid , 2005, Concurr. Pract. Exp..

[63]  Jun Gu,et al.  Algorithms for the satisfiability (SAT) problem: A survey , 1996, Satisfiability Problem: Theory and Applications.