PELCR: Parallel environment for optimal lambda-calculus reduction (Articolo in rivista)

Type
Label
  • PELCR: Parallel environment for optimal lambda-calculus reduction (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1145/1243996.1243997 (literal)
Alternative label
  • Pedicini M., Quaglia F. (2007)
    PELCR: Parallel environment for optimal lambda-calculus reduction
    in ACM transactions on computational logic
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Pedicini M., Quaglia F. (literal)
Pagina inizio
  • 14-1 (literal)
Pagina fine
  • 14-36 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 8 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 3 (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • PELCR: Parallel environment for optimal lambda-calculus reduction Author(s): Pedicini M, Quaglia F Source: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Volume: 8 Issue: 3 (literal)
Titolo
  • PELCR: Parallel environment for optimal lambda-calculus reduction (literal)
Abstract
  • : In this article we present the implementation of an environment supporting Levy's optimal reduction for the X-calculus on parallel (or distributed) computing systems. In a similar approach to Lamping's, we base our work on a graph reduction technique, known as directed virtual reduction, which is actually a restriction of Danos-Regnier virtual reduction. The environment, which we refer to as PELCR (parallel environment for optimal lambdacalculus reduction), relies on a strategy for directed virtual reduction, namely half combustion. While developing PELCR we adopted both a message aggregation technique, allowing reduction of the communication overhead, and a fair policy for distributing dynamically originated load among processors. We also present an experimental study demonstrating the ability of PELCR to definitely exploit the parallelism intrinsic to lambda-terms while performing the reduction. We show how PELCR allows achieving up to 70-80% of the ideal speedup on last generation multiprocessor computing systems. As a last note, the software modules have been developed with. the C language and using a standard interface for message passing, that is, MPI, thus making PELCR itself a highly portable software package. (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it