- - - - CENAPAD-MGCO

A seguir: Espera ocupada Acima: Primeira questão Anterior: Exclusão mútua

Serializabilidade

Serializabilidade é a propriedade de o efeito da execução de diversas ações em paralelo ser equivalente ao efeito da execução seqüencial destas ações em pelo menos uma de suas ordenações.

A importância deste conceito é que um conjunto de ações cujo efeito é serializável é atômico, o que significa que todos os seus possíveis comportamentos podem ser inferidos a partir da codificação original do programa, isto é, o programa paralelo tem a sua semântica definida.