X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=config.h;h=c276bd03ce00715233a5be9dc6792e81d00aef47;hp=ac725c3582c6f05c9d39c7d176b82ddd430c97fa;hb=2acfc0ff81be16cc8793030e8234e67c7811525d;hpb=89ecd60fab0d93d6df6aa35e663ab67db860fa1d diff --git a/config.h b/config.h index ac725c35..c276bd03 100644 --- a/config.h +++ b/config.h @@ -27,7 +27,7 @@ #else #define BIT48 0 #endif -#endif/* BIT48 */ +#endif /* BIT48 */ /** Snapshotting configurables */ @@ -43,6 +43,8 @@ /** Page size configuration */ #define PAGESIZE 4096 +#define TLS 1 + /** Thread parameters */ /* Size of stack to allocate for a thread. */ @@ -54,4 +56,7 @@ /** Enable debugging assertions (via ASSERT()) */ #define CONFIG_ASSERT +/** Enable mitigations against fork handlers that call into locks... */ +#define FORK_HANDLER_HACK + #endif