MecanismosparaSincronizacaoentreProcessos

Mecanismos para Sincronização entre Processos

Num sistema distribuído, os mecanismos de comunicação e sincronização são os elementos responsáveis pelo controle do andamento relativo dos processos (sincronização) e pela troca de informações entre eles (comunicação). O sistema operacional pode utilizar dois esquemas complementares de comunicação, que envolvem o uso explícito da memória compartilhada e o uso de um sistema de mensagens. Enquanto que no primeiro caso caberá ao mecanismo de comunicação e sincronização realizar a sincronização e deixar que os processos troquem informações através de variáveis compartilhadas, no segundo caso, o mecanismo estará incumbido tanto de realizar a sincronização quanto de efetuar a troca de informações. Os mecanismos de comunicação e sincronização se apresentam normalmente como estruturas algorítmicas, ou permitem construí-las, de forma a implementar sincronização e eventualmente comunicação entre processos. Estas estruturas envolvem a utilização de operações primitivas de comunicação e sincronização, cujas execuções ocorrerão sempre de forma indivisível. Para ser aplicável, um mecanismo de comunicação e sincronização deverá apresentar as características básicas, listadas a seguir:

a) Ser independente dos processos que o utilizarem e não fazer suposições sobre suas velocidades relativas, exceto que elas são finitas e diferente de zero.
b) Ser neutro com respeito à escalação de processos, de forma que não haja distorções na política geral de escalação aplicada num nível mais alto.
c) Ser de fácil utilização, gerando trechos inteligíveis de programa.
d) Apresentar implementação eficiente.
e) Facilitar a verificação formal de propriedades de programas (bloqueio perpétuo, espera indefinida, etc).

Essas características tem como objetivo evitar a concorrência de erros difíceis de serem detectados, apresentar certa imunidade a modificações de programa, dar clareza à codificação, apresentar baixos custos de