並列SATソルバのXeon Phiプロセッサ上での予備的性能評価

カテゴリ: 研究会(論文単位)

論文No: IIS18001

グループ名: 【D】産業応用部門 次世代産業システム研究会

発行日: 2018/03/12

タイトル(英語): Preliminary performance evaluation of parallel SAT solver on Xeon Phi processor

著者名: 西脇 慎太朗(豊橋技術科学大学),藤枝 直輝(豊橋技術科学大学),市川 周一(豊橋技術科学大学)

著者名(英語): Shintaro Nishiwaki(Graduate school of Toyohashi University of Technology),Naoki Fujieda(Toyohashi University of Technology),Shuichi Ichikawa(Toyohashi University of Technology)

キーワード: メニーコアプロセッサ|計算困難問題|並列化|many-core processor|computationally hard|parallelization

要約(日本語): 充足可能性問題(SAT)は産業システムの形式的検証などに用いられる．本研究では，並列SATソルバGlucose Syrupを用いて，Intel社のメニーコアプロセッサXeon Phiの性能評価を行った．その結果，Xeon Phi 5110P、7250 ともにXeon E5-2680 v2プロセッサより低い性能を示し，節共有に伴う同期待ち時間にその原因があることが示唆された．

要約(英語): The satisfiability (SAT) problem is widely applicable to various industrial problems such as formal verification of industrial systems. This study presents preliminary performance evaluation results of parallel SAT solver (Glucose Syrup) on Intel Xeon Phi many-core processors. Neither Xeon Phi 5110P nor 7250 presented better performance than Xeon E5-2680 v2 processor mainly due to the synchronization overhead to share learnt clauses.

原稿種別: 日本語

PDFファイルサイズ: 483 Kバイト