The Community for Technology Leaders
Green Image
Issue No. 08 - August (2011 vol. 22)
ISSN: 1045-9219
pp: 1382-1389
Jiang Xu , Hong Kong University of Scicence and Technology, Hong Kong
Zonghua Gu , Zhejiang University, Hangzhou
Yaoyao Ye , Hong Kong University of Science and Technology, Hong Kong
Weichen Liu , Hong Kong University of Science and Technology, Hong Kong
Xiaowen Wu , Hong Kong University of Science and Technology, Hong Kong
ABSTRACT
Task graph scheduling on multiprocessor systems is a representative multiprocessor scheduling problem. A solution to this problem consists of the mapping of tasks to processors and the scheduling of tasks on each processor. Optimal solution can be obtained by exploring the entire design space of all possible mapping and scheduling choices. Since the problem is NP-hard, scalability becomes the main concern in solving the problem optimally. In this paper, a SAT-based optimization framework is proposed to address this problem, in which SAT solver is enhanced by integrating with a scheduling analysis tool in a branch and bound manner to prune the solution space efficiently. Performance evaluation results show that our technique has average performance improvement in more than an order of magnitude compared to state-of-the-art techniques. We further build a cycle-accurate network-on-chip simulator based on SystemC to verify the effectiveness of the proposed technique on realistic multiprocessor systems.
INDEX TERMS
Multiprocessor, scheduling, design space exploration, satisfiability.
CITATION
Jiang Xu, Zonghua Gu, Yaoyao Ye, Weichen Liu, Xiaowen Wu, "Satisfiability Modulo Graph Theory for Task Mapping and Scheduling on Multiprocessor Systems", IEEE Transactions on Parallel & Distributed Systems, vol. 22, no. , pp. 1382-1389, August 2011, doi:10.1109/TPDS.2010.204
91 ms
(Ver )