Research on Parallel Propagation Mode of Table Constraint Based on Multi-core CPU
Author:
Affiliation:

Clc Number:

TP18

Fund Project:

National Natural Science Foundation of China (61802056); Natural Science Foundation of Jilin Province (2018010143JC); Industrial Technology Research and Development Project of Jilin Development and Reform Commission (2019C053-9); Open Research Fund of Key Laboratory of Space Utilization, Chinese Academy of Sciences(LSU-KFJJ-2019-08)

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Parallel propagation is a research direction in the field of parallel constraint programming, and its research content is how to implement filtering algorithms on constraints in parallel. According to the serial propagation mode which enforces generalized arc consistency (GAC) on table constraint network, this study proposes a parallel propagation mode to enforce temporary generalized arc consistency (TGAC) on table constraint network. This mode is based on multi-core CPU and consists of parallel propagation algorithm and parallel filtering algorithm. After that, the reliability of the parallel propagation mode is proved, and through the analysis of the worst case time complexity of the parallel propagation mode, it is also demonstrated that the parallel propagation mode is faster than the serial propagation mode in instances of which the average filtering time is longer. Finally, the experimental results also confirm the above conclusion, and the parallel propagation mode achieves a speed-up ratio ranging from 1.4 to 3.4 on most series.

    Reference
    Related
    Cited by
Get Citation

陈佳楠,李哲,李占山.基于多核CPU的表约束并行传播模式研究.软件学报,2021,32(9):2769-2782

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 22,2019
  • Revised:September 11,2019
  • Adopted:
  • Online: September 15,2021
  • Published: September 06,2021
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063