1 /* Copyright (c) 2015 Regents of the University of California
3 * Author: Brian Demsky <bdemsky@uci.edu>
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.
11 * @brief Configuration file.
17 /** Turn on debugging. */
19 //#define CONFIG_DEBUG
23 //#define CONFIG_ASSERT
26 //#define VERBOSE_CONSTRAINTS
28 /** Turn on support for dumping cyclegraphs as dot files at each
30 //#define SUPPORT_MOD_ORDER_DUMP 1
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. */
42 /** Snapshotting configurables */
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
50 /** Size of signal stack */
51 #define SIGSTACKSIZE 65536
53 /** Page size configuration */
56 /** Thread parameters */
58 /* Size of stack to allocate for a thread. */
59 #define STACK_SIZE (1024 * 1024)
61 /** Enable debugging assertions (via ASSERT()) */
62 //#define CONFIG_ASSERT
64 /** Enable dumping event graphs in DOT compatiable format. */
65 //#define DUMP_EVENT_GRAPHS
67 /** Print Achieved Goals. */
68 //#define PRINT_ACHIEVED_GOALS
70 /** Use TSO Memory Model */