From: bdemsky Date: Wed, 6 Aug 2008 07:39:07 +0000 (+0000) Subject: correction X-Git-Tag: preEdgeChange~19 X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=13222238ac2f86db9a15f032a2bfb052af0cface;p=IRC.git correction --- diff --git a/Robust/src/ClassLibrary/Barrier.java b/Robust/src/ClassLibrary/Barrier.java index 35556326..66404cbd 100644 --- a/Robust/src/ClassLibrary/Barrier.java +++ b/Robust/src/ClassLibrary/Barrier.java @@ -5,8 +5,8 @@ public class BarrierServer extends Thread { numthreads=n; } - public run() { - int n; + public void run() { + int n; atomic { n=numthreads; } @@ -34,13 +34,14 @@ public class BarrierServer extends Thread { public class Barrier { Socket s; public Barrier(String name) { - s=new Socket(name, 2000); + s=new Socket(name, 2000); } public static void enterBarrier(Barrier barr) { - byte b[]=new byte[1]; - s.write(b); - while(s.read(b)!=1) - ; + byte b[]=new byte[1]; + b[0]=(byte)'A'; + barr.s.write(b); + while(barr.s.read(b)!=1) + ; } }