UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Atomicidade em Linguagens de Acima: Atomicidade em Linguagens de Anterior: Atomicidade em Linguagens de

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