Abstract | ||
---|---|---|
Novel architectures for massively parallel machines offer better scalability and the prospect of achieving linear speedup for sizable problems in many domains. The development of suitable programming models and accompanying software tools for these architectures remains one of the biggest challenges towards exploiting their full potential. We present a multi-layer software abstraction model to develop combinatorial solvers on massively-parallel machines with regular topologies. The model enables different challenges in the design and optimization of combinatorial solvers to be tackled independently (separation of concerns) while permitting problem-specific tuning and cross-layer optimization. In specific, the model decouples the issues of inter-node communication, node-level scheduling, problem mapping, mesh-level load balancing and expressing problem logic. We present an implementation of the model and use it to profile a Boolean satisfiability solver on simulated massively-parallel machines with different scales and topologies. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/ICPPW.2017.35 | 2017 46th International Conference on Parallel Processing Workshops (ICPPW) |
Keywords | Field | DocType |
Boolean satisfiability solver,problem logic,mesh-level load balancing,problem mapping,node-level scheduling,internode communication,cross-layer optimization,regular topologies,multilayer software abstraction model,software architectures,software tools,massively-parallel machines architectures,supercomputer combinatorial solvers,programming model | Programming paradigm,Supercomputer,Massively parallel,Computer science,Boolean satisfiability problem,Parallel computing,Separation of concerns,Solver,Scalability,Distributed computing,Speedup | Conference |
ISSN | ISBN | Citations |
1530-2016 | 978-1-5386-1045-9 | 0 |
PageRank | References | Authors |
0.34 | 28 | 8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ghaith Tarawneh | 1 | 17 | 5.18 |
Andrey Mokhov | 2 | 136 | 26.57 |
Matthew Naylor | 3 | 47 | 7.16 |
Alex Rast | 4 | 0 | 0.34 |
Simon W. Moore | 5 | 402 | 33.76 |
David B. Thomas | 6 | 6 | 4.27 |
Alex Yakovlev | 7 | 516 | 64.23 |
Andrew Brown | 8 | 27 | 3.82 |