@inproceedings{aa5cb27a619844cfb0c9a80cf38fb5be,
title = "Scalable parallel numerical constraint solver using global load balancing",
abstract = "We present a scalable parallel solver for numerical constraint satisfaction problems (NCSPs). Our parallelization scheme consists of homogeneous worker solvers, each of which runs on an available core and communicates with others via the global load balancing (GLB) method. The search tree of the branch and prune algorithm is split and distributed through the two phases of GLB: a random workload stealing phase and a workload distribution and termination phase based on a hyper-cube-shaped graph called lifeline. The parallel solver is simply implemented with X10 that provides an implementation of GLB as a library. In experiments, NCSPs from the literature were solved and attained up to 516-fold speedup using 600 cores of the TSUBAME2.5 supercomputer. Optimal GLB configurations are analyzed.",
author = "Daisuke Ishii and Kazuki Yoshizoe and Toyotaro Suzumura",
year = "2015",
month = jun,
day = "14",
doi = "10.1145/2771774.2771776",
language = "English",
series = "X10 2015 - Proceedings of the ACM SIGPLAN Workshop on X10, co-located with PLDI 2015",
publisher = "Association for Computing Machinery, Inc",
pages = "33--38",
editor = "Amaral, {Jose Nelson} and Olivier Tardieu",
booktitle = "X10 2015 - Proceedings of the ACM SIGPLAN Workshop on X10, co-located with PLDI 2015",
note = "5th ACM SIGPLAN Workshop on X10, X10 2015 ; Conference date: 14-06-2015",
}