s4u::Host *getHost();
/** Retrieves the PID of that actor */
int getPid();
+ /** Retrieves the PPID of that actor */
+ int getPpid();
/** If set to true, the actor will automatically restart when its host reboots */
void setAutoRestart(bool autorestart);
* Return the PID of the current actor.
*/
XBT_PUBLIC(int) getPid();
+
+ /**
+ * Return the PPID of the current actor.
+ */
+ int getPpid();
};
return pimpl_->pid;
}
+int Actor::getPpid() {
+ return pimpl_->ppid;
+}
+
void Actor::setKillTime(double time) {
simcall_process_set_kill_time(pimpl_,time);
}
return SIMIX_process_self()->pid;
}
+int getPpid() {
+ return SIMIX_process_self()->ppid;
+}
+
}
}
}