caa a22 4500 467988692 CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900201xx s 000 0 eng 10.1007/BF03037210 doi (NATIONALLICENCE)springer-10.1007/BF03037210 Tick E. Research Center for Advanced Science and Technology, University of Tokyo, 4-6-1 Komaba, Meguro-ku, 153, Tokyo, Japan aut Compile-time granularity analysis for parallel logic programming languages [Elektronische Daten] [E. Tick] The paper describes a simple compiler analysis method for determining the "weight” of procedures in parallel logic programming languages. Using Flat Guarded Horn Clauses (FGHC) as an example, the analysis algorithm is described. Consideration of weights has been incorporated in the scheduler of a real-parallel FGHC emulator running on the Sequent Symmetry multiprocessor. Alternative demand-distribution methods are discussed, includingoldest-first andheaviest-first distributions. Performance measurements, collected from a group of non-trivial benchmarks on eight processors, show that the new schemes donot perform significantly faster than conventional distribution methods. This result is attributed to a combination of factors overshadowing the benefits of the new method: high system overheads, the low cost of spawning a goal on a shared memory multiprocessor, and the increase in synchronization caused by the new methods. Directions of further research are discussed, indicating where further speedup can be attained. Ohmsha, Ltd. and Springer, 1990 Granularity nationallicence Goal Distribution nationallicence Parallelism nationallicence Logic Programming nationallicence New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 325-337 0288-3635 7:2-3<325 1990 7 354 https://doi.org/10.1007/BF03037210 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037210 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Tick E. Research Center for Advanced Science and Technology, University of Tokyo, 4-6-1 Komaba, Meguro-ku, 153, Tokyo, Japan aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/2-3(1990-02-01), 325-337 0288-3635 7:2-3<325 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer