Concurrency en race condities

HW ondersteuning: Test-and-set instructie
Atomaire machine instructie (ook op SMP)
TAS address
– reserveert bus,
leest van address,
zet status bit voor nul/niet nul,
schrijft 1 naar address,
geeft bus vrij
– Werkt ook op shared-memory multi-processor
systemen
– Gebruik (pseudo-assembler):
try_address: TAS address
BNZ try_address # branch if not zero
critical section # if (*address == 0)
CLR address # clear address
College OS 2010 – 2011 18