Excluso mtua

Algoritmos:
Centralizado Distribudo Token Ring / Anel

Algoritmos de Eleio
Ditador/Valento Token Ring / Anel

Regies crticas (RC)

Mltipos Processos
Concorrncia a recursos Consistncia

Semforos
Monoprocessamento

Algoritmo centralizado
Coordenador ponto central de falha Falta de trabalho (starvation) potencial no caso de
falha Resolver enviando mensagem explicitamente negando. Processos tentam novamente depois.

Em sistemas grandes o coordenador gargalo

Usa relgio lgico Pressupe comunicao confivel Preferncia para o menor relgio

Problema
Agora, so n pontos de falha Silncio tomado como negativa (pode ter falhado)

Soluo:
Enviar mensagem negando Processo fica bloqueado e tenta novamente depois

Idia similar a rede Ordem lgica dos processos Quem tem o token entra na regio crtica

LaSiD Laboratrio de Sistemas Distribudos http://www.lasid.ufba.br/

Processo que deseja entrar na regio crtica envia token para o anel Processo do anel se est na regio crtica ou quer tambm entrar no propaga a token Se ocorrer a perda de token mecanismo falha Soluo comum:
exigir aviso de recebimento do token criar um novo token

LaSiD Laboratrio de Sistemas Distribudos http://www.lasid.ufba.br/

Algoritmo

Mensagem Atraso antes por da entrada (em entrada/sad tempo de a mensagens) 3 2(n1) 1a 2 2(n1) 0 a (n 1)
LaSiD Laboratrio de Sistemas Distribudos http://www.lasid.ufba.br/

Problemas
Coordenador falha Algum processo falha

Centralizado Distribudo Token ring

Perda de token, processo falha

Usados quando h necessidade de um n agir como coordenador. So exemplos tradicionais de algoritmos de eleio:
Algoritmo do valento; Algoritmo de anel;

Alm disso, existem solues para ambientes especficos, como:

Algoritmos para Ad Hoc; Algoritmos para sistemas de grande escala (como P2P)

Inventado por Garcia-Molina (1982);

Todos ns possuem um identificador; Sempre que um n qualquer P nota que o coordenador no responde, P inicia uma eleio:
1. P envia uma mensagem ELEIO a todos os
processos de nmeros mais altos; 2. Se nenhum responder, P vence a eleio e se torna o coordenador; 3. Se um dos processos de nmero mais alto responder, ele toma o poder e o trabalho de P est concludo.

Dessa forma eleito o n com maior identificador!

Baseado na utilizao de anel (fsico ou lgico), mas no usa ficha:

Quando qualquer processo nota que o coordenador no est funcionando, monta uma mensagem ELEIO com seu prprio nmero e o envia a seu sucessor ou prximo que esteja em funcionamento; A cada etapa, o remetente adiciona seu nmero de modo a se tornar tambm um candidato eleio de coordenador; Ao chegar ao primeiro, este envia a mensagem COORDENADOR contendo o maior identificador da lista.

Necessrios em ambientes onde a troca de mensagens no confivel e a topologia da rede muda com freqncia, como ad hoc. Visa eleger o melhor lder em vez de apenas um lder aleatrio (ex. o que possui maior bateria restante). Ser adotado que a rede ad hoc mas os ns no podem se mover.

Um n fonte P inicia a eleio enviando a mensagem ELEIO a seus vizinhos;

Se todos vizinhos de um n R j possuem um pai, R um n folha, portanto pode reportar de volta a Q, passando informaes teis. Quando Q recebe todas as respostas, reporta a seu pai qual o melhor dos recebidos por Q; O n P recebe os melhores candidatos e decide pelo melhor, informando a todos via broadcast.

Quando um n Q recebe a mensagem ELEIO pela primeira vez, designa o remetente como seu pai e envia uma mensagem ELEIO a todos vizinhos exceto seu pai; Se Q recebe uma mensagem ELEIO de um n no-pai, apenas confirma o recebimento;

Andrew S. Tanenbaum Maarten Van Steen

1. 2. 3.

H situaes em que necessrio trabalhar com redes maiores e necessrio eleger maior quantidade de pares, ex.: Superpares em P2P Requisitos a serem cumpridos por superpar:

4.

Ns normais devem ter baixa latncia de acesso com superpares; Superpares devem estar uniformemente distribudos pela rede de sobreposio; Deve haver uma poro predefinida de superpares em relao ao nmero total de ns na rede de sobreposio; Cada superpar no deve precisar atender mais do que um nmero fixo de ns normais;

Uma soluo dada quando se usa m bits de identificador, separar os k bits da extrema esquerda para identificar superpares;
Problema: no garante posicionamento geomtrico para organizar os superpares uniformemente pela rede
Ex.: log2(N) Superpares, m=8,k=3. p AND 11100000 = Superpar.

N fichas distribudas aleatoriamente entre os ns;

Nenhum n pode ter mais de uma ficha; Fichas possuem uma fora de repulso; Um n que mantiver a ficha por determinado tempo eleito superpar.

Para coordenao de processos em execuo em um SD deve-se ter mecanismos para:

Sincronizar eventos que devem ocorrer em determinada ordem para que tenham tempos coerentes

Garantir excluso mtua para evitar condio de disputa que leve a inconsistncia de informaes