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

A seguir: Atomicidade em Linguagens de Acima: Semântica de Programas Paralelos Anterior: Semântica de programas paralelos

Implementação de ações atômicas

• o hardware de qualquer computador garante a atomicidade de certos conjuntos de instruções
• ex.: um monoprocessador simples só pode ser interrompido entre duas instruções, o que faz com que o conjunto de todas as suas instruções seja atômico
• nestes casos a inibição de interrupções pode ser usada para garantir a formação de blocos de instruções com atomicidade garantida.
• o programa abaixo imprime n = 43 ou n = 70, como queríamos:

n = 4
cobegin
		 DI; /* disable interrupts */
		 		 LDA n; ADD 3; STA n;
		 EI; /* enable interrupts */
		 $\parallel$		 DI;
		 		 LDA n; MULT 10; STA n;
		 EI;
coend;
printf(``n=%d'',n);