Semântica de programas paralelos

• Um programa paralelo tem a sua semântica definida se todos os seus possíveis comportamentos podem ser inferidos de sua codificação original
• Para isto, a atomicidade de qualquer conjunto de ações com possível execução em paralelo deve ser garantida
• Um conjunto de duas ou mais ações é dito atômico quando o efeito de sua execução em paralelo é serializável, isto é, equivalente ao efeito da execução sequencial destas ações em pelo menos uma ordenação
• Reparem que a noção de atomicidade se aplica a um conjunto de ações, e não a uma ação em particular