Solutions
Fundamental problem: Read-test-write of the semaphore must be an atomic action
Solutions are:
Disable interrupts
Provide new memory operation
Get VERY clever (cf. Dekker, Dijsktra)
Dangerous to give user
Interrupt Enable Control!
Previous slide
Next slide
Back to first slide
View graphic version