Paper Info
Title
Formal verification and performance evaluation of task scheduling heuristics for makespan optimization and workflow distribution in large-scale computing systems.
Abstract
There are various algorithms that are designed to satisfy the needs of high performance applications and exhaustive work ows in large-scale computing systems. This work analyzes the impact of optimizing the key performance parameters, such as makespan, power consumption, and resource utilization. Five state of the art heuristics are simulated utilizing a wide range of random work ows and different task distributions. Moreover, scheduling heuristics comprise list based algorithms for which theoretical performance guarantees are proven. The paper also presents important problems regarding the evaluated algorithms and their impact on performance of the scheduling system.
Year
Venue
Keywords
2017
COMPUTER SYSTEMS SCIENCE AND ENGINEERING
Large-Scale Computing Systems,Makespan,Optimization,Resource Utilization
Field
DocType
Volume
Job shop scheduling,Computer science,Scheduling heuristics,Workflow,Computing systems,Distributed computing,Formal verification
Journal
32
Issue
ISSN
Citations 
3
0267-6192
0
PageRank 
References 
Authors
0.34
0
6
Name
Order
Citations
PageRank
Sardar Khaliq uz Zaman111.37
Atta Ur Rehman Khan244923.80
Saif Ur Rehman Malik323219.16
Abdul Nasir Khan425714.85
Tahir Maqsood5215.74
Sajjad Ahmad Madani640926.21