4 import java.io.BufferedReader;
5 import java.io.FileReader;
6 import java.io.FileInputStream;
7 import java.util.Iterator;
8 import java.util.Vector;
10 import IR.Tree.ParseNode;
11 import IR.Tree.BuildIR;
12 import IR.Tree.SemanticCheck;
13 import IR.Flat.BuildFlat;
14 import IR.Flat.BuildCode;
15 import IR.ClassDescriptor;
17 import IR.TaskDescriptor;
19 import Analysis.Scheduling.ScheduleAnalysis;
20 import Analysis.Scheduling.ScheduleEdge;
21 import Analysis.Scheduling.ScheduleNode;
22 import Analysis.TaskStateAnalysis.TaskAnalysis;
23 import Analysis.TaskStateAnalysis.TaskTagAnalysis;
24 import Analysis.TaskStateAnalysis.TaskGraph;
25 import Analysis.CallGraph.CallGraph;
26 import Analysis.TaskStateAnalysis.FEdge;
27 import Analysis.TaskStateAnalysis.FlagState;
28 import Analysis.TaskStateAnalysis.TagAnalysis;
29 import Analysis.TaskStateAnalysis.GarbageAnalysis;
30 import Analysis.TaskStateAnalysis.ExecutionGraph;
31 import Analysis.TaskStateAnalysis.SafetyAnalysis;
32 import Analysis.Locality.LocalityAnalysis;
33 import Analysis.Locality.GenerateConversions;
34 import Analysis.Prefetch.PrefetchAnalysis;
35 import Analysis.FlatIRGraph.FlatIRGraph;
36 import Analysis.OwnershipAnalysis.OwnershipAnalysis;
41 /** Main method for the compiler. */
43 public static void main(String args[]) throws Exception {
44 String ClassLibraryPrefix="./ClassLibrary/";
45 State state=new State();
47 for(int i=0;i<args.length;i++) {
48 String option=args[i];
49 if (option.equals("-precise"))
50 IR.Flat.BuildCode.GENERATEPRECISEGC=true;
51 else if (option.equals("-prefetch"))
53 else if (option.equals("-dir"))
54 IR.Flat.BuildCode.PREFIX=args[++i]+"/";
55 else if (option.equals("-selfloop"))
56 state.selfloops.add(args[++i]);
57 else if (option.equals("-classlibrary"))
58 ClassLibraryPrefix=args[++i]+"/";
59 else if (option.equals("-mainclass"))
61 else if (option.equals("-struct"))
62 state.structfile=args[++i];
63 else if (option.equals("-conscheck"))
65 else if (option.equals("-task"))
67 else if (option.equals("-taskstate"))
69 else if (option.equals("-tagstate"))
71 else if (option.equals("-flatirtasks")) {
72 state.FLATIRGRAPH=true;
73 state.FLATIRGRAPHTASKS=true;
75 else if (option.equals("-flatirusermethods")) {
76 state.FLATIRGRAPH=true;
77 state.FLATIRGRAPHUSERMETHODS=true;
79 else if (option.equals("-flatirlibmethods")) {
80 state.FLATIRGRAPH=true;
81 state.FLATIRGRAPHLIBMETHODS=true;
83 else if (option.equals("-ownership"))
85 else if (option.equals("-optional"))
87 else if (option.equals("-scheduling"))
88 state.SCHEDULING=true;
89 else if (option.equals("-thread"))
91 else if (option.equals("-dsm"))
93 else if (option.equals("-webinterface"))
94 state.WEBINTERFACE=true;
95 else if (option.equals("-instructionfailures"))
96 state.INSTRUCTIONFAILURE=true;
97 else if (option.equals("-help")) {
98 System.out.println("-classlibrary classlibrarydirectory -- directory where classlibrary is located");
99 System.out.println("-selfloop task -- this task doesn't self loop its parameters forever");
100 System.out.println("-dir outputdirectory -- output code in outputdirectory");
101 System.out.println("-struct structfile -- output structure declarations for repair tool");
102 System.out.println("-mainclass -- main function to call");
103 System.out.println("-dsm -- distributed shared memory support");
104 System.out.println("-precise -- use precise garbage collection");
105 System.out.println("-conscheck -- turn on consistency checking");
106 System.out.println("-task -- compiler for tasks");
107 System.out.println("-thread -- threads");
108 System.out.println("-instructionfailures -- insert code for instruction level failures");
109 System.out.println("-taskstate -- do task state analysis");
110 System.out.println("-flatirtasks -- create dot files for flat IR graphs of tasks");
111 System.out.println("-flatirusermethods -- create dot files for flat IR graphs of user methods");
112 System.out.println("-flatirlibmethods -- create dot files for flat IR graphs of library class methods");
113 System.out.println(" note: -flatirusermethods or -flatirlibmethods currently generate all class method flat IR graphs");
114 System.out.println("-ownership -- do ownership analysis");
115 System.out.println("-optional -- enable optional arguments");
116 System.out.println("-webinterface -- enable web interface");
117 System.out.println("-help -- print out help");
120 readSourceFile(state, args[i]);
125 readSourceFile(state, ClassLibraryPrefix+"System.java");
126 readSourceFile(state, ClassLibraryPrefix+"String.java");
127 readSourceFile(state, ClassLibraryPrefix+"HashSet.java");
128 readSourceFile(state, ClassLibraryPrefix+"HashMap.java");
129 readSourceFile(state, ClassLibraryPrefix+"HashMapIterator.java");
130 readSourceFile(state, ClassLibraryPrefix+"HashEntry.java");
131 readSourceFile(state, ClassLibraryPrefix+"Integer.java");
132 readSourceFile(state, ClassLibraryPrefix+"StringBuffer.java");
133 readSourceFile(state, ClassLibraryPrefix+"FileInputStream.java");
134 readSourceFile(state, ClassLibraryPrefix+"InputStream.java");
135 readSourceFile(state, ClassLibraryPrefix+"OutputStream.java");
136 readSourceFile(state, ClassLibraryPrefix+"FileOutputStream.java");
137 readSourceFile(state, ClassLibraryPrefix+"File.java");
138 readSourceFile(state, ClassLibraryPrefix+"Math.java");
139 readSourceFile(state, ClassLibraryPrefix+"InetAddress.java");
140 readSourceFile(state, ClassLibraryPrefix+"SocketInputStream.java");
141 readSourceFile(state, ClassLibraryPrefix+"SocketOutputStream.java");
145 readSourceFile(state, ClassLibraryPrefix+"Object.java");
146 readSourceFile(state, ClassLibraryPrefix+"TagDescriptor.java");
147 } else if (state.DSM) {
148 readSourceFile(state, ClassLibraryPrefix+"ThreadDSM.java");
149 readSourceFile(state, ClassLibraryPrefix+"ObjectJavaDSM.java");
152 readSourceFile(state, ClassLibraryPrefix+"Thread.java");
153 readSourceFile(state, ClassLibraryPrefix+"ObjectJava.java");
155 readSourceFile(state, ClassLibraryPrefix+"ObjectJavaNT.java");
159 readSourceFile(state, ClassLibraryPrefix+"StartupObject.java");
160 readSourceFile(state, ClassLibraryPrefix+"Socket.java");
161 readSourceFile(state, ClassLibraryPrefix+"ServerSocket.java");
163 readSourceFile(state, ClassLibraryPrefix+"SocketJava.java");
164 readSourceFile(state, ClassLibraryPrefix+"ServerSocketJava.java");
167 BuildIR bir=new BuildIR(state);
170 TypeUtil tu=new TypeUtil(state);
172 SemanticCheck sc=new SemanticCheck(state,tu);
174 tu.createFullTable();
176 BuildFlat bf=new BuildFlat(state,tu);
178 SafetyAnalysis sa=null;
180 if (state.TAGSTATE) {
181 CallGraph callgraph=new CallGraph(state);
182 TagAnalysis taganalysis=new TagAnalysis(state, callgraph);
183 TaskTagAnalysis tta=new TaskTagAnalysis(state, taganalysis);
186 if (state.TASKSTATE) {
187 CallGraph callgraph=new CallGraph(state);
188 TagAnalysis taganalysis=new TagAnalysis(state, callgraph);
189 TaskAnalysis ta=new TaskAnalysis(state, taganalysis);
191 TaskGraph tg=new TaskGraph(state, ta);
194 if (state.OPTIONAL) {
195 ExecutionGraph et=new ExecutionGraph(state, ta);
196 et.createExecutionGraph();
197 sa = new SafetyAnalysis(et.getExecutionGraph(), state, ta);
199 state.storeAnalysisResult(sa.getResult());
200 state.storeOptionalTaskDescriptors(sa.getOptionalTaskDescriptors());
203 if (state.WEBINTERFACE) {
204 GarbageAnalysis ga=new GarbageAnalysis(state, ta);
205 WebInterface wi=new WebInterface(state, ta, tg, ga, taganalysis);
206 JhttpServer serve=new JhttpServer(8000,wi);
210 if (state.SCHEDULING) {
212 // Randomly set the newRate and probability of FEdges
213 java.util.Random r=new java.util.Random();
215 for(Iterator it_classes=state.getClassSymbolTable().getDescriptorsIterator();it_classes.hasNext();) {
216 ClassDescriptor cd=(ClassDescriptor) it_classes.next();
218 Vector rootnodes=ta.getRootNodes(cd);
220 for(Iterator it_rootnodes=rootnodes.iterator();it_rootnodes.hasNext();){
221 FlagState root=(FlagState)it_rootnodes.next();
222 Vector allocatingTasks = root.getAllocatingTasks();
223 if(allocatingTasks != null) {
224 for(int k = 0; k < allocatingTasks.size(); k++) {
225 TaskDescriptor td = (TaskDescriptor)allocatingTasks.elementAt(k);
226 Vector<FEdge> fev = (Vector<FEdge>)ta.getFEdgesFromTD(td);
227 int numEdges = fev.size();
228 for(int j = 0; j < numEdges; j++) {
229 FEdge pfe = fev.elementAt(j);
231 tint = r.nextInt()%10;
233 //int newRate = tint;
234 int newRate = (j+1)%2+1;
236 tint = r.nextInt()%100;
238 int probability = tint;*/
239 int probability = 100;
240 pfe.addNewObjInfo(cd, newRate, probability);
246 Iterator it_flags = ta.getFlagStates(cd).iterator();
247 while(it_flags.hasNext()) {
248 FlagState fs = (FlagState)it_flags.next();
249 Iterator it_edges = fs.edges();
250 while(it_edges.hasNext()) {
252 tint = r.nextInt()%10;
254 ((FEdge)it_edges.next()).setExeTime(tint);
260 ScheduleAnalysis scheduleAnalysis = new ScheduleAnalysis(state, ta);
261 scheduleAnalysis.preSchedule();
263 // Randomly set the newRate and probability of ScheduleEdges
264 /*Vector<ScheduleEdge> sedges = scheduleAnalysis.getSEdges4Test();
265 java.util.Random r=new java.util.Random();
266 for(int i = 0; i < sedges.size(); i++) {
267 ScheduleEdge temp = sedges.elementAt(i);
270 tint = r.nextInt()%100;
272 temp.setProbability(tint);
274 tint = r.nextInt()%10;
276 temp.setNewRate(tint);
277 //temp.setNewRate((i+1)%2+1);
279 //sedges.elementAt(3).setNewRate(2);*/
280 scheduleAnalysis.scheduleAnalysis();
281 scheduleAnalysis.setCoreNum(scheduleAnalysis.getSEdges4Test().size() - 1);
282 scheduleAnalysis.schedule();
288 CallGraph callgraph=new CallGraph(state);
289 if (state.PREFETCH) {
290 PrefetchAnalysis pa=new PrefetchAnalysis(state, callgraph, tu);
292 LocalityAnalysis la=new LocalityAnalysis(state, callgraph, tu);
293 GenerateConversions gc=new GenerateConversions(la, state);
294 BuildCode bc=new BuildCode(state, bf.getMap(), tu, la);
297 BuildCode bc=new BuildCode(state, bf.getMap(), tu, sa);
301 if (state.FLATIRGRAPH) {
302 FlatIRGraph firg = new FlatIRGraph(state,
303 state.FLATIRGRAPHTASKS,
304 state.FLATIRGRAPHUSERMETHODS,
305 state.FLATIRGRAPHLIBMETHODS);
308 if (state.OWNERSHIP) {
309 // OwnershipAnalysis oa = new OwnershipAnalysis(state);
315 /** Reads in a source file and adds the parse tree to the state object. */
317 private static void readSourceFile(State state, String sourcefile) throws Exception {
318 Reader fr = new BufferedReader(new FileReader(sourcefile));
319 Lex.Lexer l = new Lex.Lexer(fr);
320 java_cup.runtime.lr_parser g;
321 g = new Parse.Parser(l);
324 p=(ParseNode) g./*debug_*/parse().value;
325 } catch (Exception e) {
326 System.err.println("Error parsing file:"+sourcefile);
330 state.addParseNode(p);
331 if (l.numErrors()!=0) {
332 System.out.println("Error parsing "+sourcefile);
333 System.exit(l.numErrors());