+
+int __MSG_host_get_file_descriptor_id(msg_host_t host){
+ msg_host_priv_t priv = sg_host_msg(host);
+ xbt_assert(!xbt_dynar_is_empty(priv->file_descriptor_table),
+ "Too much files are opened! Some have to be closed.");
+ return xbt_dynar_pop_as(priv->file_descriptor_table, int);
+}
+
+void __MSG_host_release_file_descriptor_id(msg_host_t host, int id){
+ msg_host_priv_t priv = sg_host_msg(host);
+ xbt_dynar_push_as(priv->file_descriptor_table, int, id);
+}