15-minutong sesyon: pagbasa sulod sa 3 minutos, pag-trace sa 3, pag-eksperimento sa 7, ug pagtubag sa check sa 2. Paggahin og dugang oras kon gikinahanglan.
Mahimong mabasa sa duha ka worker ang samang counter sa dili pa mosulat. Parehong one ang kalkulasyon ug one ang final imbes two. Deterministic nga modelo ang pananglitan aron dili magsalig sa tsansa sa race. Ilha ang shared state ug operation nga angay atomic o protected.
Praktis ug ebidensiya: Tag-ana ang pananglitan o idrowing ang pag-usab sa state. Usba ang usa ka pagtuo, sulayi ang utlanan, ug itala ang aktuwal nga resulta. Ipasabot unsa ang wala mapamatud-i sa gamay nga modelo bahin sa production system.
counter=0
a=counter
b=counter
counter=a+1
counter=b+1
print(counter)
Gipaabot nga resulta: 1
Isulat ang tagna, aktuwal nga resulta, ug hinungdan sa pagkapareho o kalainan. Ang completion check mosukod sa pagsabot; ang practice task mopauswag sa kahanas.