Fischer’s ProtocolA simple MUTEX Algorithm Adding Time

A1

B1

CS1

V:=1

V=1

A2

B2

CS2

V:=2

V=2

Init

V=0

2

• ´

V

Criticial Section

x1 < 2

x1:=0

x1 > 3

x2 < 2

x2:=0

x2 > 3

Adding two clocks x1, x2.

Previous slide

Next slide

Back to first slide

View graphic version