
Next: Atomicidade em Linguagens de
Up: Atomicidade em Linguagens de
Previous: Atomicidade em Linguagens de
- a noção de comandos conflitantes é utilizada
para determinar a atomicidade de conjuntos de comandos
- sejam:

- o comando
está em conflito com o comando
se

- (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
Osvaldo Sergio F. de Carvalho
Wed Mar 19 14:56:39 EST 1997