A Research on Minisat Using Coarse-grained Parallel Technique Based on Multi-core and Multi-platform

DOI

10.2991/icmmct-17.2017.228How to use a DOI?

Keywords

Minisat solver; coarse-grained; multi-core; multi-platform

Abstract

In this paper, we make a research on a widely-used SAT solver, Minisat, aiming to improve its performance using coarse-grained parallel method on multi-core and multi-platform. Firstly, we parallel the Minisat by mean of OpenMP and test its performance with different threads by running a test set consisting of 2000 SAT problems on an X86 computer. Besides, a scheduling strategy with time sequence is added to the process and achieves a better speed-up ratio. Then, we move the algorithm to an ARM computer and repeat the same process, finding that the performance of Minisat on X86 is better than that on ARM, but ARM platform has a better scale effect than X86 platform when running at full load and is able to perform better than X86 when they have the same hardware configuration.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Junjie Zhu
AU  - Jingfei Jiang
AU  - XiaoCheng Luo
AU  - Yong Dou
PY  - 2017/04
DA  - 2017/04
TI  - A Research on Minisat Using Coarse-grained Parallel Technique Based on Multi-core and Multi-platform
BT  - Proceedings of the 2017 5th International Conference on Machinery, Materials and Computing Technology (ICMMCT 2017)
PB  - Atlantis Press
SP  - 1158
EP  - 1162
SN  - 2352-5401
UR  - https://doi.org/10.2991/icmmct-17.2017.228
DO  - 10.2991/icmmct-17.2017.228
ID  - Zhu2017/04
ER  -