Do not initialize the App's memory introspection if it's not needed
Reforks are still not activated in this code, as the DFS constructor
pretends that it needs memory introspection when it does not. The
version activating reforks is currently commented here, if you want to
play with it.
Things seem more or less working with this change. Known issues:
- liveness checking is killed by a out-of-bounds access to a vector
while handling the property automaton. This is the case even when
reforks are not activated, making this change improper for the
master branch.
- The checker is not very good at killing the application in refork
mode, and many processes remain around until after they are
abandoned by their checker.
I'm not sure of whether they only consume memory or whether they
also burn the CPU in an active loop. In both cases, this is ...
suboptimal.
This point is OK when not activating reforks.
- valgrind reports some sort of double free on the libevent's events.
I fail to get the std::unique_ptr thing right. See next commit.
12 files changed: