Leitores e Escritores: Propriedades

Alguns autores classificam as propriedades de programas paralelos em dois grupos:

Invariância , ou segurança , ou safety : uma coisa ruim nunca vai acontecer
Progresso , ou liveness : uma coisa boa sempre vai acontecer

A 1a solução para os leitores e escritores tem as seguintes propriedades de invariância:

Nunca teremos dois ou mais processos escritores escrevendo simultaneamente

Nunca teremos um escritor escrevendo e um ou mais leitores lendo simultaneamente

Nunca teremos uma espera circular configurando um deadlock