- - - - CENAPAD-MGCO

A seguir: Questao 2 Acima: Sahira Vieira de Miranda Anterior: Sahira Vieira de Miranda

Questao 1

Processos assincronos

sao processos sequenciais cujas velocidades relativas não podem influenciar o resultado de uma computacao. As interacoes entre os processos são controladas atraves de primitivas de sincronizacao. Na programacao paralela assincrona, estes processos fornecem solucoes mais gerais e possibilitam por exemplo, que uma maquina reaja a estimulos cujo instante de chegada e imprevisivel. E importante ressaltar que a correcao de um programa não deve depender das velocidades relativas dos processos.

Exclusao mutua

e uma propriedade que garante que não teremos mais de um processo acessando a regiao critica (variaveis compartilhadas) ao mesmo tempo. Representa a solucao mais simples para a obtencao da semantica nao deterministica. E a ferramenta basica para se obter um comportamento serializavel de operacoes sobre uma estrutura de dados compartilhada. E essencial para a correcao do programa.

Serializabilidade

e a propriedade que diz que o efeito da execucao de duas ou mais acoes em paralelo equivale ao efeito da execucao sequencial destas acoes em pelo menos uma ordenacao. A importancia em programacao paralela assincrona e a garantia da atomicidade de qualquer conjunto de acoes com possivel execucao em paralelo. Desta forma, todos os possiveis comportamentos do programa paralelo poderao ser inferidos de sua codificacao original, ou seja, o programa paralelo tera sua semantica definida.

Espera ocupada

um processo testa repetidamente uma condicao (que impede seu progresso) ate que ela seja verdadeira. Esta condicao so pode ser alterada por outro processo. A programacao com espera ocupada pode levar a desperdicios de tempo de processador. Para o caso de multiprocessadores pode ser uma solucao aceitavel.

Equanimidade

caracteristica de programas que satisfazem a propriedade de progresso (justica), isto e, não permitem que alguns processos morram de inanicao. E importante ressaltar que esta propriedade de justica deve ser interpretada com frieza tecnica. Em certas situacoes um programa injusto pode ser mais adequado para uma certa tarefa que um programa justo. Tudo depende da especificacao do problema. Sua importancia refere-se ao fato de que para muitos problemas, e interessante que todas as requisicoes sejam atendidas em tempo finito.