- - - - CENAPAD-MGCO

A seguir: Atomicidade em Linguagens de Acima: Semântica de Programas Paralelos Anterior: Implementação de ações atômicas

Comandos Conflitantes

• a noção de comandos conflitantes é utilizada para determinar a atomicidade de conjuntos de comandos
• sejam:

W(c) o conjunto de posições de memória escritas pelo comando c

R(c) o conjunto de posições de memória lidas pelo comando c

• o comando c₁ está em conflito com o comando c₂ se

$$\begin{array} {l} W(c_{1}) \cap W(c_{2}) \neq \emptyset, \ma... ... \mathrm{ou}\ R(c_{1}) \cap W(c_{2}) \neq \emptyset\end{array}$$

• (a = 0, b = 0) é (quase sempre) atômico
• (n = n + 3, n = n * 10) não é atômico
• (n = n + 3, x = 2*n) não é atômico