Process1.java Source File

00001 class Process1 extends java.lang.Thread 
00002 {
00003      
00004      public void run ()
00005      {
00006           Deadlock.state = edu.ksu.cis.bandera.abstraction.lib.integral.Point.add(Deadlock.state,0);
00007           synchronized (Deadlock.lock1)
00008           {
00009                synchronized (Deadlock.lock2)
00010                {
00011                     Deadlock.state = edu.ksu.cis.bandera.abstraction.lib.integral.Point.add(Deadlock.state,0);
00012                }
00013           }
00014      }
00015 }