¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡    

¡

¡  

¡  

¡  

¡

¡  

¡    

¡  

¡  

 

§ ¦ ¦

§ ¦

§ ¦

§

§ ¦ ¦

§ ¦

§ ¦

§

¡    

¡

¡  

¡  

¡  

¡

¡  

¡    

¡  

¡  

 

§ ¦ ¦

§ ¦

§ ¦

§

§ ¦ ¦

§ ¦

§ ¦

§

¡    

¡

¡  

¡  

¡  

¡

¡  

¡    

¡  

¡  

 

§ ¦ ¦

§ ¦

§ ¦

§

§ ¦ ¦

§ ¦

§ ¦

§

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¥ ¤ ¤

¥ ¤

¥ ¤

¥ ¤

¥ ¤

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¥ ¤ ¤

¥ ¤

¥ ¤

¥ ¤

¥ ¤

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¥ ¤ ¤

¥ ¤

¥ ¤

¥ ¤

¥ ¤

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¥ ¤ ¤

¥ ¤

¥ ¤

¥ ¤

¥ ¤

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¥ ¤ ¤

¥ ¤

¥ ¤

¥ ¤

¥ ¤

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

¡    

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¡  

¥ ¤ ¤

¥ ¤

¥ ¤

¥ ¤

¥ ¤

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£

£ ¢ ¢

£

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢ ¢

£ ¢

£

£ ¢ ¢

£

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢ ¢

£ ¢

£

£ ¢ ¢

£

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢ ¢

£ ¢

£ ¢ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

£ ¢

Release A

£

Preogress of process Q

1

£

Release B

£

Get A

2

£

Get B

3

4

Get A

2

P and Q want A

require A

5
require B

Get B Release A

P and Q want B

Release B

6 5

require B

Progress of Process P A require