Software Solution 1 (incomplete)

• Only two processes.

• Local process is i, other is j.

• Mutual exclusion - good.

• Progress - bad.

• Bounded time - well, if progress was guaranteed, bounded time was ok too.

Shared turn: (0..1)=0;

Repeat

while turn ? i do no-op;

critical section

turn := j;

remainder section

Forever

Previous slide

Next slide

Back to first slide

View graphic version