TIGER: topology-aware task assignment approach using ising machines

Optimal mapping of a parallel code's communication graph is increasingly important as both system size and heterogeneity increase. However, the topology-aware task assignment problem is an NP-complete graph isomorphism problem. Existing task scheduling approaches are either heuristic or based on physical optimization algorithms, providing different speed and solution quality tradeoffs. Ising machines such as quantum and digital annealers have recently become available offering an alternative hardware solution to solve certain types of optimization problems. We propose an algorithm that allows expressing the problem for such machines and a domain specific partition strategy that enables to solve larger scale problems. TIGER - topology-aware task assignment mapper tool - implements the proposed algorithm and automatically integrates task - communication graph and an architecture graph into the quantum software environment. We use D-Wave's quantum annealer to demonstrate the solving algorithm and evaluate the proposed tool flow in terms of performance, partition efficiency and solution quality. Results show significant speed-up of the tool flow and reliable solution quality while using TIGER together with the proposed partition.

[1]  Alejandro Perdomo-Ortiz,et al.  Strengths and weaknesses of weak-strong cluster problems: A detailed overview of state-of-the-art classical heuristics versus quantum approaches , 2016, 1604.01746.

[2]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[3]  Shahid H. Bokhari,et al.  On the Mapping Problem , 1981, IEEE Transactions on Computers.

[4]  H. Motameni,et al.  Task scheduling with Load balancing for computational grid using NSGA II with fuzzy mutation , 2012, 2012 2nd IEEE International Conference on Parallel, Distributed and Grid Computing.

[5]  S. E. Schaeffer Survey Graph clustering , 2007 .

[6]  Wai Ho Mow,et al.  A Case Study on the Communication and Computation Behaviors of Real Applications in NoC-Based MPSoCs , 2014, 2014 IEEE Computer Society Annual Symposium on VLSI.

[7]  Torsten Hoefler,et al.  Generic topology mapping strategies for large-scale parallel architectures , 2011, ICS '11.

[8]  Ken-ichi Kawarabayashi,et al.  Coherent Ising Machine - Optical Neural Network Operating at the Quantum Limit - , 2018, 2018 Conference on Lasers and Electro-Optics Pacific Rim (CLEO-PR).

[9]  H. Nishimori,et al.  Quantum annealing in the transverse Ising model , 1998, cond-mat/9804280.

[10]  Scott Pakin,et al.  A Survey of Programming Tools for D-Wave Quantum-Annealing Processors , 2018, ISC.

[11]  Ryan Babbush,et al.  What is the Computational Value of Finite Range Tunneling , 2015, 1512.02206.

[12]  Frank K. Hwang,et al.  The Hamiltonian property of linear functions , 1987 .

[13]  Scott F. Midkiff,et al.  Processor and Link Assignment in Multicomputers Using Simulated Annealing , 1988, ICPP.

[14]  Suresh Chalasani,et al.  Equivalence between SP2 high-performance switches and three-stage Clos networks , 1996, Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing.

[15]  Catherine C. McGeoch,et al.  Quantum Annealing amid Local Ruggedness and Global Frustration , 2017, Journal of the Physical Society of Japan.

[16]  Scott Pakin,et al.  A quantum macro assembler , 2016, 2016 IEEE High Performance Extreme Computing Conference (HPEC).

[17]  Andrew A. Chien,et al.  A heuristic algorithm for mapping communicating tasks on heterogeneous resources , 2000, Proceedings 9th Heterogeneous Computing Workshop (HCW 2000) (Cat. No.PR00556).

[18]  John B. Bell,et al.  Topology-Aware Performance Optimization and Modeling of Adaptive Mesh Refinement Codes for Exascale , 2016, 2016 First International Workshop on Communication Optimizations in HPC (COMHPC).

[19]  Mauro Dell'Amico,et al.  8. Quadratic Assignment Problems: Algorithms , 2009 .

[20]  J. Christopher Beck,et al.  A Hybrid Quantum-Classical Approach to Solving Scheduling Problems , 2016, SOCS.

[21]  Manuel Laguna,et al.  Tabu Search , 1997 .

[22]  Steven P. Reinhardt,et al.  Partitioning Optimization Problems for Hybrid Classical/Quantum Execution TECHNICAL REPORT , 2017 .

[23]  Jake K. Aggarwal,et al.  A Mapping Strategy for Parallel Processing , 1987, IEEE Transactions on Computers.

[24]  Matthew French,et al.  Experimental quantum annealing: case study involving the graph isomorphism problem , 2015, Scientific Reports.