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                 #ifndef CONFIG_ASSERT
  14                 #define CONFIG_ASSERT
  15                 #endif
  16 */
  17
  18 /** Turn on support for dumping cyclegraphs as dot files at each
  19  *  printed summary.*/
  20 #define SUPPORT_MOD_ORDER_DUMP 0
  21
  22 /** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
  23  * Set to 1 for 48-bit, 0 for 32-bit. */
  24 #ifndef BIT48
  25 #ifdef _LP64
  26 #define BIT48 1
  27 #else
  28 #define BIT48 0
  29 #endif
  30 #endif /* BIT48 */
  31
  32 /** Snapshotting configurables */
  33
  34 /**
  35  * If USE_MPROTECT_SNAPSHOT=2, then snapshot by tuned mmap() algorithm
  36  * If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
  37  * If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
  38 #define USE_MPROTECT_SNAPSHOT 2
  39
  40 /** Size of signal stack */
  41 #define SIGSTACKSIZE 65536
  42
  43 /** Page size configuration */
  44 #define PAGESIZE 4096
  45
  46 /** Thread parameters */
  47
  48 /* Size of stack to allocate for a thread. */
  49 #define STACK_SIZE (1024 * 1024)
  50
  51 /** How many shadow tables of memory to preallocate for data race detector. */
  52 #define SHADOWBASETABLES 4
  53
  54 /** Enable debugging assertions (via ASSERT()) */
  55 #define CONFIG_ASSERT
  56
  57 #endif