+ "/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 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 = {
- REGISTER,
+ REGISTER_ACQREL,
+ REGISTER_RELAXED,
MS_QUEUE,
LINUXRWLOCKS,
MCS_LOCK,
READ_COPY_UPDATE,
CONCURRENT_MAP,
SPSC,
- MPMC
+ MPMC,
+ BLOCKING_QUEUE_EXAMPLE,
};
}