bug fixes for udp broadcast

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index d3bc0def83807f114ca6eab2ec6f395f9afc7d6d..2fa3e23ec23f36c6f21ce611b773d2565255492d 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -164,6 +164,7 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"gnu/Random.java");
          readSourceFile(state, ClassLibraryPrefix+"Vector.java");
          readSourceFile(state, ClassLibraryPrefix+"Enumeration.java");
+         readSourceFile(state, ClassLibraryPrefix+"Signal.java");
 
 
       if (state.TASK) {
@@ -417,8 +418,11 @@ public class Main {
          if (state.DSM) {
              CallGraph callgraph=new CallGraph(state);
              if (state.PREFETCH) {
-                 PrefetchAnalysis pa=new PrefetchAnalysis(state, callgraph, tu);
+                 //speed up prefetch generation using locality analysis results
+                 LocalityAnalysis la=new LocalityAnalysis(state, callgraph, tu);
+                 PrefetchAnalysis pa=new PrefetchAnalysis(state, callgraph, tu, la);
              }
+
              LocalityAnalysis la=new LocalityAnalysis(state, callgraph, tu);
              GenerateConversions gc=new GenerateConversions(la, state);
              BuildCode bc=new BuildCode(state, bf.getMap(), tu, la);