Programao paralela em Haskell

Ben Hur Bahia do Nascimento Giovanni Viol Assis Rodrigo Ferreira dos Santos Gonalves

DCC/UFLA Programao Paralela e Distribuda Prof.: Marluce Rodrigues Pereira

Haskell Linguagem funcional.

A computao vista como a avaliao de funes matemticas.

No existe efeitos colaterais, logo a ordem da execuo das funes no importante.

Avaliao Preguiosa. A computao de uma expresso somente ocorre quando o seu valor necessrio.

Linguagem de alto nvel.

Linguagem declarativa. Descreve O QUE deve ser feito ao invs DE COMO as instrues devem ser

executadas.

Paralelismo em Haskell

Determinstico: Um programa paralelo sempre produz o mesmo resultado, independente de quantos

ncleos de processamento so usados para execut-los.

Programas paralelizados podem ser depurados (Debugged) sem a necessidade de execut-los em paralelo.

No necessrio se preocupar com comunicao e nem com sincronizao. O programador indica onde o paralelismo est, deixando os detalhes de como executar

o programa em paralelo para o sistema de execuo (runtime system).

Paralelismo em Haskell

Por possuir menos detalhes operacionais, programas em Haskell so abstratos, portanto tem maior probabilidade de funcionar em uma maior variedade de hardwares paralelos.

Programas paralelos em Haskell podem tirar vantagem de tecnologias altamente adaptadas ao sistema de execuo (runtime system), como por exemplo o Garbage Collection em paralelo.

A desvantagem: devido a vrios detalhes de execuo estarem escondidos, problemas de desempenho so difceis de serem entendidos.

Problema escolhido: Sudoku

Dado um arquivo contendo vrias instncias do problema Sudoku, dizer quantos deles possuem soluo

Escolhemos esse problema, pois cada instncia do problema pode ser resolvido em tempos diferentes

NP-Completo

Abordagem Sequencial

1. Atribui a f o nome do arquivo

2. L o contedo do arquivo

3. Divide o arquivo em linhas, cada linha uma instncia do problema

4. Soluciona os problemas

5. Imprime quantos instncias do problema possuem soluo

Como paralelizar?!Monad Eval: rpar e rseq

Paralelismo expressado usando o mnade Eval que vem com 2 operaes: rpar e rseq.

rpar: meu argumento pode ser avaliado em paralelo

rseq: avalie meu argumento e espere pelo resultado

rpar/rpar

rpar/rseq

rpar/rseq/rseq

Abordagem por diviso de conjuntos de instncias(particionamento esttico)

1. Divide-se a lista de problemas em duas partes

2. Resolva em paralelo o conjunto as

3. Resolva em paralelo o conjunto bs

4. Aguardando terminar o processamento paralelo

5. Aguardando terminar o processamento paralelo

6. Retorna a concatenao das solues

Particionamento Dinmico

Abordagem por diviso de instncias

1. A funo runEval avalia cada um dos Evals

Concluso

Existe paralelismo para linguagens funcionais, logo se seu problema possui uma natureza funcional, no necessrio adapat-lo para uma linguagem procedural apenas pelo paralelismo

Referncia

Marlow, Simon. Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming. OReilly Media, Inc. 2012.