Title
Enhancing Datacenter Resource Management through Temporal Logic Constraints
Abstract
Resource management of modern datacenters needs to consider multiple competing objectives that involve complex system interactions. In this work, Linear Temporal Logic (LTL) is adopted in describing such interactions by leveraging its ability to express complex properties. Further, LTL-based constraints are integrated with reinforcement learning according the recent progress on control synthesis theory. The LTL-constrained reinforcement learning facilitates desired balance among the competing objectives in managing resources for datacenters. The effectiveness of this new approach is demonstrated by two scenarios. In datacenter power management, the LTL-constrained manager reaches the best balance among power, performance and battery stress compared to the previous work and other alternative approaches. In multitenant job scheduling, 200 MapReduce jobs are emulated on the Amazon AWS cloud. The LTL-constrained scheduler achieves the best balance between system performance and fairness compared to several other methods including three Hadoop schedulers.
Year
DOI
Venue
2017
10.1109/IPDPS.2017.27
2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
Keywords
Field
DocType
datacenter resource management,Linear Temporal Logic
Resource management,Power management,Computer science,Parallel computing,Multitenancy,Linear temporal logic,Job scheduler,Temporal logic,Distributed computing,Reinforcement learning,Cloud computing
Conference
ISSN
ISBN
Citations 
1530-2075
978-1-5386-3915-3
0
PageRank 
References 
Authors
0.34
20
3
Name
Order
Citations
PageRank
Hao He131.76
Jiang Hu266865.67
Dilma da Silva356343.30