projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3664c96
)
sandbox
author
bdemsky
<bdemsky>
Fri, 9 Oct 2009 07:34:36 +0000
(07:34 +0000)
committer
bdemsky
<bdemsky>
Fri, 9 Oct 2009 07:34:36 +0000
(07:34 +0000)
Robust/src/Runtime/STM/sandbox.c
patch
|
blob
|
history
diff --git
a/Robust/src/Runtime/STM/sandbox.c
b/Robust/src/Runtime/STM/sandbox.c
index bf7504f7d7c2601a85b2a18272b4a357b87e7703..e02ecad6b66b98cfdab245a4ae392d308f24d60b 100644
(file)
--- a/
Robust/src/Runtime/STM/sandbox.c
+++ b/
Robust/src/Runtime/STM/sandbox.c
@@
-1,5
+1,7
@@
#include "sandbox.h"
-
+#include "tm.h"
+#include <stdio.h>
+#define likely(x) x
__thread int transaction_check_counter;
__thread jmp_buf aborttrans;
__thread int abortenabled;