Anlisis y Evaluacin de Algoritmos Paralelos sobre diferentes modelos

de Arquitecturas multiprocesador
Armando De Giusti l , Marcelo Naiouf, Laura De GiustJ, Diego Tarro3
{degiusti, mnaiouf, ldgiusti, dtarrio}@lidi.info.unlp.edu.ar
LIDI. Laboratorio de Investigacin y Desarrollo en Informtica.
Facultad de Informtica. UNLP.
50 y 115. 1er Piso. La Plata

Introduccin
El procesamiento ha evolucionado hacia el paralelismo, prcticamente desde el inicio mismo de
las computadoras digitales. El paralelismo, asociado con multiprocesamiento en hardware y
concurrencia en software tiene objetivos mltiples, entre los cules se destacan:
Reducir los tiempos de procesamiento de grandes volmenes de datos.
Tratar informacin (datos, seales) en tiempo real.

El paralelismo requiere especificar e implementar procesos explotando la concurrencia implcita

o explcita en el problema a resolver. Esto significa transformar el procesamiento secuencial en
paralelo, buscando optimizar los tiempos de ejecucin y de respuesta a eventos del mundo real.
Para esto se cuenta con dos herramientas:
El crecimiento de la potencia de cmputo, dado en la evolucin de la tecnologa de los
componentes y en las arquitecturas de procesamiento (supercomputadoras, hipercubos de
procesadores homogneos, grandes redes de procesadores no-homogneos, procesadores de
imgenes, de audio, etc.).

La transformacin y creacin de algoritmos que exploten al maXlmo la concurrencia

implcita en el problema a resolver, de modo de distribuir el procesamiento minimizando el
tiempo total de respuesta. Naturalmente esta transformacin, tambin debe adaptarse a la
arquitectura fsica de soporte.

En esta lnea de investigacin aplicada, vinculada con los proyectos "Procesamiento

Concurrente y Paralelo" y "Sistemas de Tiempo Real" del LIDI se investiga sobre la
especificacin de procesos concurrentes y paralelos; la transformacin de algoritmos
secuenciales en paralelos y la optimizacin de los mismos, as como la implementacin de
soluciones de procesamiento masivo de datos mediante arquitecturas multiprocesador,
evaluando su eficiencia.
Interesa especialmente la aplicacin de estas investigaciones al procesamiento de datos
numricos y no numricos y el tratamiento en tiempo real de seales (tales como voz e
imgenes), analizando en particular la relacin entre la eficiencia y escalabilidad de los
algoritmos y la arquitectura de soporte de hardware.

Investigador Principal CONICET. Profesor Titular Dedicacin Exclusiva.

Profesor Adjunto Dedicacin Exclusiva.
J Ayudante Diplomado Dedicacin Semi Exclusiva. Becario LIDI.
LIDI - Facultad de Informtica. UNLP - Calle 50 y 115 ler Piso, (1900) La Plata, Argentina.
TE/Fax +(54)(221)422-7707. http://lidi.info.unlp.edu.ar
1

\Vicc 2000 - L~

Temas de Investigacin y desarrollo

Especificacin de algoritmos paralelos.

Mtricas de eficiencia en algoritmos paralelos.

Dependencia de la eficiencia respecto del balance de carga en los procesadores.

Dependencia de la eficiencia respecto del subsistema de comunicaciones.

Especificacin e implementacin de algoritmos paralelos sobre diferentes arquitecturas

multiprocesador, con procesadores homogneos/heterogneos y diferentes topologas de
comunicacin.

Dependencia de la eficiencia respecto del nmero de procesadores en la arquitectura.

Escalabilidad de los algoritmos paralelos,

Lenguajes, ambientes y herramientas para el desarrollo de aplicaciones.

Implementacin de algoritmos paralelos para tratamiento numrico y no numrico.

Implementacin de algoritmos paralelos para tratamiento de imgenes.

Evaluacin comparativa de eficiencia de clases de algoritmos paralelos en funcin de los

diferentes parmetros mencionados,

Equipamiento de experimentacin
En el Laboratorio de Procesamiento Paralelo de la Facultad de Informtica, se dispone de un
nmero limitado de equipos basados en transputers y DSPs y conexin con las redes de los
Laboratorios, a fin de utilizarlas como arquitecturas seudo-paralelas en el estudio de algoritmos.
Por otra parte se tienen convenios con Universidades del exterior (Espaa y USA) para utilizar
equipamit:nto especfico. Las experiencias se han realizado con:

Hipercubo de 32 procesadores homogneos (transputers t805 con 4 Mb de RAM local) que

puede conectarse con estaciones con 1, 2 Y4 transputers.

Red de procesadores heterogneos (local y remota) que incluye PCs y workstations, en las
que se trabaja emulando una arquitectura paralela mediante PVM y MPI.

Arquitectura multiprocesador dedicada basada en procesadores DSP (especiales para

seales).

El soporte de software utilizado hasta el momento ha sido C paralelo (tanto para transputers
como para DSPs), OCCAM, ADA y diferentes lenguajes ejecutables sobre las arquitecturas no
homogneas y vinculables con PVM y MPI (en particular Fortran y Java). Por otro lado se est
evaluando la posibilidad de utilizar la supercomputadora incorporada recientemente al sistema
cientfico por la SeTCIP.

,'/icc 2000 - 14

Algunos resultados obtenidos

En el proyecto se ha trabajado en la clase de problemas mencionado anteriormente, teniendo
diversos resultados (publicaciones, Tesinas de Grado, Tesis de Postgrado) y entre las
experiencias concretas realizadas puede mencionarse:

Ordenacin de datos numricos, producto de matrices, solucin de sistemas de ecuaciones y

bsqueda de camino mnimo en grafos. Realizados sobre red heterognea con PVM y
transputers.

Compresin y descompresin paralela sin prdida, esttica y adaptiva con algoritmos

clsicos (Huffman, LZW, Run Length) sobre una red heterognea con PVM. Compresin y
descompresin paralela con prdida, esttica y adaptiva con diferentes algoritmos (JPEG,
Wavelets, Fractales) sobre una red heterognea con PVM.

Soporte de software para trabajar con ADA sobre una red de procesadores heterogneos,
manteniendo la semntica del rendezvous de ADA.

Soporte de software para trabajar en forma "transparente" sobre la arquitectura del

hipercubo de trasputers, independientemente de la topologa que se configure.

Algoritmos de tratamiento paralelo de imgenes (clustering, reconocimiento de patrones).

Sobre redes, transputers y DSPs.

Actualmente se est trabajando en seguimiento paralelo de trayectorias para aplicaciones en

robtica, en tratamiento paralelo de video en tiempo real, en algoritmos paralelos para
clasificacin de imgenes por texturas y en anlisis de similitud de imgenes por estudio de
su transformada wavelet multidimensional.

Bibliografa Bsica
[AkI97] AkI S, "Parallel Computation. Models and Methods", Prentice-Hall, 1m:., 1Y97.
[Bri95] Brinch Hansen, P., "Studies in computational science: Parallel Programming
Paradigms", Prenticc-Hall, Inc., 1995.
[Cof92] M. Coffin, "Parallel programming- A new approach", Prentice Hall, Ellglewood Cliffs,
1992.
[Hwa93] Hwang K., "Advanced Computer Architecture: Paralelism, Scalability,
Programability", McGraw-Hill, 1993.
[Law92] H. Lawson, "Parallel processing in industrial real time applications", Prentice Hall
1992.
[Lei92] Leighton F. T., "lntroduction to Parallel Algorithms and Architectures: Arrays, Trees,
Hypercubes", Morgan Kaufmann Publishers, 1992.
[Mor94] Morse F., "Practical Parallel Computing", AP Professional, 1994.
[Sim97] Sima D, Fountain T, Kacsuk P, .. Advanced Computer Architectures. A Design Space
Approach" , Addison Wesley Longman Limited, 19Y7.
[Tin98] Tinetti F., De Giusti A., "Procesamiento Paralelo. Conceptos de Arquitectura y
Algoritmos", Editorial Exacta, lY98.
[Zom96] Zomaya A (ed), "Parallel Computing. Paradigms and Applications", Internationl
Thomson Computer Press, 1996.
IEEE Transactions on Parallel and Distributed Processing.

Wicc 2000 - 15