{rfName}
No

Indexado en

Citaciones

9

Altmetrics

Investigadores/as Institucionales

Hermenegildo, Manuel V.Autor (correspondencia)

Compartir

9 de junio de 2019
Publicaciones
>
Artículo
No

Non-strict independence-based program parallelization using sharing and freeness information

Publicado en: THEORETICAL COMPUTER SCIENCE. 410 (46): 4704-4723 - 2009-11-01 410(46), DOI: 10.1016/j.tcs.2009.07.044

Autores:

Gras, Daniel Cabeza; Hermenegildo, Manuel V
[+]

Afiliaciones

Univ Politecn Madrid, Fac Informat, E-28040 Madrid, Spain - Autor o Coautor

Resumen

The current ubiquity of multi-core processors has brought renewed interest in program parallelization. Logic programs allow studying the parallelization of programs with complex, dynamic data structures with (declarative) pointers in a comparatively simple semantic setting. In this context, automatic parallelizers which exploit and-parallelism rely on notions of independence in order to ensure certain efficiency properties. Non-strict independence is a more relaxed notion than the traditional notion of strict independence which still ensures the relevant efficiency properties and can allow considerable more parallelism. Non-strict independence cannot be determined solely at run-time (a priori) and thus global analysis is a requirement. However, extracting non-strict independence information from available analyses and domains is non-trivial. This paper provides on one hand an extended presentation of our classic techniques for compile-time detection of non-strict independence based on extracting information from (abstract interpretation-based) analyses using the now well understood and popular Sharing + Freeness domain. This includes algorithms for combined compile-time/run-time detection which involve special run-time checks for this type of parallelism. In addition, we propose herein novel annotation (parallelization) algorithms, URLP and CRLP, which are specially suited to non-strict independence. We also propose new ways of using the Sharing + Freeness information to optimize how the run-time environments of goals are kept apart during parallel execution. Finally. we also describe the implementation of these techniques in our parallelizing compiler and recall some early performance results. We provide as well an extended description of our pictorial representation of sharing and freeness information. (C) 2009 Elsevier B.V. All rights reserved.
[+]

Palabras clave

Abstract domainsAbstract interpretationAutomatic parallelizationDeclarative languagesLogic programmingLogic programsNon-strict independenceParallelismParallelizing compilersSharing and freeness

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista THEORETICAL COMPUTER SCIENCE debido a la progresión y el buen impacto que ha alcanzado en los últimos años, según la agencia Scopus (SJR), se ha convertido en una referencia en su campo. En el año de publicación del trabajo, 2009, se encontraba en la posición , consiguiendo con ello situarse como revista Q1 (Primer Cuartil), en la categoría Computer Science (Miscellaneous). Destacable, igualmente, el hecho de que la Revista está posicionada por encima del Percentil 90.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-24:

  • WoS: 4
  • Scopus: 5
[+]

Impacto y visibilidad social

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2026-04-24:

  • La utilización de esta aportación en marcadores, bifurcaciones de código, añadidos a listas de favoritos para una lectura recurrente, así como visualizaciones generales, indica que alguien está usando la publicación como base de su trabajo actual. Esto puede ser un indicador destacado de futuras citas más formales y académicas. Tal afirmación es avalada por el resultado del indicador “Capture” que arroja un total de: 4 (PlumX).

Es fundamental presentar evidencias que respalden la plena alineación con los principios y directrices institucionales en torno a la Ciencia Abierta y la Conservación y Difusión del Patrimonio Intelectual. Un claro ejemplo de ello es:

  • Asignación de un Handle/URN como identificador dentro del Depósito en el Repositorio Institucional: https://oa.upm.es/5368/

Como resultado de la publicación del trabajo en el repositorio institucional, se han obtenido datos estadísticos de uso que reflejan su impacto. En términos de difusión, podemos afirmar que, hasta la fecha

  • Visualizaciones: 501
  • Descargas: 362
[+]

Análisis de liderazgo de los autores institucionales

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (Gras, Daniel Cabeza) y Último Autor (HERMENEGILDO SALINAS, MANUEL DE).

el autor responsable de establecer las labores de correspondencia ha sido HERMENEGILDO SALINAS, MANUEL DE.

[+]

Reconocimientos ligados al ítem

The authors would like to thank M. Bruynooghe for suggesting improvements to the first version of the C I condition of Section 3.1 and E. Zaffanella and another (anonymous) reviewer of this journal version for numerous suggestions that have improved both the content and the presentation. The research presented in this paper (both the early contributions and the later extensions for this journal version) have been supported in part by the information Society Technologies program of the European Commission under projects PARFORCE, ACCLAIM, and MOBIUS, by the Spanish Ministry of Education under the IPL-D, MERIT, and DOVES projects, and by the Madrid Regional Government under the PROMESAS program. Manuel Hermenegildo was also supported in part by the Prince of Asturias Chair in Information Science and Technology at the U. of New Mexico. As mentioned before, this paper is an extended version of an earlier paper by the same authors which was published in the 1994 Static Analysis Symposium [6].
[+]