-
-
-
CENAPAD-MGCO
A seguir: Resumo
Acima: Comandos Conflitantes
Anterior: Atomicidade em Linguagens de
int n;
void soma100(void) {
int i;
for(i=0; i <= 100; i++) {
LDA n; ADD 1; STA n;
}
}
void main(void) {
n = 0;
cobegin
P1:: soma100();
|| P2:: soma100();
coend;
printf(n)
}