NSF-CNPq Collaborative Research: Implementation and Compilation of High-Performance, Scalable Parallel Constraint Programming Systems

题目：高性能，可扩展的并行约束规划系统spi（和CoPI）： Gopal Gupta和Enrico pontell摘要：约束规划结合了解决涉及大量搜索的问题的有效技术。即使在结合了这些有效的约束解决技术之后，搜索空间仍然非常大。本项目拟在共享内存多处理器（SMPs）上进行约束编程系统的设计和实现研究，以便这些计算密集型约束程序可以更快地执行。还将设计在分布式内存多处理器（dmp）以及smp的分布式集群上实现可扩展约束编程系统的有效实现技术。该项目的最终目标是建立一个统一的并行系统，无缝地运行在共享内存多处理器的分布式网络上。该项目将与巴西里约热内卢联邦大学（UFRJ）和巴西南巴西格兰德州联邦大学（UFRGS）进行正式合作。该研究将通过开发可扩展实现、编译和优化的新技术，为约束编程、逻辑编程、并行处理和编程语言领域做出贡献。

Proposal Number: CCR-9900320TITLE: High-performance, Scalable Parallel Constraint Programming SystemsPI (and CoPI's): Gopal Gupta and Enrico PontelliSummary:Constraint programming incorporates efficient techniques forsolving problems that involve a large amount of search. Evenafter incorporating these efficient constraint-solvingtechniques, the search space can still be very large.This project proposes to perform research on design andimplementation of constraint programming systems on shared memorymultiprocessors (SMPs) so that these compute-intensiveconstraint programs can be executed much faster. Efficientimplementation techniques for realizing scalable constraintprogramming systems on distributed memory multiprocessors (DMPs)as well as on distributed clusters of SMPs will also be designed.The project's eventual aim is to build a unified parallel systemthat seamlessly runs on a distributed network of shared memorymultiprocessors. The project will be pursued in formal cooperationwith the Federal University of Rio de Janeiro (UFRJ) and the FederalUniversity of Rio Grande do Sul (UFRGS) in Brazil. The researchwill make contributions to the area of constraint programming,logic programming, parallel processing, and programming languagesthrough the new techniques developed for scalable implementation,compilation, and optimizations.