/** Ask to the application to check for a deadlock. If so, do an error message and throw a DeadlockError. */
void check_deadlock() const;
+ /** Ask the application to run post-mortem analysis, and maybe to stop ASAP */
+ void finalize_app(bool terminate_asap = false);
+ /** Forcefully kill the application (after running post-mortem analysis)*/
+ void shutdown();
+
/** Retrieve the max PID of the running actors */
unsigned long get_maxpid() const;