1) allow to set the maximum threshold for the liveness analysis. if threashold is...
[IRC.git] / Robust / Transactions / src / Defaults.java
1 /*
2  * Defaults.java
3  *
4  * Copyright 2006 Sun Microsystems, Inc., 4150 Network Circle, Santa
5  * Clara, California 95054, U.S.A.  All rights reserved.  
6  * 
7  * Sun Microsystems, Inc. has intellectual property rights relating to
8  * technology embodied in the product that is described in this
9  * document.  In particular, and without limitation, these
10  * intellectual property rights may include one or more of the
11  * U.S. patents listed at http://www.sun.com/patents and one or more
12  * additional patents or pending patent applications in the U.S. and
13  * in other countries.
14  * 
15  * U.S. Government Rights - Commercial software.
16  * Government users are subject to the Sun Microsystems, Inc. standard
17  * license agreement and applicable provisions of the FAR and its
18  * supplements.  Use is subject to license terms.  Sun, Sun
19  * Microsystems, the Sun logo and Java are trademarks or registered
20  * trademarks of Sun Microsystems, Inc. in the U.S. and other
21  * countries.  
22  * 
23  * This product is covered and controlled by U.S. Export Control laws
24  * and may be subject to the export or import laws in other countries.
25  * Nuclear, missile, chemical biological weapons or nuclear maritime
26  * end uses or end users, whether direct or indirect, are strictly
27  * prohibited.  Export or reexport to countries subject to
28  * U.S. embargo or to entities identified on U.S. export exclusion
29  * lists, including, but not limited to, the denied persons and
30  * specially designated nationals lists is strictly prohibited.
31  */
32
33 package dstm2;
34
35 /**
36  * 
37  * @author Maurice Herlihy
38  */
39 public class Defaults {
40   /**
41    * how many threads
42    **/
43   public static final int THREADS = 1;
44   /**
45    * benchmark duration in milliseconds
46    **/
47   public static final int TIME = 10000;
48   /**
49    * uninterpreted arg passed to benchmark
50    **/
51   public static final int EXPERIMENT = 100;
52   /**
53    * fully-qualified contention manager name
54    **/
55   public static final String MANAGER = "dstm2.manager.BackoffManager";
56   /**
57    * fully-qualified factory name
58    **/
59   public static final String FACTORY = "dstm2.factory.shadow.Factory";
60   /**
61    * fully-qualified adapter name
62    **/
63   public static final String ADAPTER = "dstm2.factory.shadow.Adapter";;
64   
65   public static final int FILEFRAGMENTSIZE= 1024;
66   
67   public static final boolean READWRITECONFLIT = true;
68   
69 }