Robust/src/ClassLibrary/JavaSTM/Barrier.java

   1 public class Barrier {
   2   public Barrier() {
   3   }
   4
   5   /* Set the number of threads in a Barrier */
   6   public static native void setBarrier(int nthreads);
   7
   8   /* Wait for a Barrier */
   9   public static native void enterBarrier();
  10 }