change

diff --git a/Robust/TransSim/ObjectInfo.java b/Robust/TransSim/ObjectInfo.java
new file mode 100644 (file)
index 0000000..0357dbe
--- /dev/null
+++ b/Robust/TransSim/ObjectInfo.java
@@ -0,0 +1,37 @@
+import java.util.*;
+
+public class ObjectInfo {
+  FlexScheduler fs;
+  Set waiters;
+
+  public ObjectInfo(FlexScheduler fs) {
+    this.fs=fs;
+    threadowner=-1;
+    this.waiters=new HashSet();
+  }
+
+  public void addWaiter(FlexScheduler.Event ev) {
+    waiters.add(ev);
+  }
+
+  public Set getWaiters() {
+    return waiters;
+  }
+
+  int threadowner;
+  public void setOwner(int thread) {
+    threadowner=thread;
+  }
+
+  public boolean isOwned() {
+    return threadowner!=-1;
+  }
+
+  public void releaseOwner() {
+    threadowner=-1;
+  }
+
+  public int getOwner() {
+    return threadowner;
+  }
+}
\ No newline at end of file

diff --git a/Robust/TransSim/ThreadInfo.java b/Robust/TransSim/ThreadInfo.java
new file mode 100644 (file)
index 0000000..92ba65d
--- /dev/null
+++ b/Robust/TransSim/ThreadInfo.java
@@ -0,0 +1,16 @@
+import java.util.*;
+
+public class ThreadInfo {
+  FlexScheduler fs;
+  public ThreadInfo(FlexScheduler fs) {
+    this.fs=fs;
+  }
+  boolean stalled;
+
+  public boolean isStalled() {
+    return stalled;
+  }
+  public void setStall(boolean stall) {
+    stalled=stall;
+  }
+}
\ No newline at end of file