projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add support for "C_RET, S_RET, JustifyingPre/Postconditions"
[cdsspec-compiler.git]
/
src
/
edu
/
uci
/
eecs
/
codeGenerator
/
Environment.java
diff --git
a/src/edu/uci/eecs/codeGenerator/Environment.java
b/src/edu/uci/eecs/codeGenerator/Environment.java
index f9665b7d008f64cddcbc1f2e33b4eeb646046639..9a7be19f01e66b33c1a7fa1402529b651385bf7c 100644
(file)
--- a/
src/edu/uci/eecs/codeGenerator/Environment.java
+++ b/
src/edu/uci/eecs/codeGenerator/Environment.java
@@
-36,20
+36,23
@@
public class Environment {
public final static String SPSC = "spsc-bugfix";
public final static String MPMC = "mpmc-queue";
public final static String SPSC = "spsc-bugfix";
public final static String MPMC = "mpmc-queue";
+ public final static String BLOCKING_QUEUE_EXAMPLE = "blocking-mpmc-example";
+
public final static String[] Benchmarks = {
public final static String[] Benchmarks = {
-
//
REGISTER_ACQREL,
-
//
REGISTER_RELAXED,
+
REGISTER_ACQREL,
+
REGISTER_RELAXED,
MS_QUEUE,
MS_QUEUE,
-// LINUXRWLOCKS,
-// MCS_LOCK,
-// DEQUE,
-// TREIBER_STACK,
-// TICKET_LOCK,
-// SEQLOCK,
-// READ_COPY_UPDATE,
-// CONCURRENT_MAP,
-// SPSC,
-// MPMC
+ LINUXRWLOCKS,
+ MCS_LOCK,
+ DEQUE,
+ TREIBER_STACK,
+ TICKET_LOCK,
+ SEQLOCK,
+ READ_COPY_UPDATE,
+ CONCURRENT_MAP,
+ SPSC,
+ MPMC,
+ BLOCKING_QUEUE_EXAMPLE,
};
}
};
}