projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d6c724c
)
check in message
author
Brian Demsky
<bdemsky@uci.edu>
Wed, 30 May 2012 07:23:38 +0000
(
00:23
-0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 30 May 2012 15:18:50 +0000
(08:18 -0700)
snapshot.cc
patch
|
blob
|
history
diff --git
a/snapshot.cc
b/snapshot.cc
index e8fdadba28839df18728b42ab7194c46ec01989c..4d71babeb967f9b8daba74542b6fa8044f120380 100644
(file)
--- a/
snapshot.cc
+++ b/
snapshot.cc
@@
-156,6
+156,10
@@
void initSnapShotLibrary(unsigned int numbackingpages,
addMemoryRegionToSnapShot(pagealignedbase, numheappages);
entryPoint();
#else
addMemoryRegionToSnapShot(pagealignedbase, numheappages);
entryPoint();
#else
+ //SUBRAMANIAN: WHY IS THIS SIGNAL HANDLER HERE FOR THE FORK BASED APPROACH????
+ //IT LOOKS LIKE SOME CODE WAS REMOVED FROM SIGNAL HANDLER...
+ //IN ANY CASE, DO NOT REUSE THE HANDLEPF CALL!!!!
+
//add a signal to indicate that the process is going to terminate.
struct sigaction sa;
sa.sa_flags = SA_SIGINFO | SA_NODEFER | SA_RESTART;
//add a signal to indicate that the process is going to terminate.
struct sigaction sa;
sa.sa_flags = SA_SIGINFO | SA_NODEFER | SA_RESTART;