config.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   5  *      This program is free software; you can redistribute it and/or
   6  *      modify it under the terms of the GNU General Public License
   7  *      version 2 as published by the Free Software Foundation.
   8  */
   9
  10 /** @file config.h
  11  * @brief Configuration file.
  12  */
  13
  14 #ifndef CONFIG_H
  15 #define CONFIG_H
  16
  17 /** Turn on debugging. */
  18 #ifndef CONFIG_DEBUG
  19 //#define CONFIG_DEBUG
  20 #endif
  21
  22 #ifndef CONFIG_ASSERT
  23 //#define CONFIG_ASSERT
  24 #endif
  25
  26 //#define VERBOSE_CONSTRAINTS
  27
  28 /** Turn on support for dumping cyclegraphs as dot files at each
  29  *  printed summary.*/
  30 //#define SUPPORT_MOD_ORDER_DUMP 1
  31
  32 /** Do we have a 48 bit virtual address (64 bit machine) or 32 bit addresses.
  33  * Set to 1 for 48-bit, 0 for 32-bit. */
  34 #ifndef BIT48
  35 #ifdef _LP64
  36 #define BIT48 1
  37 #else
  38 #define BIT48 0
  39 #endif
  40 #endif /* BIT48 */
  41
  42 /** Snapshotting configurables */
  43
  44 /**
  45  * If USE_MPROTECT_SNAPSHOT=2, then snapshot by tuned mmap() algorithm
  46  * If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
  47  * If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
  48 #define USE_MPROTECT_SNAPSHOT 2
  49
  50 /** Size of signal stack */
  51 #define SIGSTACKSIZE 65536
  52
  53 /** Page size configuration */
  54 #define PAGESIZE 4096
  55
  56 /** Thread parameters */
  57
  58 /* Size of stack to allocate for a thread. */
  59 #define STACK_SIZE (1024 * 1024)
  60
  61 /** Enable debugging assertions (via ASSERT()) */
  62 //#define CONFIG_ASSERT
  63
  64 /** Enable dumping event graphs in DOT compatiable format. */
  65 //#define DUMP_EVENT_GRAPHS
  66
  67 /** Print Achieved Goals. */
  68 //#define PRINT_ACHIEVED_GOALS
  69
  70 /** Use TSO Memory Model */
  71 //#define TSO
  72
  73 /** Record Stats */
  74 //#define STATS
  75
  76 #endif