Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

Process2.java

00001 class Process2 extends java.lang.Thread 
00002 {
00003      
00004      public void run ()
00005      {
00006           Deadlock.state = (Deadlock.state + 1);
00007           synchronized (Deadlock.lock2)
00008           {
00009                synchronized (Deadlock.lock1)
00010                {
00011                     Deadlock.state = (Deadlock.state + 1);
00012                }
00013           }
00014      }
00015 }

Generated at Thu Feb 7 06:52:48 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001