Automatically assigned DDC number: 005131
Manually assigned DDC number: 005115
Number of references: 16
Title: Extended Dynamic Dependent And-parallelism in ACE
Author:
Author:
Subject: Enrico Pontelli,Gopal Gupta Extended Dynamic Dependent And-parallelism in ACE
Description: We present an execution model for Dynamic Dependent And-parallelism as well as an extension of the scheme in which deterministic consumer goals are allowed to bind their dependent variables ahead of time. The extended scheme leads to: (i) improved efficiency due to pruning of program search space; and, (ii) exploitation of more parallelism due to increased overlapping of dependent executions. In dynamic dependent and-parallel execution, given a parallel conjunction with a shared variable X, the leftmost goal is normally designated as the producer of the binding for X, all others goals are designated as consumers. If the producer goal finishes execution without binding X, then the leftmost consumer goal becomes the next producer and so on. In the extended scheme a deterministic consumer goal is also allowed to bind the dependent variable. Our extension leads to incorporation of coroutining in a dynamic dependent and-parallel system. The extended dynamic dependent and-paral...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2000-01-11
Pubyear: 1997
Format: ps
Identifier: http://citeseer.ist.psu.edu/330910.html
Source: http://www.cs.nmsu.edu/~gupta/ace/eddap.ps
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/7964.html" Type="inproceedings" CiteSeer_Book="International Conference on Logic Programming" CiteSeer_Volume="" Title="Reform Prolog: The Language and Its Implementation,">
<identifier Org="ISBN:0262631733" Paper_ID="/7964.html" Extracted="0262631733" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.125" />
<identifier Org="ISBN:026264035X" Paper_ID="/7964.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.125" />
<identifier Org="ISBN:0262691779" Paper_ID="/7964.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.125" />
<identifier Org="ISBN:0818671955" Paper_ID="/7964.html" Extracted="0818671955" />
<identifier Org="ISBN:0818677929" Paper_ID="/7964.html" Extracted="0818677929" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.125" />
<identifier Org="ISBN:0824722957" Paper_ID="/7964.html" Extracted="0824722957" />
<identifier Org="ISBN:1402006233" Paper_ID="/7964.html" Extracted="1402006233" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540568913" Paper_ID="/7964.html" Extracted="3540568913" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540571868" Paper_ID="/7964.html" Extracted="3540571868" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540677976" Paper_ID="/7964.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.125" />
</rec>
<rec ID="/343999.html" Type="inproceedings" CiteSeer_Book="International Conference on Logic Programming" CiteSeer_Volume="" Title="Extracting Determinacy in Logic Programs,">
<identifier Org="ISBN:0262620995" Paper_ID="/343999.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:0262691779" Paper_ID="/343999.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.25" />
<identifier Org="ISBN:354021402X" Paper_ID="/343999.html" Extracted="354021402X" />
<identifier Org="ISBN:3540254358" Paper_ID="/343999.html" Extracted="3540254358" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540266550" Paper_ID="/343999.html" Extracted="3540266550" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.25" />
</rec>
<rec ID="/63444.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Joint International Conference and Symposium on Logic Programming" CiteSeer_Volume="" Title="jc: An Efficient and Portable Sequential Implementation of Janus,">
<identifier Org="ISBN:0262620995" Paper_ID="/63444.html" Extracted="0262620995" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:026264035X" Paper_ID="/63444.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0262691779" Paper_ID="/63444.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0780324935" Paper_ID="/63444.html" Extracted="0780324935" />
<identifier Org="ISBN:0792394577" Paper_ID="/63444.html" Extracted="0792394577" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0824722957" Paper_ID="/63444.html" Extracted="0824722957" />
<identifier Org="ISBN:0897917200" Paper_ID="/63444.html" Extracted="0897917200" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540568913" Paper_ID="/63444.html" Extracted="3540568913" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540569219" Paper_ID="/63444.html" Extracted="3540569219" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540569448" Paper_ID="/63444.html" Extracted="3540569448" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540584021" Paper_ID="/63444.html" Extracted="3540584021" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540610537" Paper_ID="/63444.html" Extracted="3540610537" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540655271" Paper_ID="/63444.html" Extracted="3540655271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540659684" Paper_ID="/63444.html" Extracted="3540659684" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354071409X" Paper_ID="/63444.html" Extracted="354071409X" />
</rec>
<rec ID="/290689.html" Type="article" CiteSeer_Book="New Generation Computing" CiteSeer_Volume="11" Title="And-Or Parallel Prolog: A Recomputation Based Approach,">
<identifier Org="ISBN:0262631806" Paper_ID="/290689.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.5" />
<identifier Org="ISBN:0769501435" Paper_ID="/290689.html" Extracted="0769501435" />
<identifier Org="ISBN:3540664432" Paper_ID="/290689.html" Extracted="3540664432" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.5" />
</rec>
<rec ID="/371034.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Seventh International Conference on Logic Programming" CiteSeer_Volume="" Title="Kernel Andorra {P}rolog and its Computation Model," />
<rec ID="/191826.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="AKL---A Multiparadigm Programming Language,">
<identifier Org="ISBN:0262631806" Paper_ID="/191826.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0262691779" Paper_ID="/191826.html" Extracted="0262691779" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0444527265" Paper_ID="/191826.html" Extracted="0444527265" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:079238038X" Paper_ID="/191826.html" Extracted="079238038X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540222537" Paper_ID="/191826.html" Extracted="3540222537" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540417680" Paper_ID="/191826.html" Extracted="3540417680" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433716" Paper_ID="/191826.html" Extracted="3540433716" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354060359X" Paper_ID="/191826.html" Extracted="354060359X" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540606882" Paper_ID="/191826.html" Extracted="3540606882" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540643583" Paper_ID="/191826.html" Extracted="3540643583" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540665404" Paper_ID="/191826.html" Extracted="3540665404" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540678859" Paper_ID="/191826.html" Extracted="3540678859" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540774416" Paper_ID="/191826.html" Extracted="3540774416" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540787682" Paper_ID="/191826.html" Extracted="3540787682" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540899812" Paper_ID="/191826.html" Extracted="3540899812" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/20099.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="The BEAM: Towards a first EAM Implementation,">
<identifier Org="ISBN:0824722957" Paper_ID="/20099.html" Extracted="0824722957" />
<identifier Org="ISBN:1402006233" Paper_ID="/20099.html" Extracted="1402006233" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540222537" Paper_ID="/20099.html" Extracted="3540222537" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540417680" Paper_ID="/20099.html" Extracted="3540417680" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/70685.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Exploiting fine-grain parallelism in concurrent constraint languages,">
<identifier Org="ISBN:0262631806" Paper_ID="/70685.html" Extracted="0262631806" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.25" />
<identifier Org="ISBN:0444527265" Paper_ID="/70685.html" Extracted="0444527265" DDC="005.1/16" Normalized_DDC="005116" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540433716" Paper_ID="/70685.html" Extracted="3540433716" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.25" />
<identifier Org="ISBN:9150612158" Paper_ID="/70685.html" Extracted="9150612158" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.25" />
</rec>
<rec ID="/695094.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Eighth International Conference on Logic Programming" CiteSeer_Volume="" Title="Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation,">
<identifier Org="ISBN:0262560585" Paper_ID="/695094.html" Extracted="0262560585" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:026264035X" Paper_ID="/695094.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0262731053" Paper_ID="/695094.html" Extracted="0262731053" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0818625856" Paper_ID="/695094.html" Extracted="0818625856" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1581132654" Paper_ID="/695094.html" Extracted="1581132654" />
<identifier Org="ISBN:354021402X" Paper_ID="/695094.html" Extracted="354021402X" />
<identifier Org="ISBN:3540252363" Paper_ID="/695094.html" Extracted="3540252363" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540266550" Paper_ID="/695094.html" Extracted="3540266550" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540309470" Paper_ID="/695094.html" Extracted="3540309470" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540403256" Paper_ID="/695094.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540557199" Paper_ID="/695094.html" Extracted="3540557199" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540584854" Paper_ID="/695094.html" Extracted="3540584854" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540601058" Paper_ID="/695094.html" Extracted="3540601058" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540617396" Paper_ID="/695094.html" Extracted="3540617396" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540620648" Paper_ID="/695094.html" Extracted="3540620648" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540664599" Paper_ID="/695094.html" Extracted="3540664599" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540686762" Paper_ID="/695094.html" Extracted="3540686762" />
<identifier Org="ISBN:3540897399" Paper_ID="/695094.html" Extracted="3540897399" />
<identifier Org="ISBN:4274077241" Paper_ID="/695094.html" Extracted="4274077241" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/45550.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="A Parallel Implementation of the Andorra Kernel Language," />
<rec ID="/327425.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="Efficient Backtracking in And-Parallel Implementations of Non-Deterministic Languages,">
<identifier Org="ISBN:0780399277" Paper_ID="/327425.html" Extracted="0780399277" />
<identifier Org="ISBN:3540899812" Paper_ID="/327425.html" Extracted="3540899812" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="1.0" />
</rec>
<rec ID="/125509.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="ACE: A High-Performance Parallel Prolog System,">
<identifier Org="ISBN:3540774416" Paper_ID="/125509.html" Extracted="3540774416" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="1.0" />
</rec>
<rec ID="/327200.html" Type="inproceedings" CiteSeer_Book="International Conference on Logic Programming" CiteSeer_Volume="" Title="Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism,">
<identifier Org="ISBN:026264035X" Paper_ID="/327200.html" Extracted="026264035X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="1.0" />
</rec>
<rec ID="/334620.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1346" Title="On the Complexity of Parallel Implementation of Logic Programs (Extended Abstract)," />
<rec ID="/260185.html" Type="inproceedings" CiteSeer_Book="International Conference on Computer Languages" CiteSeer_Volume="" Title="A Conservative Technique to Improve Deterministic Evaluation of Logic Programs," />
<rec ID="/53296.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 3rd ACM SIGPLAN Symposium on Principles Practice of Parallel Programming" CiteSeer_Volume="" Title="Andorra-{I}: a parallel Prolog system that transparently explots both And- and Or- parallelism," />
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Extended Dynamic Dependent And-parallelism in ACE">
<identifier Org="ISBN:0824722957" Paper_ID="SELF" Extracted="0824722957" />
<identifier Org="ISBN:3540417680" Paper_ID="SELF" Extracted="3540417680" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="1.0" />
</rec>
</references_metadata>