Measuring Concurrency of Regular Distributed ComputationsReportar como inadecuado




Measuring Concurrency of Regular Distributed Computations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes

Abstract : In this paper, we present a concurrency measure that is especially adapted to distributed programs that exhibit regular run-time behaviours. Such programs are frequently obtained by automatic parallelization of sequential code. This measure is based on the antichain lattice of the partial order that models the distributed execution under consideration. We show under which condition the measure is computable on an infinite execution which is the repetition of a finite pattern. The measure can then be computed by considering only a bounded number of patterns, this bound being at most the number of processors.

Keywords : REGULAR EXECUTIONS LABELED PARTIAL ORDERS CONCURRENCY MEASURE AUTOMATED PARALLELIZATION ANTICHAIN LATTICE





Autor: Cyrille Bareau - Benoit Caillaud - Claude Jard - René Thoraval -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados