+
+ /* ***************** */
+ /* SIMIX-related API */
+ /* ***************** */
+private:
+ // Cache the address of the variables we read directly in the memory of remote
+ RemotePtr<unsigned long> maxpid_addr_;
+ RemotePtr<s_xbt_dynar_t> actors_addr_;
+ RemotePtr<s_xbt_dynar_t> dead_actors_addr_;
+
+public: