utilize SnapshotAlloc STL allocator
[model-checker.git] / config.h
1 /** @file config.h
2  * @brief Configuration file.
3  */
4
5 #ifndef CONFIG_H
6 #define CONFIG_H
7
8 /** Turn on debugging. */
9 /*              #ifndef CONFIG_DEBUG
10                 #define CONFIG_DEBUG
11                 #endif
12 */
13
14 /** Turn on support for dumping cyclegraphs as dot files at each
15  *  printed summary.*/
16 #define SUPPORT_MOD_ORDER_DUMP 0
17
18 /** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
19  * Set to 1 for 48-bit, 0 for 32-bit. */
20 #ifndef BIT48
21 #ifdef _LP64
22 #define BIT48 1
23 #else
24 #define BIT48 0
25 #endif
26 #endif /* BIT48 */
27
28 /** Snapshotting configurables */
29
30 /** 
31  * If USE_MPROTECT_SNAPSHOT=2, then snapshot by tuned mmap() algorithm
32  * If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
33  * If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
34 #define USE_MPROTECT_SNAPSHOT 2
35
36 /** Size of signal stack */
37 #define SIGSTACKSIZE 32768
38
39 /** Page size configuration */
40 #define PAGESIZE 4096
41
42 /** Thread parameters */
43
44 /* Size of stack to allocate for a thread. */
45 #define STACK_SIZE (1024 * 1024)
46
47
48 #endif