X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FMain%2FMain.java;h=748c0027fa06bdfcf33a21ecfae53e671574d0e8;hb=e33201f8be840c89d9e1994a2e742bf01ca8ff0c;hp=9e9c110dfc06c124b3adabee685cbfc3d2d0a32f;hpb=00b5815ab41df822e533f61bd0c527abead7f3aa;p=IRC.git diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java index 9e9c110d..748c0027 100644 --- a/Robust/src/Main/Main.java +++ b/Robust/src/Main/Main.java @@ -17,6 +17,7 @@ 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; @@ -40,6 +41,13 @@ import Analysis.Locality.GenerateConversions; import Analysis.Prefetch.PrefetchAnalysis; import Analysis.FlatIRGraph.FlatIRGraph; import Analysis.OwnershipAnalysis.OwnershipAnalysis; +import Analysis.Disjoint.DisjointAnalysis; +import Analysis.MLP.MLPAnalysis; +import Analysis.Loops.*; +import Analysis.Liveness; +import Analysis.ArrayReferencees; +import IR.MethodDescriptor; +import IR.Flat.FlatMethod; import Interface.*; import Util.GraphNode; import Util.GraphNode.DFS; @@ -55,7 +63,10 @@ public class Main { Vector sourcefiles=new Vector(); state.classpath.add("."); - String outputdir = null; + String outputdir = null; + boolean isDistributeInfo = false; + boolean isDisAll = false; + int startnum = 0; for(int i=0; i"); + } + } else if (option.equals("-disjoint-alias-file")) { + state.DISJOINTALIASFILE = args[++i]; + String arg = args[++i]; + if( arg.equals("normal") ) { + state.DISJOINTALIASTAB = false; + } else if( arg.equals("tabbed") ) { + state.DISJOINTALIASTAB = true; + } else { + throw new Error("disjoint-alias-file requires arguments "); + } + } else if (option.equals("-disjoint-debug-callsite")) { + state.DISJOINTDEBUGCALLEE=args[++i]; + state.DISJOINTDEBUGCALLER=args[++i]; + state.DISJOINTDEBUGCALLCOUNT=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("-recoverystats")) + state.DSMRECOVERYSTATS=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("-abcclose")) state.ARRAYBOUNDARYCHECK=false; - else if (option.equals("-help")) { + + 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"); @@ -167,12 +274,14 @@ public class Main { System.out.println("-ownallocdepth -- set allocation depth for ownership analysis"); System.out.println("-ownwritedots -- write ownership graphs; can be all results or just final results"); System.out.println("-ownaliasfile -- 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 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)"); @@ -188,7 +297,7 @@ public class Main { sourcefiles.add(args[i]); } } - + //add default classpath if (state.classpath.size()==1) state.classpath.add(ClassLibraryPrefix); @@ -213,8 +322,8 @@ public class Main { if (state.TASK) { sc.getClass("TagDescriptor"); } - if (state.THREAD) { - sc.getClass("Thread"); + if (state.THREAD||state.DSM||state.SINGLETM) { + sc.getClass("Thread"); } sc.semanticCheck(); @@ -225,6 +334,102 @@ public class Main { 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(); + ArrayReferencees ar = new ArrayReferencees(state); + OwnershipAnalysis oa = new OwnershipAnalysis(state, + tu, + callGraph, + liveness, + ar, + state.OWNERSHIPALLOCDEPTH, + state.OWNERSHIPWRITEDOTS, + state.OWNERSHIPWRITEALL, + state.OWNERSHIPALIASFILE, + state.METHODEFFECTS); + } + + if (state.MLP) { + CallGraph callGraph = new CallGraph(state); + Liveness liveness = new Liveness(); + ArrayReferencees ar = new ArrayReferencees(state); + OwnershipAnalysis oa = new OwnershipAnalysis(state, + tu, + callGraph, + liveness, + ar, + state.OWNERSHIPALLOCDEPTH, + state.OWNERSHIPWRITEDOTS, + state.OWNERSHIPWRITEALL, + state.OWNERSHIPALIASFILE, + state.METHODEFFECTS); + mlpa = new MLPAnalysis(state, + tu, + callGraph, + oa); + } + + if (state.DISJOINT) { + CallGraph cg = new CallGraph(state); + Liveness l = new Liveness(); + ArrayReferencees ar = new ArrayReferencees(state); + DisjointAnalysis oa = new DisjointAnalysis(state, tu, cg, l, ar); + } if (state.TAGSTATE) { CallGraph callgraph=new CallGraph(state); @@ -259,9 +464,13 @@ public class Main { if (state.SCHEDULING) { // Use ownership analysis to get alias information CallGraph callGraph = new CallGraph(state); + Liveness liveness = new Liveness(); + ArrayReferencees ar = new ArrayReferencees(state); OwnershipAnalysis oa = new OwnershipAnalysis(state, tu, callGraph, + liveness, + ar, state.OWNERSHIPALLOCDEPTH, state.OWNERSHIPWRITEDOTS, state.OWNERSHIPWRITEALL, @@ -271,68 +480,73 @@ public class Main { MCImplSynthesis mcImplSynthesis = new MCImplSynthesis(state, ta, oa); - mcImplSynthesis.setScheduleThreshold(50); - Vector scheduling = mcImplSynthesis.synthesis(); - - // generate multicore codes - if(state.MULTICORE) { - BuildCodeMultiCore bcm=new BuildCodeMultiCore(state, - bf.getMap(), - tu, - sa, - scheduling, - mcImplSynthesis.getCoreNum(), - pa); - bcm.setOwnershipAnalysis(oa); - bcm.buildCode(); + if(isDistributeInfo) { + mcImplSynthesis.distribution(isDisAll, startnum); + } else { + //double timeStartAnalysis = (double) System.nanoTime(); + mcImplSynthesis.setScheduleThreshold(20); + mcImplSynthesis.setProbThreshold(0); + mcImplSynthesis.setGenerateThreshold(30); + Vector 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(), + state.CORENUM4GC, + pa); + bcm.setOwnershipAnalysis(oa); + bcm.buildCode(); + } + scheduling.clear(); + scheduling = null; } - scheduling = 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); } public static void loadClass(State state, BuildIR bir, String sourcefile) { - ParseNode pn=readSourceFile(state, sourcefile); - bir.buildtree(pn, null); + try { + ParseNode pn=readSourceFile(state, sourcefile); + bir.buildtree(pn, null); + } catch (Exception e) { + 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); + } } /** Reads in a source file and adds the parse tree to the state object. */ @@ -345,7 +559,7 @@ public class Main { g = new Parse.Parser(l); ParseNode p=null; try { - p=(ParseNode) g./*debug_*/ parse().value; + p=(ParseNode) g./*debug_*/parse().value; } catch (Exception e) { System.err.println("Error parsing file:"+sourcefile); e.printStackTrace(); @@ -356,6 +570,7 @@ public class Main { System.out.println("Error parsing "+sourcefile); System.exit(l.numErrors()); } + state.lines+=l.line_num; return p; } catch (Exception e) {