Propriedades de programas paralelos e o problema dos Leitores e Escritores

A exclusão mútua é o meio mais simples de se obter um comportamento serializável.

O paralelismo é eliminado nas regiões críticas, e a serializabilidade decorre trivialmente: o comportamento é serializável porque é serial.

As vezes a restrição imposta ao paralelismo é forte demais, como no clássico problema dos leitores e escritores :

Diversos processos acessam uma mesma tabela
Processos leitores apenas consultam esta tabela
Processos escritores podem modificá-la
Durante uma operação de escrita o acesso à tabela deve ser restrito a um único processo escritor
Não existem restrições a leituras simultâneas
Escritor: ... requestWrite(); /* write */ ; releaseWrite();
Leitor: ... requestRead(); /* read */ ; releaseRead();