| 一个支持非独立“与”并行的逻辑程序“与”并行执行模型 |
| |
| 引用本文： | 郑宇华 戴非. 一个支持非独立“与”并行的逻辑程序“与”并行执行模型[J]. 计算机研究与发展, 1993, 30(11): 1-7 |
| |
| 作者姓名： | 郑宇华 戴非 |
| |
| 作者单位： | 南京大学计算机科学系 210008(郑宇华，戴非)，南京大学计算机科学系 210008(谢立) |
| |
| 摘 要： | 本提出了一种支持非独立“与”并行的新型“与”并行执行模型ＤＡＰＭ，它通过在共享变元之间建立一种类似生产和消费的同步依赖关系以防止它们在并行执行时产生的约束冲突。与其它模型相比，ＤＡＰＭ可以开发更多的“与”并行。本还从理论上对ＤＡＰＭ的运行代价进行了分析，其分析结果表明ＤＡＰＭ只需较小的运行时刻支持。
|
| 关 键 词： | 逻辑程序 并行执行模型 |
A Dependent And-Parallel Execution Model for Logic Programs |
| |
| Zheng Yuhua Dai Fei Xie Li Computer Science. A Dependent And-Parallel Execution Model for Logic Programs[J]. Journal of Computer Research and Development, 1993, 30(11): 1-7 |
| |
| Authors: | Zheng Yuhua Dai Fei Xie Li Computer Science |
| |
| Affiliation: | Zheng Yuhua Dai Fei Xie Li Computer Science Department of Nanjing University,210008 |
| |
| Abstract: | This paper presents a new and-parallel execution model (DAPM) for logic programs.which can support dependent and-parallel execution.The method used is to build a synchronization mechanism among shared variables so that the binding conflict can be avoided in the parallel execution.Compared with other and parallel models,DAPM can expioit more and-parallelism.The theoretic analysis shows that DAPM only needs very little run time support. |
| |
| Keywords: | and-parallelism logic program parallel execution model. |
| 本文献已被 CNKI 维普 等数据库收录！ |
