changes to handle fixed point analysis properly + bug fix.
[IRC.git] / Robust / src / Main / Main.java
index 1a5c66f91fd9a0a0c2e95e58ea17e5b59c9c3a67..776542382c48d8f87f36e6b8aefff2f7f5126aa0 100644 (file)
@@ -17,10 +17,12 @@ import IR.Tree.SemanticCheck;
 import IR.Flat.BuildCodeMultiCore;
 import IR.Flat.BuildFlat;
 import IR.Flat.BuildCode;
+import IR.Flat.Inliner;
 import IR.ClassDescriptor;
 import IR.State;
 import IR.TaskDescriptor;
 import IR.TypeUtil;
+import Analysis.Scheduling.MCImplSynthesis;
 import Analysis.Scheduling.Schedule;
 import Analysis.Scheduling.ScheduleAnalysis;
 import Analysis.Scheduling.ScheduleSimulator;
@@ -39,6 +41,11 @@ import Analysis.Locality.GenerateConversions;
 import Analysis.Prefetch.PrefetchAnalysis;
 import Analysis.FlatIRGraph.FlatIRGraph;
 import Analysis.OwnershipAnalysis.OwnershipAnalysis;
+import Analysis.MLP.MLPAnalysis;
+import Analysis.Loops.*;
+import Analysis.Liveness;
+import IR.MethodDescriptor;
+import IR.Flat.FlatMethod;
 import Interface.*;
 import Util.GraphNode;
 import Util.GraphNode.DFS;
@@ -51,6 +58,13 @@ public class Main {
   public static void main(String args[]) throws Exception {
     String ClassLibraryPrefix="./ClassLibrary/";
     State state=new State();
+    Vector sourcefiles=new Vector();
+    state.classpath.add(".");
+
+    String outputdir = null;
+    boolean isDistributeInfo = false;
+    boolean isDisAll = false;
+    int startnum = 0;
 
     for(int i=0; i<args.length; i++) {
       String option=args[i];
@@ -60,13 +74,20 @@ public class Main {
        state.PREFETCH=true;
       else if (option.equals("-dir"))
        IR.Flat.BuildCode.PREFIX=args[++i]+"/";
+      else if (option.equals("-fastcheck"))
+       state.FASTCHECK=true;
       else if (option.equals("-selfloop"))
        state.selfloops.add(args[++i]);
+         else if (option.equals("-outputdir"))
+       state.outputdir = args[++i];
       else if (option.equals("-excprefetch"))
        state.excprefetch.add(args[++i]);
       else if (option.equals("-classlibrary"))
-       ClassLibraryPrefix=args[++i]+"/";
-      else if(option.equals("-numcore")) {
+       state.classpath.add(args[++i]);
+      else if (option.equals("-inlineatomic")) {
+       state.INLINEATOMIC=true;
+       state.inlineatomicdepth=Integer.parseInt(args[++i]);
+      } else if(option.equals("-numcore")) {
        ++i;
        state.CORENUM = Integer.parseInt(args[i]);
       } else if (option.equals("-mainclass"))
@@ -77,18 +98,30 @@ public class Main {
        State.PRINTFLAT=true;
       else if (option.equals("-printscheduling"))
        State.PRINTSCHEDULING=true;
+      else if (option.equals("-minimize"))
+       state.MINIMIZE=true;
       else if (option.equals("-printschedulesim"))
        State.PRINTSCHEDULESIM=true;
+      else if (option.equals("-printcriticalpath"))
+         State.PRINTCRITICALPATH=true;
       else if (option.equals("-struct"))
        state.structfile=args[++i];
       else if (option.equals("-conscheck"))
        state.CONSCHECK=true;
       else if (option.equals("-task"))
        state.TASK=true;
+      else if (option.equals("-abortreaders"))
+       state.ABORTREADERS=true;
+      else if (option.equals("-sandbox"))
+       state.SANDBOX=true;
       else if (option.equals("-taskstate"))
        state.TASKSTATE=true;
       else if (option.equals("-tagstate"))
        state.TAGSTATE=true;
+      else if (option.equals("-stmarray"))
+       state.STMARRAY=true;
+      else if (option.equals("-dualview"))
+       state.DUALVIEW=true;
       else if (option.equals("-flatirtasks")) {
        state.FLATIRGRAPH=true;
        state.FLATIRGRAPHTASKS=true;
@@ -100,6 +133,8 @@ public class Main {
        state.FLATIRGRAPHLIBMETHODS=true;
       } else if (option.equals("-multicore"))
        state.MULTICORE=true;
+      else if (option.equals("-multicoregc"))
+        state.MULTICOREGC=true;
       else if (option.equals("-ownership"))
        state.OWNERSHIP=true;
       else if (option.equals("-ownallocdepth")) {
@@ -109,34 +144,83 @@ public class Main {
        if (args[++i].equals("all")) {
          state.OWNERSHIPWRITEALL=true;
        }
-      } else if (option.equals("-ownaliasfile"))
+      } else if (option.equals("-ownaliasfile")) {
+       state.OWNERSHIPALIASFILE=args[++i];
+      } else if (option.equals("-ownaliasfiletab")) {
        state.OWNERSHIPALIASFILE=args[++i];
+        state.OWNERSHIPALIASTAB=true;      
+      } else if (option.equals("-owndebugcallee")) {
+       state.OWNERSHIPDEBUGCALLEE=args[++i];
+      } else if (option.equals("-owndebugcaller")) {
+       state.OWNERSHIPDEBUGCALLER=args[++i];
+      } else if (option.equals("-owndebugcallcount")) {
+       state.OWNERSHIPDEBUGCALLCOUNT=Integer.parseInt(args[++i]);
+      }
       else if (option.equals("-optional"))
        state.OPTIONAL=true;
+      else if (option.equals("-optimize"))
+       state.OPTIMIZE=true;
+      else if (option.equals("-dcopts"))
+       state.DCOPTS=true;
+      else if (option.equals("-arraypad"))
+       state.ARRAYPAD=true;
+      else if (option.equals("-delaycomp"))
+       state.DELAYCOMP=true;
       else if (option.equals("-raw"))
        state.RAW=true;
       else if (option.equals("-scheduling"))
        state.SCHEDULING=true;
-      else if (option.equals("-useprofile"))
+      else if (option.equals("-distributioninfo"))
+       isDistributeInfo=true;
+      else if (option.equals("-disall"))
+        isDisAll=true;
+      else if (option.equals("-disstart"))
+        startnum = Integer.parseInt(args[++i]);
+      else if (option.equals("-useprofile")) {
        state.USEPROFILE=true;
+    state.profilename = args[++i];
+      }
       else if (option.equals("-thread"))
        state.THREAD=true;
       else if (option.equals("-dsm"))
        state.DSM=true;
+      else if (option.equals("-dsmtask"))
+  state.DSMTASK=true;
+      else if (option.equals("-singleTM"))
+       state.SINGLETM=true;
+      else if (option.equals("-readset"))
+       state.READSET=true;
       else if (option.equals("-webinterface"))
        state.WEBINTERFACE=true;
       else if (option.equals("-instructionfailures"))
        state.INSTRUCTIONFAILURE=true;
-      else if (option.equals("-help")) {
+      else if (option.equals("-abcclose"))
+       state.ARRAYBOUNDARYCHECK=false;
+
+      else if (option.equals("-mlp")) {
+       state.MLP            = true;
+       state.OWNERSHIP      = true;
+       state.MLP_NUMCORES   = Integer.parseInt( args[++i] );
+       state.MLP_MAXSESEAGE = Integer.parseInt( args[++i] );
+
+      } else if (option.equals("-mlpdebug")) {
+       state.MLPDEBUG=true;
+
+      } else if (option.equals("-methodeffects")) {
+       state.METHODEFFECTS=true;
+      }else if (option.equals("-help")) {
        System.out.println("-classlibrary classlibrarydirectory -- directory where classlibrary is located");
        System.out.println("-selfloop task -- this task doesn't self loop its parameters forever");
        System.out.println("-dir outputdirectory -- output code in outputdirectory");
        System.out.println("-struct structfile -- output structure declarations for repair tool");
        System.out.println("-mainclass -- main function to call");
        System.out.println("-dsm -- distributed shared memory support");
+       System.out.println("-singleTM -- single machine committing transactions");
+       System.out.println("-abortreaders -- abort readers");
        System.out.println("-precise -- use precise garbage collection");
        System.out.println("-conscheck -- turn on consistency checking");
        System.out.println("-task -- compiler for tasks");
+       System.out.println("-fastcheck -- fastcheckpointing for Bristlecone");
        System.out.println("-thread -- threads");
        System.out.println("-trueprob <d> -- probability of true branch");
        System.out.println("-printflat -- print out flat representation");
@@ -150,11 +234,14 @@ public class Main {
        System.out.println("-ownallocdepth <d> -- set allocation depth for ownership analysis");
        System.out.println("-ownwritedots <all/final> -- write ownership graphs; can be all results or just final results");
        System.out.println("-ownaliasfile <filename> -- write a text file showing all detected aliases in program tasks");
+       System.out.println("-optimize -- enable optimizations");
        System.out.println("-optional -- enable optional arguments");
+       System.out.println("-abcclose close the array boundary check");
        System.out.println("-scheduling do task scheduling");
+       System.out.println("-mlp <num cores> <max sese age> build mlp code");
+       System.out.println("-mlpdebug if mlp, report progress and interim results");
        System.out.println("-multicore generate multi-core version binary");
        System.out.println("-numcore set the number of cores (should be used together with -multicore), defaultly set as 1");
-       System.out.println("-raw generate raw version binary (should be used together with -multicore)");
        System.out.println("-interrupt generate raw version binary with interruption (should be used togethere with -raw)");
        System.out.println("-rawconfig config raw simulator as 4xn (should be used together with -raw)");
        System.out.println("-rawpath print out execute path information for raw version (should be used together with -raw)");
@@ -167,88 +254,142 @@ public class Main {
        System.out.println("-help -- print out help");
        System.exit(0);
       } else {
-       readSourceFile(state, args[i]);
+       sourcefiles.add(args[i]);
       }
     }
 
+    //add default classpath
+    if (state.classpath.size()==1)
+      state.classpath.add(ClassLibraryPrefix);
 
-    readSourceFile(state, ClassLibraryPrefix+"System.java");
-    readSourceFile(state, ClassLibraryPrefix+"String.java");
-    readSourceFile(state, ClassLibraryPrefix+"HashSet.java");
-    readSourceFile(state, ClassLibraryPrefix+"HashMap.java");
-    readSourceFile(state, ClassLibraryPrefix+"HashMapIterator.java");
-    readSourceFile(state, ClassLibraryPrefix+"HashEntry.java");
-    readSourceFile(state, ClassLibraryPrefix+"Integer.java");
-    readSourceFile(state, ClassLibraryPrefix+"StringBuffer.java");
-    //if(!state.RAW) {
-    readSourceFile(state, ClassLibraryPrefix+"FileInputStream.java");
-    readSourceFile(state, ClassLibraryPrefix+"InputStream.java");
-    readSourceFile(state, ClassLibraryPrefix+"OutputStream.java");
-    readSourceFile(state, ClassLibraryPrefix+"FileOutputStream.java");
-    readSourceFile(state, ClassLibraryPrefix+"File.java");
-    readSourceFile(state, ClassLibraryPrefix+"InetAddress.java");
-    readSourceFile(state, ClassLibraryPrefix+"SocketInputStream.java");
-    readSourceFile(state, ClassLibraryPrefix+"SocketOutputStream.java");
-    //}
-    readSourceFile(state, ClassLibraryPrefix+"Math.java");
-    readSourceFile(state, ClassLibraryPrefix+"gnu/Random.java");
-    readSourceFile(state, ClassLibraryPrefix+"Vector.java");
-    readSourceFile(state, ClassLibraryPrefix+"Enumeration.java");
-    readSourceFile(state, ClassLibraryPrefix+"Dictionary.java");
-    readSourceFile(state, ClassLibraryPrefix+"Writer.java");
-    readSourceFile(state, ClassLibraryPrefix+"BufferedWriter.java");
-    readSourceFile(state, ClassLibraryPrefix+"OutputStreamWriter.java");
-    readSourceFile(state, ClassLibraryPrefix+"FileWriter.java");
-    readSourceFile(state, ClassLibraryPrefix+"Date.java");
+    BuildIR bir=new BuildIR(state);
+    TypeUtil tu=new TypeUtil(state, bir);
+    
 
-    if (state.TASK) {
-      readSourceFile(state, ClassLibraryPrefix+"Object.java");
-      readSourceFile(state, ClassLibraryPrefix+"TagDescriptor.java");
-    } else if (state.DSM) {
-      readSourceFile(state, ClassLibraryPrefix+"ThreadDSM.java");
-      readSourceFile(state, ClassLibraryPrefix+"ObjectJavaDSM.java");
-      readSourceFile(state, ClassLibraryPrefix+"Barrier.java");
-    } else {
-      if (state.THREAD) {
-       readSourceFile(state, ClassLibraryPrefix+"Thread.java");
-       readSourceFile(state, ClassLibraryPrefix+"ObjectJava.java");
-      } else
-       readSourceFile(state, ClassLibraryPrefix+"ObjectJavaNT.java");
-    }
+    SemanticCheck sc=new SemanticCheck(state,tu);
 
+    for(int i=0;i<sourcefiles.size();i++)
+      loadClass(state, bir,(String)sourcefiles.get(i));
+
+    //Stuff the runtime wants to see
+    sc.getClass("String");
+    sc.getClass("Math");
+    sc.getClass("File");
+    sc.getClass("Socket");
+    sc.getClass("ServerSocket");
+    sc.getClass("FileInputStream");
+    sc.getClass("FileOutputStream");
     if (state.TASK) {
-      readSourceFile(state, ClassLibraryPrefix+"StartupObject.java");
-      readSourceFile(state, ClassLibraryPrefix+"Socket.java");
-      readSourceFile(state, ClassLibraryPrefix+"ServerSocket.java");
-    } else {
-      readSourceFile(state, ClassLibraryPrefix+"SocketJava.java");
-      readSourceFile(state, ClassLibraryPrefix+"ServerSocketJava.java");
+      sc.getClass("TagDescriptor");
+    }
+    if (state.THREAD||state.DSM||state.SINGLETM) {
+      sc.getClass("Thread");
     }
 
-    BuildIR bir=new BuildIR(state);
-    bir.buildtree();
-
-    TypeUtil tu=new TypeUtil(state);
-
-    SemanticCheck sc=new SemanticCheck(state,tu);
     sc.semanticCheck();
+
     tu.createFullTable();
 
     BuildFlat bf=new BuildFlat(state,tu);
     bf.buildFlat();
     SafetyAnalysis sa=null;
     PrefetchAnalysis pa=null;
+    MLPAnalysis mlpa=null;
+    if (state.INLINEATOMIC) {
+      Iterator classit=state.getClassSymbolTable().getDescriptorsIterator();
+      while(classit.hasNext()) {
+        ClassDescriptor cn=(ClassDescriptor)classit.next();
+        Iterator methodit=cn.getMethods();
+        while(methodit.hasNext()) {
+         // do inlining
+          MethodDescriptor md=(MethodDescriptor)methodit.next();
+          FlatMethod fm=state.getMethodFlat(md);
+         Inliner.inlineAtomic(state, tu, fm, state.inlineatomicdepth);
+       }
+      }
+    }
+
+
+    if (state.OPTIMIZE) {
+      CallGraph callgraph=new CallGraph(state);
+      CopyPropagation cp=new CopyPropagation();
+      DeadCode dc=new DeadCode();
+      GlobalFieldType gft=new GlobalFieldType(callgraph, state, tu.getMain());
+      CSE cse=new CSE(gft, tu);
+      localCSE lcse=new localCSE(gft, tu);
+      LoopOptimize lo=new LoopOptimize(gft, tu);
+      Iterator classit=state.getClassSymbolTable().getDescriptorsIterator();
+      while(classit.hasNext()) {
+        ClassDescriptor cn=(ClassDescriptor)classit.next();
+        Iterator methodit=cn.getMethods();
+        while(methodit.hasNext()) {
+          /* Classify parameters */
+          MethodDescriptor md=(MethodDescriptor)methodit.next();
+          FlatMethod fm=state.getMethodFlat(md);
+         cp.optimize(fm);
+         dc.optimize(fm);
+         lo.optimize(fm);
+         cp.optimize(fm);
+         dc.optimize(fm);
+         lcse.doAnalysis(fm);
+         cse.doAnalysis(fm);
+         cp.optimize(fm);
+         dc.optimize(fm);
+         cp.optimize(fm);
+         dc.optimize(fm);
+        }
+      }
+    }
+
+    if (state.FLATIRGRAPH) {
+      FlatIRGraph firg = new FlatIRGraph(state,
+                                         state.FLATIRGRAPHTASKS,
+                                         state.FLATIRGRAPHUSERMETHODS,
+                                         state.FLATIRGRAPHLIBMETHODS);
+    }
+    
+    if (state.OWNERSHIP && !state.MLP) {
+      CallGraph callGraph = new CallGraph(state);
+      Liveness liveness = new Liveness();
+      OwnershipAnalysis oa = new OwnershipAnalysis(state,
+                                                   tu,
+                                                   callGraph,
+                                                  liveness,
+                                                   state.OWNERSHIPALLOCDEPTH,
+                                                   state.OWNERSHIPWRITEDOTS,
+                                                   state.OWNERSHIPWRITEALL,
+                                                   state.OWNERSHIPALIASFILE,
+                                                   state.METHODEFFECTS);
+    }
+
+    if (state.MLP) {
+      CallGraph callGraph = new CallGraph(state);
+      Liveness liveness = new Liveness();
+      OwnershipAnalysis oa = new OwnershipAnalysis(state,
+                                                   tu,
+                                                   callGraph,
+                                                  liveness,
+                                                  state.OWNERSHIPALLOCDEPTH,
+                                                   state.OWNERSHIPWRITEDOTS,
+                                                   state.OWNERSHIPWRITEALL,
+                                                   state.OWNERSHIPALIASFILE,
+                                                   state.METHODEFFECTS);
+      mlpa = new MLPAnalysis(state,
+                             tu,
+                             callGraph,
+                             oa);
+    }    
 
     if (state.TAGSTATE) {
       CallGraph callgraph=new CallGraph(state);
       TagAnalysis taganalysis=new TagAnalysis(state, callgraph);
-      TaskTagAnalysis tta=new TaskTagAnalysis(state, taganalysis);
+      TaskTagAnalysis tta=new TaskTagAnalysis(state, taganalysis, tu);
     }
 
     if (state.TASKSTATE) {
       CallGraph callgraph=new CallGraph(state);
       TagAnalysis taganalysis=new TagAnalysis(state, callgraph);
-      TaskAnalysis ta=new TaskAnalysis(state, taganalysis);
+      TaskAnalysis ta=new TaskAnalysis(state, taganalysis, tu);
       ta.taskAnalysis();
       TaskGraph tg=new TaskGraph(state, ta);
       tg.createDOTfiles();
@@ -270,512 +411,116 @@ public class Main {
       }
 
       if (state.SCHEDULING) {
-       // Indentify backedges
-       for(Iterator it_classes=state.getClassSymbolTable().getDescriptorsIterator(); it_classes.hasNext();) {
-         ClassDescriptor cd=(ClassDescriptor) it_classes.next();
-         if(cd.hasFlags()) {
-           Set<FlagState> fss = ta.getFlagStates(cd);
-           SCC scc=GraphNode.DFS.computeSCC(fss);
-           if (scc.hasCycles()) {
-             for(int i=0; i<scc.numSCC(); i++) {
-               if (scc.hasCycle(i)) {
-                 Set cycleset = scc.getSCC(i);
-                 Iterator it_fs = cycleset.iterator();
-                 while(it_fs.hasNext()) {
-                   FlagState fs = (FlagState)it_fs.next();
-                   Iterator it_edges = fs.edges();
-                   while(it_edges.hasNext()) {
-                     FEdge edge = (FEdge)it_edges.next();
-                     if(cycleset.contains(edge.getTarget())) {
-                       // a backedge
-                       edge.setisbackedge(true);
-                     }
-                   }
-                 }
-               }
-             }
-           }
-           fss = null;
-         }
-       }
-
-       // set up profiling data
-       if(state.USEPROFILE) {
-         // read in profile data and set
-         FileInputStream inStream = new FileInputStream("/scratch/profile.rst");
-         byte[] b = new byte[1024 * 100];
-         int length = inStream.read(b);
-         if(length < 0) {
-           System.out.print("No content in input file: /scratch/profile.rst\n");
-           System.exit(-1);
-         }
-         String profiledata = new String(b, 0, length);
-         java.util.Hashtable<String, TaskInfo> taskinfos = new java.util.Hashtable<String, TaskInfo>();
-
-         // profile data format:
-         //   taskname, numoftaskexits(; exetime, probability, numofnewobjtypes(, newobj type, num of objs)+)+
-         int inindex = profiledata.indexOf('\n');
-         while((inindex != -1) ) {
-           String inline = profiledata.substring(0, inindex);
-           profiledata = profiledata.substring(inindex + 1);
-           //System.printString(inline + "\n");
-           int tmpinindex = inline.indexOf(',');
-           if(tmpinindex == -1) {
-             break;
-           }
-           String inname = inline.substring(0, tmpinindex);
-           String inint = inline.substring(tmpinindex + 1);
-           while(inint.startsWith(" ")) {
-             inint = inint.substring(1);
-           }
-           tmpinindex = inint.indexOf(',');
-           if(tmpinindex == -1) {
-             break;
-           }
-           int numofexits = Integer.parseInt(inint.substring(0, tmpinindex));
-           TaskInfo tinfo = new TaskInfo(numofexits);
-           inint = inint.substring(tmpinindex + 1);
-           while(inint.startsWith(" ")) {
-             inint = inint.substring(1);
-           }
-           tmpinindex = inint.indexOf(';');
-           int byObj = Integer.parseInt(inint.substring(0, tmpinindex));
-           if(byObj != -1) {
-             tinfo.m_byObj = byObj;
-           }
-           inint = inint.substring(tmpinindex + 1);
-           while(inint.startsWith(" ")) {
-             inint = inint.substring(1);
-           }
-           for(int i = 0; i < numofexits; i++) {
-             String tmpinfo = null;
-             if(i < numofexits - 1) {
-               tmpinindex = inint.indexOf(';');
-               tmpinfo = inint.substring(0, tmpinindex);
-               inint = inint.substring(tmpinindex + 1);
-               while(inint.startsWith(" ")) {
-                 inint = inint.substring(1);
-               }
-             } else {
-               tmpinfo = inint;
-             }
-
-             tmpinindex = tmpinfo.indexOf(',');
-             tinfo.m_exetime[i] = Integer.parseInt(tmpinfo.substring(0, tmpinindex));
-             tmpinfo = tmpinfo.substring(tmpinindex + 1);
-             while(tmpinfo.startsWith(" ")) {
-               tmpinfo = tmpinfo.substring(1);
-             }
-             tmpinindex = tmpinfo.indexOf(',');
-             tinfo.m_probability[i] = Double.parseDouble(tmpinfo.substring(0, tmpinindex));
-             tmpinfo = tmpinfo.substring(tmpinindex + 1);
-             while(tmpinfo.startsWith(" ")) {
-               tmpinfo = tmpinfo.substring(1);
-             }
-             tmpinindex = tmpinfo.indexOf(',');
-             int numofnobjs = 0;
-             if(tmpinindex == -1) {
-               numofnobjs = Integer.parseInt(tmpinfo);
-               if(numofnobjs != 0) {
-                 System.err.println("Error profile data format!");
-                 System.exit(-1);
-               }
-             } else {
-               tinfo.m_newobjinfo.setElementAt(new Hashtable<String,Integer>(), i);
-               numofnobjs = Integer.parseInt(tmpinfo.substring(0, tmpinindex));
-               tmpinfo = tmpinfo.substring(tmpinindex + 1);
-               while(tmpinfo.startsWith(" ")) {
-                 tmpinfo = tmpinfo.substring(1);
-               }
-               for(int j = 0; j < numofnobjs; j++) {
-                 tmpinindex = tmpinfo.indexOf(',');
-                 String nobjtype = tmpinfo.substring(0, tmpinindex);
-                 tmpinfo = tmpinfo.substring(tmpinindex + 1);
-                 while(tmpinfo.startsWith(" ")) {
-                   tmpinfo = tmpinfo.substring(1);
-                 }
-                 int objnum = 0;
-                 if(j < numofnobjs - 1) {
-                   tmpinindex = tmpinfo.indexOf(',');
-                   objnum  = Integer.parseInt(tmpinfo.substring(0, tmpinindex));
-                   tmpinfo = tmpinfo.substring(tmpinindex + 1);
-                   while(tmpinfo.startsWith(" ")) {
-                     tmpinfo = tmpinfo.substring(1);
-                   }
-                 } else {
-                   objnum = Integer.parseInt(tmpinfo);
-                 }
-                 tinfo.m_newobjinfo.elementAt(i).put(nobjtype, objnum);
-               }
-             }
-           }
-           taskinfos.put(inname, tinfo);
-           inindex = profiledata.indexOf('\n');
-         }
-
-         java.util.Random r=new java.util.Random();
-         int tint = 0;
-         for(Iterator it_classes=state.getClassSymbolTable().getDescriptorsIterator(); it_classes.hasNext();) {
-           ClassDescriptor cd=(ClassDescriptor) it_classes.next();
-           if(cd.hasFlags()) {
-             Vector rootnodes=ta.getRootNodes(cd);
-             if(rootnodes!=null) {
-               for(Iterator it_rootnodes=rootnodes.iterator(); it_rootnodes.hasNext();) {
-                 FlagState root=(FlagState)it_rootnodes.next();
-                 Vector allocatingTasks = root.getAllocatingTasks();
-                 if(allocatingTasks != null) {
-                   for(int k = 0; k < allocatingTasks.size(); k++) {
-                     TaskDescriptor td = (TaskDescriptor)allocatingTasks.elementAt(k);
-                     Vector<FEdge> fev = (Vector<FEdge>)ta.getFEdgesFromTD(td);
-                     int numEdges = fev.size();
-                     int total = 100;
-                     for(int j = 0; j < numEdges; j++) {
-                       FEdge pfe = fev.elementAt(j);
-                       TaskInfo taskinfo = taskinfos.get(td.getSymbol());
-                       tint = taskinfo.m_exetime[pfe.getTaskExitIndex()];
-                       pfe.setExeTime(tint);
-                       double idouble = taskinfo.m_probability[pfe.getTaskExitIndex()];
-                       pfe.setProbability(idouble);
-                       int newRate = 0;
-                       if((taskinfo.m_newobjinfo.elementAt(pfe.getTaskExitIndex()) != null)
-                          && (taskinfo.m_newobjinfo.elementAt(pfe.getTaskExitIndex()).containsKey(cd.getSymbol()))) {
-                         newRate = taskinfo.m_newobjinfo.elementAt(pfe.getTaskExitIndex()).get(cd.getSymbol());
-                       }
-                       pfe.addNewObjInfo(cd, newRate, idouble);
-                       if(taskinfo.m_byObj != -1) {
-                         ((FlagState)pfe.getSource()).setByObj(taskinfo.m_byObj);
-                       }
-                     }
-                     fev = null;
-                   }
-                 }
-               }
-             }
-             Iterator it_flags = ta.getFlagStates(cd).iterator();
-             while(it_flags.hasNext()) {
-               FlagState fs = (FlagState)it_flags.next();
-               Iterator it_edges = fs.edges();
-               int total = 100;
-               while(it_edges.hasNext()) {
-                 FEdge edge = (FEdge)it_edges.next();
-                 TaskInfo taskinfo = taskinfos.get(edge.getTask().getSymbol());
-                 tint = taskinfo.m_exetime[edge.getTaskExitIndex()];
-                 edge.setExeTime(tint);
-                 double idouble = taskinfo.m_probability[edge.getTaskExitIndex()];
-                 edge.setProbability(idouble);
-                 if(taskinfo.m_byObj != -1) {
-                   ((FlagState)edge.getSource()).setByObj(taskinfo.m_byObj);
-                 }
-               }
-             }
-           }
-         }
-         taskinfos = null;
-       } else {
-         // for test
-         // Randomly set the newRate and probability of FEdges
-         java.util.Random r=new java.util.Random();
-         int tint = 0;
-         for(Iterator it_classes=state.getClassSymbolTable().getDescriptorsIterator(); it_classes.hasNext();) {
-           ClassDescriptor cd=(ClassDescriptor) it_classes.next();
-           if(cd.hasFlags()) {
-             Vector rootnodes=ta.getRootNodes(cd);
-             if(rootnodes!=null) {
-               for(Iterator it_rootnodes=rootnodes.iterator(); it_rootnodes.hasNext();) {
-                 FlagState root=(FlagState)it_rootnodes.next();
-                 Vector allocatingTasks = root.getAllocatingTasks();
-                 if(allocatingTasks != null) {
-                   for(int k = 0; k < allocatingTasks.size(); k++) {
-                     TaskDescriptor td = (TaskDescriptor)allocatingTasks.elementAt(k);
-                     Vector<FEdge> fev = (Vector<FEdge>)ta.getFEdgesFromTD(td);
-                     int numEdges = fev.size();
-                     int total = 100;
-                     for(int j = 0; j < numEdges; j++) {
-                       FEdge pfe = fev.elementAt(j);
-                       if(numEdges - j == 1) {
-                         pfe.setProbability(total);
-                       } else {
-                         if((total != 0) && (total != 1)) {
-                           do {
-                             tint = r.nextInt()%total;
-                           } while(tint <= 0);
-                         }
-                         pfe.setProbability(tint);
-                         total -= tint;
-                       }
-                       //do {
-                       //   tint = r.nextInt()%10;
-                       //  } while(tint <= 0);
-                       //int newRate = tint;
-                       //int newRate = (j+1)%2+1;
-                       int newRate = 1;
-                       String cdname = cd.getSymbol();
-                       if((cdname.equals("SeriesRunner")) ||
-                          (cdname.equals("MDRunner")) ||
-                          (cdname.equals("Stage")) ||
-                          (cdname.equals("AppDemoRunner")) ||
-                          (cdname.equals("FilterBankAtom")) ||
-                          (cdname.equals("Grid"))) {
-                         newRate = 16;
-                       } else if(cdname.equals("SentenceParser")) {
-                         newRate = 4;
-                       }
-                       //do {
-                       //    tint = r.nextInt()%100;
-                       //   } while(tint <= 0);
-                       //   int probability = tint;
-                       int probability = 100;
-                       pfe.addNewObjInfo(cd, newRate, probability);
-                     }
-                     fev = null;
-                   }
-                 }
-               }
-             }
-
-             Iterator it_flags = ta.getFlagStates(cd).iterator();
-             while(it_flags.hasNext()) {
-               FlagState fs = (FlagState)it_flags.next();
-               Iterator it_edges = fs.edges();
-               int total = 100;
-               while(it_edges.hasNext()) {
-                 //do {
-                 //    tint = r.nextInt()%10;
-                 //   } while(tint <= 0);
-                 tint = 3;
-                 FEdge edge = (FEdge)it_edges.next();
-                 edge.setExeTime(tint);
-                 if((fs.getClassDescriptor().getSymbol().equals("MD")) && (edge.getTask().getSymbol().equals("t6"))) {
-                   if(edge.isbackedge()) {
-                     if(edge.getTarget().equals(edge.getSource())) {
-                       edge.setProbability(93.75);
-                     } else {
-                       edge.setProbability(3.125);
-                     }
-                   } else {
-                     edge.setProbability(3.125);
-                   }
-                   continue;
-                 }
-                 if(!it_edges.hasNext()) {
-                   edge.setProbability(total);
-                 } else {
-                   if((total != 0) && (total != 1)) {
-                     do {
-                       tint = r.nextInt()%total;
-                     } while(tint <= 0);
-                   }
-                   edge.setProbability(tint);
-                   total -= tint;
-                 }
-               }
-             }
-           }
-         }
-       }
-
        // Use ownership analysis to get alias information
        CallGraph callGraph = new CallGraph(state);
+       Liveness liveness = new Liveness();
        OwnershipAnalysis oa = new OwnershipAnalysis(state,
                                                     tu,
                                                     callGraph,
+                                                    liveness,
                                                     state.OWNERSHIPALLOCDEPTH,
                                                     state.OWNERSHIPWRITEDOTS,
                                                     state.OWNERSHIPWRITEALL,
                                                     state.OWNERSHIPALIASFILE);
-
-       // Save the current standard input, output, and error streams
-       // for later restoration.
-       PrintStream origOut = System.out;
-
-       // Create a new output stream for the standard output.
-       PrintStream stdout  = null;
-       try {
-         stdout = new PrintStream(new FileOutputStream("/scratch/SimulatorResult.out"));
-       } catch (Exception e) {
-         // Sigh.  Couldn't open the file.
-         System.out.println("Redirect:  Unable to open output file!");
-         System.exit(1);
-       }
-
-       // Print stuff to the original output and error streams.
-       // On most systems all of this will end up on your console when you
-       // run this application.
-       //origOut.println ("\nRedirect:  Round #1");
-       //System.out.println ("Test output via 'System.out'.");
-       //origOut.println ("Test output via 'origOut' reference.");
-
-       // Set the System out and err streams to use our replacements.
-       System.setOut(stdout);
-
-       // Print stuff to the original output and error streams.
-       // The stuff printed through the 'origOut' and 'origErr' references
-       // should go to the console on most systems while the messages
-       // printed through the 'System.out' and 'System.err' will end up in
-       // the files we created for them.
-       //origOut.println ("\nRedirect:  Round #2");
-       //System.out.println ("Test output via 'SimulatorResult.out'.");
-       //origOut.println ("Test output via 'origOut' reference.");
-
-       // generate multiple schedulings
-       ScheduleAnalysis scheduleAnalysis = new ScheduleAnalysis(state, ta);
-       scheduleAnalysis.preSchedule();
-       scheduleAnalysis.scheduleAnalysis();
-       //scheduleAnalysis.setCoreNum(scheduleAnalysis.getSEdges4Test().size());
-       scheduleAnalysis.setCoreNum(state.CORENUM);
-       scheduleAnalysis.schedule();
-
-       //simulate these schedulings
-       ScheduleSimulator scheduleSimulator = new ScheduleSimulator(scheduleAnalysis.getCoreNum(), state, ta);
-       Vector<Vector<Schedule>> schedulings = scheduleAnalysis.getSchedulings();
-       Vector<Integer> selectedScheduling = new Vector<Integer>();
-       int processTime = Integer.MAX_VALUE;
-       if(schedulings.size() > 1500) {
-         int index = 0;
-         int upperbound = schedulings.size();
-         long seed = 0;
-         java.util.Random r = new java.util.Random(seed);
-         for(int ii = 0; ii < 1500; ii++) {
-           index = (int)((Math.abs((double)r.nextInt() / (double)Integer.MAX_VALUE)) * upperbound);
-           System.out.println("Scheduling index:" + index);
-           //System.err.println("Scheduling index:" + index);
-           Vector<Schedule> scheduling = schedulings.elementAt(index);
-           scheduleSimulator.setScheduling(scheduling);
-           int tmpTime = scheduleSimulator.process();
-           if(tmpTime < processTime) {
-             selectedScheduling.clear();
-             selectedScheduling.add(index);
-             processTime = tmpTime;
-           } else if(tmpTime == processTime) {
-             selectedScheduling.add(index);
-           }
-           scheduling = null;
-         }
+       
+       // synthesis a layout according to target multicore processor
+       MCImplSynthesis mcImplSynthesis = new MCImplSynthesis(state,
+                                                             ta,
+                                                             oa);
+       if(isDistributeInfo) {
+           mcImplSynthesis.distribution(isDisAll, startnum);
        } else {
-         Iterator it_scheduling = scheduleAnalysis.getSchedulingsIter();
-         int index = 0;
-         while(it_scheduling.hasNext()) {
-           Vector<Schedule> scheduling = (Vector<Schedule>)it_scheduling.next();
-           scheduleSimulator.setScheduling(scheduling);
-           int tmpTime = scheduleSimulator.process();
-           if(tmpTime < processTime) {
-             selectedScheduling.clear();
-             selectedScheduling.add(index);
-             processTime = tmpTime;
-           } else if(tmpTime == processTime) {
-             selectedScheduling.add(index);
+           //double timeStartAnalysis = (double) System.nanoTime();
+           mcImplSynthesis.setScheduleThreshold(20);
+           mcImplSynthesis.setProbThreshold(0);
+           mcImplSynthesis.setGenerateThreshold(30);
+           Vector<Schedule> scheduling = mcImplSynthesis.synthesis();
+           
+           //double timeEndAnalysis = (double) System.nanoTime();
+           //double dt = (timeEndAnalysis - timeStartAnalysis)/(Math.pow( 10.0, 9.0 ) );
+           //System.err.println("The analysis took" + dt +  "sec.");
+        //System.exit(0);
+
+           // generate multicore codes
+           if(state.MULTICORE) {
+               BuildCodeMultiCore bcm=new BuildCodeMultiCore(state,
+                                                             bf.getMap(),
+                                                             tu,
+                                                             sa,
+                                                             scheduling,
+                                                             mcImplSynthesis.getCoreNum(),
+                                                             pa);
+               bcm.setOwnershipAnalysis(oa);
+               bcm.buildCode();
            }
+           scheduling.clear();
            scheduling = null;
-           index++;
-         }
        }
-
-       System.out.print("Selected schedulings with least exectution time " + processTime + ": \n\t");
-       for(int i = 0; i < selectedScheduling.size(); i++) {
-         System.out.print((selectedScheduling.elementAt(i) + 1) + ", ");
-       }
-       System.out.println();
-
-       // Close the streams.
-       try {
-         stdout.close();
-         System.setOut(origOut);
-       } catch (Exception e) {
-         origOut.println("Redirect:  Unable to close files!");
-       }
-
-       if(state.MULTICORE) {
-         //it_scheduling = scheduleAnalysis.getSchedulingsIter();
-         //Vector<Schedule> scheduling = (Vector<Schedule>)it_scheduling.next();
-         Vector<Schedule> scheduling = scheduleAnalysis.getSchedulings().elementAt(selectedScheduling.lastElement());
-         BuildCodeMultiCore bcm=new BuildCodeMultiCore(state, bf.getMap(), tu, sa, scheduling, scheduleAnalysis.getCoreNum(), pa);
-         bcm.setOwnershipAnalysis(oa);
-         bcm.buildCode();
-         scheduling = null;
-       }
-       selectedScheduling = null;
       }
-
     }
-
     if(!state.MULTICORE) {
-      if (state.DSM) {
+      if (state.DSM||state.SINGLETM) {
        CallGraph callgraph=new CallGraph(state);
        if (state.PREFETCH) {
          //speed up prefetch generation using locality analysis results
          LocalityAnalysis la=new LocalityAnalysis(state, callgraph, tu);
          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, pa);
+       BuildCode bc=new BuildCode(state, bf.getMap(), tu, la, pa, mlpa);
        bc.buildCode();
       } else {
-       BuildCode bc=new BuildCode(state, bf.getMap(), tu, sa, pa);
+       BuildCode bc=new BuildCode(state, bf.getMap(), tu, sa, pa, mlpa);
        bc.buildCode();
       }
     }
 
-    if (state.FLATIRGRAPH) {
-      FlatIRGraph firg = new FlatIRGraph(state,
-                                         state.FLATIRGRAPHTASKS,
-                                         state.FLATIRGRAPHUSERMETHODS,
-                                         state.FLATIRGRAPHLIBMETHODS);
-    }
-
-    if (state.OWNERSHIP) {
-      CallGraph callGraph = new CallGraph(state);
-      OwnershipAnalysis oa = new OwnershipAnalysis(state,
-                                                   tu,
-                                                   callGraph,
-                                                   state.OWNERSHIPALLOCDEPTH,
-                                                   state.OWNERSHIPWRITEDOTS,
-                                                   state.OWNERSHIPWRITEALL,
-                                                   state.OWNERSHIPALIASFILE);
-    }
-
+    System.out.println("Lines="+state.lines);
     System.exit(0);
   }
 
-  /** Reads in a source file and adds the parse tree to the state object. */
-
-  private static void readSourceFile(State state, String sourcefile) throws Exception {
-    Reader fr = new BufferedReader(new FileReader(sourcefile));
-    Lex.Lexer l = new Lex.Lexer(fr);
-    java_cup.runtime.lr_parser g;
-    g = new Parse.Parser(l);
-    ParseNode p=null;
+  public static void loadClass(State state, BuildIR bir, String sourcefile) {
     try {
-      p=(ParseNode) g./*debug_*/ parse().value;
+      ParseNode pn=readSourceFile(state, sourcefile);
+      bir.buildtree(pn, null);
     } catch (Exception e) {
-      System.err.println("Error parsing file:"+sourcefile);
+      System.out.println("Error in sourcefile:"+sourcefile);
+      e.printStackTrace();
+      System.exit(-1);
+    } catch (Error e) {
+      System.out.println("Error in sourcefile:"+sourcefile);
       e.printStackTrace();
       System.exit(-1);
-    }
-    state.addParseNode(p);
-    if (l.numErrors()!=0) {
-      System.out.println("Error parsing "+sourcefile);
-      System.exit(l.numErrors());
     }
   }
 
-  static class TaskInfo {
-    public int m_numofexits;
-    public int[] m_exetime;
-    public double[] m_probability;
-    public Vector<Hashtable<String, Integer>> m_newobjinfo;
-    public int m_byObj;
-
-    public TaskInfo(int numofexits) {
-      this.m_numofexits = numofexits;
-      this.m_exetime = new int[this.m_numofexits];
-      this.m_probability = new double[this.m_numofexits];
-      this.m_newobjinfo = new Vector<Hashtable<String, Integer>>();
-      for(int i = 0; i < this.m_numofexits; i++) {
-       this.m_newobjinfo.add(null);
+  /** Reads in a source file and adds the parse tree to the state object. */
+
+  public static ParseNode readSourceFile(State state, String sourcefile) {
+    try {
+      Reader fr= new BufferedReader(new FileReader(sourcefile));
+      Lex.Lexer l = new Lex.Lexer(fr);
+      java_cup.runtime.lr_parser g;
+      g = new Parse.Parser(l);
+      ParseNode p=null;
+      try {
+       p=(ParseNode) g./*debug_*/parse().value;
+      } catch (Exception e) {
+       System.err.println("Error parsing file:"+sourcefile);
+       e.printStackTrace();
+       System.exit(-1);
       }
-      this.m_byObj = -1;
+      state.addParseNode(p);
+      if (l.numErrors()!=0) {
+       System.out.println("Error parsing "+sourcefile);
+       System.exit(l.numErrors());
+      }
+      state.lines+=l.line_num;
+      return p;
+
+    } catch (Exception e) {
+      throw new Error(e);
     }
   }
 }