£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

£ ¢ ¢

£

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢ ¢

£ ¢

£

£ ¢ ¢

£

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢ ¢

£ ¢

£

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¢ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¥ ¢ ¤

£ ¥ ¢ ¤

£ ¥ ¢ ¤

£ ¥ ¢ ¤

£ ¥ ¢ ¤

£ ¢ ¤ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¢ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¢ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¢ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¢ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤

¥ ¢

£ ¤ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡    

¡

¡  

¡  

¡  

¡

¡  

¡    

¡  

¡  

 

¡    

¡

¡  

¡  

¡  

¡

¡  

¡    

¡  

¡  

 

¡    

¡

¡  

¡  

¡  

¡

¡  

¡    

¡  

¡  

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

Release B

Preogress of process Q

1

2

3

require B

P and Q want B

 

Release A

Get B

2

£

Get A

£

3

Get A

4

P and Q want A

require A

5

Get B Release A

Release B

6 5 4

require A

Progress of Process P B require