import java.util.HashSet;
import java.util.Iterator;
+import edu.uci.eecs.specCompiler.specExtraction.CPClearConstruct;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineCheckConstruct;
import edu.uci.eecs.specCompiler.specExtraction.CPDefineConstruct;
import edu.uci.eecs.specCompiler.specExtraction.ClassEndConstruct;
private HashMap<File, SourceFileInfo> srcFilesInfo;
private HashMap<File, ArrayList<CodeAddition>> codeAdditions;
+ private String homeDir;
public CodeGenerator(File[] srcFiles) {
this.srcFiles = srcFiles;
}
codeAdditions.get(construct.file).add(addition);
}
-
- /**
- private void ClassEnd2Code(ClassEndConstruct construct) {
+
+ private void CPClear2Code(CPClearConstruct construct) {
int lineNum = construct.beginLineNum;
- ArrayList<String> newCode = CodeVariables.generateStaticVarDefine(_semantics,
- _semantics.getGlobalConstruct());
+ ArrayList<String> newCode = CodeVariables.generateCPClear(
+ _semantics, construct);
CodeAddition addition = new CodeAddition(lineNum, newCode);
if (!codeAdditions.containsKey(construct.file)) {
}
codeAdditions.get(construct.file).add(addition);
}
- */
+
+ /**
+ * private void ClassEnd2Code(ClassEndConstruct construct) { int lineNum =
+ * construct.beginLineNum; ArrayList<String> newCode =
+ * CodeVariables.generateStaticVarDefine(_semantics,
+ * _semantics.getGlobalConstruct());
+ *
+ * CodeAddition addition = new CodeAddition(lineNum, newCode); if
+ * (!codeAdditions.containsKey(construct.file)) {
+ * codeAdditions.put(construct.file, new ArrayList<CodeAddition>()); }
+ * codeAdditions.get(construct.file).add(addition); }
+ */
+
private void EntryPoint2Code(EntryPointConstruct construct) {
int lineNum = construct.beginLineNum;
ArrayList<String> newCode = new ArrayList<String>();
CPDefine2Code((CPDefineConstruct) construct);
} else if (construct instanceof CPDefineCheckConstruct) {
CPDefineCheck2Code((CPDefineCheckConstruct) construct);
+ } else if (construct instanceof CPClearConstruct) {
+ CPClear2Code((CPClearConstruct) construct);
} else if (construct instanceof EntryPointConstruct) {
EntryPoint2Code((EntryPointConstruct) construct);
}
}
-// ClassEndConstruct endConstruct = _semantics.getClassEndConstruct();
-// if (endConstruct != null) {
-// ClassEnd2Code(endConstruct);
-// }
+ // ClassEndConstruct endConstruct = _semantics.getClassEndConstruct();
+ // if (endConstruct != null) {
+ // ClassEnd2Code(endConstruct);
+ // }
// Sort code additions
- HashSet<String> headers = CodeVariables.getAllHeaders(_semantics);
- ArrayList<String> headerCode = new ArrayList<String>();
- for (String header : headers) {
- headerCode.add("#include " + header);
- }
for (File file : codeAdditions.keySet()) {
ArrayList<CodeAddition> additions = codeAdditions.get(file);
// Insert generated annotation to the source files
ArrayList<String> newContent = insertAnnotation2Src(additions,
content);
- ArrayList<String> finalContent = new ArrayList<String>(
- headerCode.size() + newContent.size());
- finalContent.addAll(headerCode);
- finalContent.addAll(newContent);
// Write it back to file
- ParserUtils.write2File(file, finalContent);
+ ParserUtils.write2File(file, newContent);
}
}
public static void main(String[] argvs) {
String homeDir = Environment.HOME_DIRECTORY;
- File[] srcFiles = {
-// new File(homeDir
-// + "/benchmark/linuxrwlocks/linuxrwlocks.c") };
-// new File(homeDir
-// +
-// "/benchmark/cliffc-hashtable/simplified_cliffc_hashtable.h"),
-// };
-// new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
-// new File(homeDir + "/benchmark/ms-queue/main.c"),
-// new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
-
-// new File(homeDir + "/benchmark/read-copy-update/rcu.cc") };
-
-// new File(homeDir +
-// "/benchmark/chase-lev-deque-bugfix/deque.c"),
-// new File(homeDir +
-// "/benchmark/chase-lev-deque-bugfix/main.c"),
-// new File(homeDir +
-// "/benchmark/chase-lev-deque-bugfix/deque.h") };
-
-// new File(homeDir + "/benchmark/mcs-lock/mcs-lock.cc"),
-// new File(homeDir + "/benchmark/mcs-lock/mcs-lock.h") };
-
-// new File(homeDir + "/benchmark/spsc-bugfix/spsc-queue.cc"),
-// new File(homeDir + "/benchmark/spsc-bugfix/eventcount.h"),
-// new File(homeDir + "/benchmark/spsc-bugfix/queue.h") };
-
- new File(homeDir + "/benchmark/mpmc-queue/mpmc-queue.h"),
- new File(homeDir + "/benchmark/mpmc-queue/mpmc-queue.cc") };
-
-
- CodeGenerator gen = new CodeGenerator(srcFiles);
- gen.generateCode();
+
+ File[] srcLinuxRWLock1 = {
+ new File(homeDir
+ + "/benchmark/linuxrwlocks/linuxrwlocks.c") };
+ File[] srcLinuxRWLock2 = {
+ new File(homeDir
+ + "/benchmark/linuxrwlocks/testcase1.c") };
+ File[] srcLinuxRWLock3 = {
+ new File(homeDir
+ + "/benchmark/linuxrwlocks/testcase2.c") };
+//
+ File[] srcHashtable = {
+ new File(homeDir
+ + "/benchmark/concurrent-hashmap/hashmap.h"),
+ new File(homeDir + "/benchmark/concurrent-hashmap/testcase1.cc"),
+ new File(homeDir + "/benchmark/concurrent-hashmap/main.cc")};
+
+ File[] srcMSQueue = {
+ new File(homeDir + "/benchmark/ms-queue/my_queue.c"),
+ new File(homeDir + "/benchmark/ms-queue/testcase1.c"),
+ new File(homeDir + "/benchmark/ms-queue/testcase2.c"),
+ new File(homeDir + "/benchmark/ms-queue/testcase3.c"),
+ new File(homeDir + "/benchmark/ms-queue/main.c"),
+ new File(homeDir + "/benchmark/ms-queue/my_queue.h") };
+
+ File[] srcRCU = { new File(homeDir
+ + "/benchmark/read-copy-update/rcu.cc") };
+//
+ File[] srcTrylock = { new File(homeDir
+ + "/benchmark/trylock/trylock.c") };
+
+ File[] srcDeque = {
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/deque.c"),
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/main.c"),
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/testcase1.c"),
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/testcase2.c"),
+ new File(homeDir + "/benchmark/chase-lev-deque-bugfix/deque.h") };
+//
+ File[] srcMCSLock = {
+ new File(homeDir + "/benchmark/mcs-lock/mcs-lock.cc"),
+ new File(homeDir + "/benchmark/mcs-lock/mcs-lock.h") };
+//
+ File[] srcSPSCQueue = {
+ new File(homeDir + "/benchmark/spsc-bugfix/spsc-queue.cc"),
+ new File(homeDir + "/benchmark/spsc-bugfix/eventcount.h"),
+ new File(homeDir + "/benchmark/spsc-bugfix/queue.h") };
+
+ File[] srcMPMCQueue = {
+ new File(homeDir + "/benchmark/mpmc-queue/mpmc-queue.h"),
+ new File(homeDir + "/benchmark/mpmc-queue/testcase1.cc"),
+ new File(homeDir + "/benchmark/mpmc-queue/testcase2.cc"),
+ new File(homeDir + "/benchmark/mpmc-queue/testcase3.cc"),
+ new File(homeDir + "/benchmark/mpmc-queue/mpmc-queue.cc") };
+//
+// File[][] sources = {srcLinuxRWLock1 , srcMSQueue, srcRCU,
+// srcDeque, srcMCSLock, srcSPSCQueue, srcMPMCQueue, srcHashtable };
+
+ File[][] sources = {srcDeque, srcLinuxRWLock1, srcLinuxRWLock2, srcLinuxRWLock3, srcMCSLock, srcHashtable, srcRCU, srcMSQueue, srcSPSCQueue, srcMPMCQueue};
+// File[][] sources = {srcMSQueue};
+ // Compile all the benchmarks
+ for (int i = 0; i < sources.length; i++) {
+ CodeGenerator gen = new CodeGenerator(sources[i]);
+ gen.generateCode();
+ }
}
}