- - - - CENAPAD-MGCO

A seguir: Questão 2 Acima: Janaina Farnese Lacerda Anterior: Janaina Farnese Lacerda

Questão 1

Processos assíncronos

São processos sequenciais que interagem entre si através de primitivas de sincronização. Nestes processos nenhuma hipótese a respeito de suas velocidades relativas é feita. Os processos assíncronos são importantes para a programação paralela pois se tratam de componentes primários para esta programação. Dessa forma, os processos assíncronos permitem que:

• um computador reaja a estímulos cujo instante de chegada é imprevisível;
• a troca de um componente por outro de desempenho superior não modifique a correção do programa paralelo;
• soluções mais gerais para o problema que está sendo tratado sejam adotadas.

Exclusão mútua

A exclusão mútua é a ferramenta básica para se obter um comportamento serializável de operações sobre uma estrutura de dados compartilhada. A exclusão mútua é importante no contexto da programação paralela porque permite que processos paralelos possam cooperar entre si de maneira correta e eficiente no que diz respeito à utilização de recursos compartilhados.

Serializabilidade

Serializabilidade no contexto da programação paralela é a propriedade de o efeito da execução de várias ações em paralelo ser equivalente ao efeito da execução destas ações de forma sequencial em pelo menos uma de suas ordenações. A serializabilidade é importante porque um conjunto de ações cujo efeito de sua execução em paralelo é serializável é dito ser atômico; e com a atomicidade de todo conjunto de ações garantida, pode-se dizer que o programa paralelo tem a sua semântica definida.

Espera ocupada

A espera ocupada é caracterizada por testes repetidos por uma condição que impede o progresso de um processo, e que só pode ser alterada por outro processo. A espera ocupada é importante no contexto da programação paralela já que é uma forma de se implementar primitivas de sincronização. Entretanto, a espera ocupada deve ser evitada pois pode levar a desperdícios de tempo de processador. Somente nos casos em que houver uma razão muito forte para supor que a espera será muito curta é que deve-se usar a espera ocupada.

Equanimidade

Equanimidade no contexto da programação paralela é a qualidade que alguns programas possuem de serem ``justos''. Um programa é ``justo'' quando satisfaz a uma propriedade de progresso. A equanimidade é importante pois permite que nenhum processo morra de inanição (ou starvation). Entretanto, um programa não equânime pode ser mais adequado para uma certa tarefa do que um programa equânime. Tudo depende da especificação do problema.