src/edu/uci/eecs/codeGenerator/Environment.java

   1 package edu.uci.eecs.codeGenerator;
   2
   3 import java.util.ArrayList;
   4
   5 /**
   6  * <p>
   7  * This class contains some constant strings related to the code generation
   8  * process.
   9  * </p>
  10  *
  11  * @author Peizhao Ou
  12  *
  13  */
  14 public class Environment {
  15         public final static String HomeDir = System.getProperty("user.dir");
  16         public final static String ModelCheckerHome = System
  17                         .getProperty("user.home")
  18                         + "/model-checker-priv/model-checker-priv/";
  19         public final static String BenchmarksDir = ModelCheckerHome
  20                         + "/benchmarks/";
  21         public final static String ModelCheckerTestDir = ModelCheckerHome
  22                         + "/test-cdsspec/";
  23         public final static String GeneratedFilesDir = ModelCheckerTestDir;
  24
  25         public final static String REGISTER_ACQREL = "register-acqrel";
  26         public final static String REGISTER_RELAXED = "register-relaxed";
  27         public final static String MS_QUEUE = "ms-queue";
  28         public final static String LINUXRWLOCKS = "linuxrwlocks";
  29         public final static String MCS_LOCK = "mcs-lock";
  30         public final static String DEQUE = "chase-lev-deque-bugfix";
  31         public final static String TREIBER_STACK = "treiber-stack";
  32         public final static String TICKET_LOCK = "ticket-lock";
  33         public final static String SEQLOCK = "seqlock";
  34         public final static String READ_COPY_UPDATE = "read-copy-update";
  35         public final static String CONCURRENT_MAP = "concurrent-hashmap";
  36         public final static String SPSC = "spsc-bugfix";
  37         public final static String MPMC = "mpmc-queue";
  38
  39         public final static String[] Benchmarks = {
  40                 REGISTER_ACQREL,
  41                 REGISTER_RELAXED,
  42                 MS_QUEUE,
  43                 LINUXRWLOCKS,
  44                 MCS_LOCK,
  45                 DEQUE,
  46                 TREIBER_STACK,
  47                 TICKET_LOCK,
  48                 SEQLOCK,
  49                 READ_COPY_UPDATE,
  50                 CONCURRENT_MAP,
  51                 SPSC,
  52                 MPMC
  53         };
  54
  55 }