1.

Por que no adequado utilizar mtodos como semforos e monitores para resolver prob lemas de sincronizao, tais como regies crticas e excluso mtua, em sistemas distribudos Pois estes mtodos, implicitamente, consideram a existncia de memria compartilhada, a qual no est presente em um sistema distribudo, onde os diversos mdulos de memria en contram-se espalhados pelos diversos computadores que fazem parte do sistema. 2. Realizar sincronizao em sistemas distribudos mais complicado do que em sistemas centralizados, visto que no primeiro caso necessita-se utilizar algoritmos distr ibudos. Tais algoritmos possuem quatro propriedades a serem consideradas. Que pro priedades so essas? a. A informao relevante espalhada entre mltiplas mquinas; b. Os processos tomam decises baseados somente na informao local; c. Um nico ponto de falha no sistema deveria ser evitado; d. Nenhum relgio comum ou outra fonte de tempo global exata existe. 3. Ao desenvolver seu algoritmo clssico para sincronizao de relgios, Lamport mostrou que a sincronizao de relgios no necessita ser absoluta. O que isso significa? Significa que, se dois processos no interagem, no necessrio que seus relgios estejam sincronizados, pois a falta de sincronizao no seria observvel e no poderia causar pr oblemas. Alm disso, ele mostrou que o que realmente importa no que todos os proces sos concordem sobre qual tempo , mas que eles concordem na ordem na qual os event os ocorreram. Para muitos propsitos suficiente que todas as mquinas concordem no m esmo tempo. No essencial que este tempo tambm concorde com o tempo real. 4. Defina relgios lgicos e relgios fsicos. Relgios lgicos consideram a consistncia interna dos relgios, no se eles esto particula rmente consistentes com o tempo real. J, relgios fsicos, restringem que os relgios d evem no somente ser o mesmo, mas tambm no devem desviar do tempo real em mais do qu e certa quantidade de tempo. 5. O que significa a relao acontece antes definida por Lamport? Significa que todos os processos concordam que primeiro o evento a ocorre, ento, depois, o evento b ocorre. 6. O algoritmo de Cristian para sincronizao de relgios apresenta dois problemas. O primeiro deles que o tempo nunca deve ser retrocedido. O segundo que quando o te mpo do servidor chega ao transmissor, ele j se encontra desatualizado. Para lidar com o segundo problema, Cristian busca medir este atraso. Existem trs maneiras d e estimar o tempo de propagao da mensagem considerando os tempos T0 e T1 medidos n o transmissor. Quais so essas maneiras? - Na falta de qualquer outra informao, a melhor estimativa do tempo de propagao da m ensagem (T1-T0)/2. Quando a resposta chega ao transmissor, o valor na mensagem p ode ser aumentado com esta quantidade para fornecer uma estimativa do tempo atua l do servidor. - Esta estimativa pode ser melhorada se conhecido, aproximadamente, o tempo que o servidor de tempo leva para gerenciar a interrupo e processar a mensagem recebid a. Vamos chamar o tempo para gerenciamento da interrupo de I. Assim, a quantidade do intervalo de T1e T0 que foi dedicado para a propagao da mensagem T1-T0 I, sendo que o tempo para a propagao da mensagem a metade disto. - Para aumentar a exatido, Cristian sugeriu fazer no somente uma medida, mas uma sr ie delas. Qualquer medida onde T1-T0 excede um valor pr-definido descartada como sendo vtima do congestionamento da rede e, assim, indesejvel. As estimativas resta ntes podem, ento, serem medidas para se obter um melhor valor. Alternativamente, a mensagem que volta mais rpido pode ser tomada para ser mais exata, uma vez que ela, presumivelmente, encontrou o mnimo trfego na rede e mais representativa do te mpo de propagao puro. 7. Quantas mensagens so necessrias para que um processo consiga permisso do coorden ador para utilizar uma regio crtica no algoritmo centralizado para excluso mtua? Que mensagens so essas? So necessrias trs mensagens por uso da regio crtica (requisio, concesso, liberao).

8. Explique o funcionamento do algoritmo centralizado para excluso mtua baseado na figura abaixo. Considere 0, 1 e 2 como sendo processos que querem entrar em uma regio crtica. Quando um processo quer entrar em uma regio crtica, ele envia uma mensagem de requ isio para o coordenador informando em qual regio crtica ele quer entrar e pedindo pe rmisso. Se nenhum outro processo encontra-se naquela regio crtica, o coordenador en via de volta uma resposta concedendo a permisso, como mostrado na figura acima (a ). Quando a resposta chega, o processo que requisitou acesso entra na regio crtica . Supondo que outro processo, 2 na figura acima (b), pede permisso para entrar na m esma regio crtica. O coordenador sabe que um processo diferente j est na regio crtica, assim ele no pode conceder a permisso. O mtodo exato para negar a permisso dependente do sistema. Na figura acima (b), o coordenador no envi a nenhuma resposta, bloqueando o processo 2, que est esperando por uma resposta. Alternativamente, ele poderia enviar uma resposta dizendo permisso negada . Dessa fo rma, ele enfileira a requisio do processo 2. Quando o processo 1 sai da regio crtica, ele envia uma mensagem para o coordenador liberar seu acesso exclusivo, como mostrado na figura acima (c). O coordenador pega o primeiro item da fila de requisies que haviam sido negadas e envia para aqu ele processo uma mensagem concedendo a permisso de entrada. Desta forma, quando o processo v a permisso, ele pode entrar na regio crtica.