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 /** 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 /** Enable debugging assertions (via ASSERT()) */
  52 //#define CONFIG_ASSERT
  53
  54 /** Enable dumping event graphs in DOT compatiable format. */
  55 //#define DUMP_EVENT_GRAPHS
  56
  57 /** Print Achieved Goals. */
  58 //#define PRINT_ACHIEVED_GOALS
  59
  60 /** Use TSO Memory Model */
  61 //#define TSO
  62
  63 /** Record Stats */
  64 //#define STATS
  65
  66 #endif