Maaaring mawala ang update sa interleaving

15-minutong sesyon: magbasa nang 3 minuto, mag-trace nang 3, mag-eksperimento nang 7, at sagutan ang check nang 2. Maglaan ng dagdag na oras kung kailangan.

Maaaring mabasa ng dalawang worker ang parehong counter bago magsulat. Parehong nagiging one ang kalkulasyon kaya one lang ang final imbes two. Deterministic na modelo ang halimbawa upang hindi umasa sa tsansang mangyari ang race. Tukuyin ang shared state at operation na dapat atomic o protected.

Pagsasanay at ebidensiya: Hulaan ang halimbawa o iguhit ang pagbabago ng state. Baguhin ang isang palagay, subukan ang hangganan, at itala ang aktuwal na resulta. Ipaliwanag kung ano ang hindi napapatunayan ng maliit na modelo tungkol sa production system.

counter=0
a=counter
b=counter
counter=a+1
counter=b+1
print(counter)

Inaasahang resulta: 1

Pagsasanay at ebidensiya

Itala ang hula, aktuwal na resulta, at dahilan ng pagtugma o pagkakaiba. Sinusukat ng completion check ang pag-unawa; hinahasa ng practice task ang kasanayan.