- - - - CENAPAD-MGCO

A seguir: Comandos Conflitantes Acima: Semântica Operacional Anterior: Semântica Operacional

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 43 ou 70, como queríamos:

n = 4
cobegin
   DI; /* disable interrupts */
      LDA n; ADD 3; STA n;
   EI; /* enable interrupts */
||
   DI;
      LDA n; MULT 10; STA n; 
   EI;
coend;
printf(`n);