package edu.uci.eecs.codeGenerator;
+import java.util.ArrayList;
+
/**
* <p>
* This class contains some constant strings related to the code generation
+ "/test-cdsspec/";
public final static String GeneratedFilesDir = ModelCheckerTestDir;
- public final static String REGISTER = "register";
+ public final static String REGISTER_ACQREL = "register-acqrel";
+ public final static String REGISTER_RELAXED = "register-relaxed";
public final static String MS_QUEUE = "ms-queue";
public final static String LINUXRWLOCKS = "linuxrwlocks";
public final static String MCS_LOCK = "mcs-lock";
+ public final static String DEQUE = "chase-lev-deque-bugfix";
+ public final static String TREIBER_STACK = "treiber-stack";
+ public final static String TICKET_LOCK = "ticket-lock";
+ public final static String SEQLOCK = "seqlock";
+ public final static String READ_COPY_UPDATE = "read-copy-update";
+ public final static String CONCURRENT_MAP = "concurrent-hashmap";
+ public final static String SPSC = "spsc-bugfix";
+ public final static String MPMC = "mpmc-queue";
+
+ public final static String[] Benchmarks = {
+ REGISTER_ACQREL,
+ REGISTER_RELAXED,
+ MS_QUEUE,
+ LINUXRWLOCKS,
+ MCS_LOCK,
+ DEQUE,
+ TREIBER_STACK,
+ TICKET_LOCK,
+ SEQLOCK,
+ READ_COPY_UPDATE,
+ CONCURRENT_MAP,
+ SPSC,
+ MPMC
+ };
}