TY  - CONF
M2  - Namur (Belgium)
A1  - Cabeza Gras, Daniel
A1  - Hermenegildo, Manuel V.
T2  - 1994 International Static Analysis Symposium
AV  - public
UR  - http://oa.upm.es/14440/
N2  - Logic programming systems which exploit and-parallelism among non-deterministic goals rely on notions of independence among those goals in order to ensure certain
efficiency properties. "Non-strict" independence (NSI) is a more relaxed notion than the traditional notion of "strict" independence (SI) which still ensures the relevant efficiency properties and can allow considerable more parallelism than SI. However, all compilation technology developed to date has been based on SI, because of the intrinsic complexity of exploiting NSI. This is related to the fact that NSI cannot be determined "a priori" as SI. This paper filis this gap by developing a technique for compile-time detection and annotation of NSI. It also proposes algorithms for combined compiletime/ run-time detection, presenting novel run-time checks for this type of parallelism. Also, a transformation procedure to eliminate shared variables among parallel goals is presented, aimed at performing as much work as possible at compile-time. The approach is based on the knowledge of certain properties regarding the run-time instantiations
of program variables ?sharing and freeness? for which compile-time technology is available, with new approaches being currently proposed. Thus, the paper does not deal with the analysis itself, but rather with how the analysis results can be used to parallelize programs.
EP  - 465
TI  - Extracting non-strict independent and-parallelism using sharing and freeness information
ID  - upm14440
Y1  - 1994///
PB  - Springer-Verlag
KW  - Parallel execution of logic programs
KW  -  Compilation techniques
KW  -  Generation of annotations for parallelism
KW  -  Abstract interpretation
KW  -  Non-strict independent  and-parallelism
KW  -  Técnicas de compilación
KW  -  Generación de anotaciones para paralelismos
KW  -  Ejecución paralela de programación lógica
KW  -  Interprateción de resúmenes.
SN  - 3540584854
VL  - 864
ER  -