¡    

¡  

¡  

¡  

¡    

¡  

¡  

¡  

¡

¡    

¡  

¡  

¡  

¡

¡    

¡  

¡  

¡  

¡

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¢ ¢

£ ¢

£ ¢

£ ¢

¡  

¡  

¡  

¡  

¡  

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡    

¡  

¡  

¡  

¡

¡    

¡  

¡  

¡  

¡

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£

£ ¢ ¢

£ ¢

£ ¢

£ ¢

Release A

Preogress of process Q

1

£

Release B

P and Q want A

2

3

¡

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

Get A

£

Get B

¡

3

2

Get A

require A

4

Release A Get B

5

P and Q want B

require B Release B

3

6 5 4
B

require

Progress of process P A require