Optimal and Feasible Cloud Resource Configurations Generation Method for Genomic Analytics Applications

This paper proposes a new method that efficiently generates optimal and feasible cloud resource configurations for deploying genomic analytics applications. The proposed method generates optimal and feasible configurations with respect to system requirements by employing two different problem-solving techniques: an equivalent transformation algorithm and a multi-objective genetic algorithm. The equivalent transformation algorithm first generates feasible configurations through computation based on (1) state replacement of clause sets representing various resource configurations and (2) evaluation of their equivalence in terms of declarative meaning to the given requirements. Subsequently, the multi-objective genetic algorithm identifies the optimal configurations with respect to estimated financial cost and computational performance. The input to the proposed method is a logical formula describing the system requirements, whereas the output is a set of unit clauses representing Pareto-optimal and feasible cloud resource configurations for deploying a given genomic analytics application. The results of experiments conducted using a sample genomic analytics workflow and Amazon EC2 instances verify the efficacy of the proposed method.

[1]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[2]  David R. Kelley,et al.  Differential gene and transcript expression analysis of RNA-seq experiments with TopHat and Cufflinks , 2012, Nature Protocols.

[3]  Bu-Sung Lee,et al.  A Systematic Framework Enabling Automatic Conflict Detection and Explanation in Cloud Service Selection for Enterprises , 2012, 2012 IEEE Fifth International Conference on Cloud Computing.

[4]  Ehab Al-Shaer,et al.  Security-Aware Resource Allocation in Clouds , 2013, 2013 IEEE International Conference on Services Computing.

[5]  Kiyoshi Akama,et al.  Formalization of the Equivalent Transformation Computation Model , 2006, J. Adv. Comput. Intell. Intell. Informatics.

[6]  Vanessa Sochat,et al.  Singularity: Scientific containers for mobility of compute , 2017, PloS one.

[7]  Aleksandar Milosavljevic,et al.  Atlas2 Cloud: a framework for personal genome analysis in the cloud , 2012, BMC Genomics.

[8]  Masaharu Munetomo,et al.  A Predicate Logic-Defined Specification Method for Systems Deployed by Intercloud Brokerages , 2016, 2016 IEEE International Conference on Cloud Engineering Workshop (IC2EW).

[9]  Jan Broeckhove,et al.  Cost-Optimal Scheduling in Hybrid IaaS Clouds for Deadline Constrained Workloads , 2010, 2010 IEEE 3rd International Conference on Cloud Computing.

[10]  Dan Lin,et al.  A Brokerage-Based Approach for Cloud Service Selection , 2012, 2012 IEEE Fifth International Conference on Cloud Computing.

[11]  Masaharu Munetomo,et al.  Intercloud brokerages based on PLS method for deploying infrastructures for big data analytics , 2016, 2016 IEEE International Conference on Big Data (Big Data).

[12]  Lisa Gerhardt,et al.  Shifter: Containers for HPC , 2017 .

[13]  Samuel V. Angiuoli,et al.  Resources and Costs for Microbial Sequence Analysis Evaluated Using Virtual Machines and Cloud Computing , 2011, PloS one.

[14]  David W. Coit,et al.  Multi-objective optimization using genetic algorithms: A tutorial , 2006, Reliab. Eng. Syst. Saf..

[15]  Rajkumar Buyya,et al.  A framework for ranking of cloud computing services , 2013, Future Gener. Comput. Syst..

[16]  Rajkumar Buyya,et al.  Inter‐Cloud architectures and application brokering: taxonomy and survey , 2014, Softw. Pract. Exp..