Sistemas Distribuídos

Transcrição

1 Sistemas Distribuídos Exclusão Mútua Gustavo Reis

2 - Questão fundamental em SDs Concorrência e colaboração entre vários processos Processos vão precisar acessar simultaneamente os mesmos recursos Para evitar que acessos concorrentes corrompam o recurso ou o tornem inconsistente acesso mutuamente exclusivos

3 - Duas categorias diferentes: Soluções baseadas token: Passagem de uma mensagem especial entre os processos Token Com posse do token, o recurso pode ser acessado Ao término, token é repassado Evita starvation e deadlocks Problema: perda do token

4 - Exclusão Mútua Algoritmo Centralizado Modo mais direto de conseguir exclusão mútua: simular sistema monoprocessador Coordenador (Líder): sempre que um processo quiser acessar um recurso compartilhado, envia uma mensagem de requisição ao líder se nenhum outro processo estiver acessando o recurso, líder devolve uma resposta, concedendo permissão caso exista um processo acessando o recurso, pedido deverá ser armazenado em uma fila

5 - Exclusão Mútua Algoritmo Centralizado

6 - Exclusão Mútua Algoritmo Centralizado Algoritmo centralizado garante exclusão mútua: coordenador permite o acesso de um processo por vez ao recurso justo, dado que as permissões são concedidas na ordem em que as requisições foram recebidas fácil de implementar: requer somente três mensagens por utilização de recurso (requisição, concessão, liberação) problema: coordenador é o único ponto de falha; como identificar um coordenador inativo de uma permissão negada.

7 Quando um processo quer acessar um recurso Compartilhado: monta mensagem que contém o nome do recurso, seu número de processo e a hora corrente envia a mensagem a todos os outros processos premissa: mensagens não se perdem

8 Quando um processo recebe uma mensagem: se o receptor não estiver acessando o recurso e não quiser acessá-lo: mensagem de se o receptor já tiver acesso ao recurso, não responde e coloca a requisição em uma fila se o receptor também quiser acessar o recurso, compara a marca da msg recebida com a marca da msg que enviou para todos. A msg com marca menor vence. Caso a marca da msg que chegou seja menor, envia. Caso contrário, enfileira a requisição

9 Após enviar requisições para permissão ao acesso a um recurso, o processo espera pela permissão de todos os outros processos. Com todas as permissões, o processo acessa o recurso e logo após tenha utilizado este recurso envia mensagem de para todos os processos que estão em sua fila e os remove.

10

11 4 3

12 4 3

13 Acesso permitido 4 3

14 4 3

15 4 3

16 4 3

17 4 3

18 Acesso garantido Processo entra na fila de espera 4 3

19 Acesso garantido Processo entra na fila de espera 4 3

20 Acesso garantido Processos e na fila de espera 4 3 Processo entra na fila de espera

21 Término do acesso 4 Os processos e recebem do processo e são retirados da fila de espera 3 Processo entra na fila de espera

22 Acesso garantido 4 3 Processo entra na fila de espera

23 Término do acesso 4 3 Processo sai da fila de espera e recebe

24 4 3 Acesso garantido

25 exclusão mútua é garantida sem starvation e deadlock número de mensagens para cada pedido de permissão é de (n-), onde o número total de processos no sistema é n problema: n pontos de falha se qualquer processo falhar, não responderá as requisições, que será interpretada, de maneira incorreta como recusa!

26 Recusa ou falha? quando uma requisição chega, o receptor sempre envia uma resposta, seja concedendo ou recusando permissão sempre que uma requisição ou uma resposta se perde, o remetente esgota a temporização de espera e continua tentando até que uma resposta volte ou que o remetente conclua que o destinatário está morto

27 - Exclusão Mútua Token Ring Exclusão mútua por esquemas determinísticos em um SD anel lógico é construído em software e a cada processo é designada uma posição no anel cada processo deve saber quem deve receber o token

28 - Exclusão Mútua Token Ring Quando o anel é inicializado, o processo recebe o token O token é repassado do processo k para o k+, através de msgs ponto-a-ponto Quando um processo recebe o token, verifica se precisa acessar o recurso compartilhado acessa o recurso e repassa o token ao próximo processo caso contrário, simplesmente repassa o token

29 - Exclusão Mútua Token Ring Corretude do algoritmo: só um processo tem o token a qualquer instante starvation é evitado Problemas se o token se perder, deve ser gerado novamente se um processo falha, este pode ser removido do grupo e o token é repassado para o próximo vizinho lógico

30 - Algoritmos de Eleição Muitos algoritmos distribuídos requerem que um processo aja como coordenador No caso de processos iguais (sem característica distintiva), consideramos que cada um deles possui um número exclusivo Em geral, algoritmos de eleição tentam localizar o processo que tenha o identificador mais alto, sendo este escolhido como coordenador Vamos considerar que todo processo sabe qual é o número de processo de todos os outros. O que não se sabe é quais estão funcionando e quais estão inativos Ao final, todos os processos devem concordar com o a escolha do novo líder (ou coordenador)

31 - Algoritmos de Eleição Algoritmo do Valentão (Bully) Proposto por Garcia-Molina (98) Quando qualquer processo nota que o líder não está mais respondendo a requisições, ele inicia uma nova eleição. Processo P convoca uma eleição: () P envia msg de eleição para todos os processos com IDs maiores () Se ninguém responde, P vence eleição e torna-se coordenador (3) Se algum processo com ID maior responde, ele desiste. Quando processo recebe msg de eleição de membros com ID mais baixa Envia para remetente para indicar que está vivo e convoca eleição

32 - Algoritmos de Eleição Algoritmo do Valentão (Bully) Eventualmente todos os processos desistem menos um: novo coordenador Se processo que estava indisponível volta, inicia eleição Se for processo com maior ID, vence e toma coordenação Maior cara da cidade sempre vence: algoritmo do valentão

33 - Algoritmos de Eleição Algoritmo do Valentão (Bully)

34 - Algoritmos de Eleição Algoritmo em Anel Não utiliza token Quando qualquer processo nota que o coordenador não está funcionando, monta uma mensagem ELEIÇÃO, com o seu próprio número de processo, e envia ao seu sucessor Caso o sucessor tenha caído, o remetente segue até achar o próximo processo em funcionamento Ao longo do caminho, cada processo adiciona o seu número a lista na msg Ao retornar a origem, líder é definido (maior de todos os processos na lista) e msg COORDENADOR é enviada, com o novo líder e a lista de processos em funcionamento

35 - Algoritmos de Eleição Algoritmo em Anel