Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

Link para esta página de comparações

Próxima revisão		 Revisão anterior
so:jantar_dos_filosofos [2008/05/09 17:18] – external edit 127.0.0.1so:jantar_dos_filosofos [2011/09/26 22:32] (atual) – [A Entregar] maziero
Linha 1: Linha 1:
 +====== O Jantar dos filósofos ======
 +
 +O Jantar dos Filósofos é problema clássico de sincronização proposto por Dijkstra em 1965. A capa da revista //Communications of the ACM// de Janeiro de 1988 ilustra a aplicação prática deste problema em uma situação do mundo real...
 +
 +{{  :so:jantar-filosofos.jpg  |O Jantar dos filósofos, Communications of the ACM, January 1988}}
 +
 +===== O problema =====
 +
 +Este projeto consiste em implementar o problema do jantar dos filósofos em C, usando uma thread Posix para modelar cada filósofo e um semáforo Posix para cada palito (//chopstick//).
 +
 +Cada um dos 5 filósofos tem o seguinte comportamento:
 +
 +<code>
 +while (true)
 +{
 +   meditar (duração aleatória entre 0 e 2 segundos)
 +   pegar o palito à sua esquerda
 +   pegar o palito à sua direita
 +   comer (duração aleatória entre 0 e 2 segundos)
 +   soltar os palitos
 +}
 +</code>
 +
 +===== Observações =====
 +
 +  * Devem ser usados semáforos POSIX na solução; laços de espera ocupada (//busy-wait//) **não são permitidos**.
 +
 +===== Roteiro =====
 +
 +  - Implementar uma solução sem controle de impasses
 +  - Implementar uma solução com controle de impasses através de serialização ("solução do saleiro")
 +  - Implementar uma solução com controle de impasses que permita o máximo paralelismo entre os filósofos
 +  - Medir o número de filósofos que podem comer por segundo, nas três soluções (desabilitar as pausas para efetuar essa medição)
 +
 +Para medir o desempenho de cada solução, a //thread// principal (''main'') pode executar o seguinte laço, após ter criado as demais //threads//((Obrigado ao Marco Kawajiri por esta ideia)):
 +
 +<code c>
 +while(1)
 +{
 +   sleep (1) ;
 +   pthread_mutex_lock (&mut) ;
 +   printf ("Refeições por segundo: %d\n", numRefeicoes) ;
 +   numRefeicoes = 0 ;
 +   pthread_mutex_unlock (&mut) ;
 +}
 +</code>
 +
 +O contador ''numRefeicoes'' deve ser incrementado cada vez que um filósofo comer; o //Mutex// ''mut'' serve para evitar condições de disputa envolvendo esse contador. Ambos devem ser variáveis globais.
 +
 +===== A Entregar =====
 +
 +  - As implementações realizadas
 +  - <del>Um relatório sucinto (e no [[teaching:regras das atividades de laboratorio#relatórios|formato correto]]) descrevendo os resultados observados nas experiências.</del>