Abstract | ||
---|---|---|
A static model for the parallel execution of logic programs on MIMD distributed memory systems is presented where a refutation is implemented through a process network returned by the compilation of the logic program. The model supports Restricted-AND, OR and stream parallelism and it is integrated with a set of static analyses to optimise the process network. Altogether, the processes interact according to a static data driven model with medium grain operators. Data flowing in the network is tagged to distinguish bindings belonging to the same refutation. A scheduling strategy to integrate low level scheduling and message flow control has been defined. Performance figures are presented. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1016/S1383-7621(96)00056-2 | Journal of Systems Architecture |
Keywords | Field | DocType |
static process network,massively parallel execution,compilation,static approach,congestion,logic language,logic program,distributed memory system,distributed memory,data flow,flow control | Static data,Computer science,Scheduling (computing),Massively parallel,Parallel computing,Real-time computing,Operator (computer programming),Logic programming,Message flow,Traffic congestion,MIMD | Journal |
Volume | Issue | ISSN |
43 | 6-7 | Journal of Systems Architecture |
Citations | PageRank | References |
0 | 0.34 | 29 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fabrizio Baiardi | 1 | 140 | 29.14 |
A. Candelieri | 2 | 1 | 0.73 |
L. Ricci | 3 | 82 | 14.76 |