-int __MSG_host_get_file_descriptor_id(msg_host_t host){
- msg_host_priv_t priv = sg_host_msg(host);
- if(!priv->file_descriptor_table){
- priv->file_descriptor_table = new std::vector<int>(sg_storage_max_file_descriptors);
- std::iota (priv->file_descriptor_table->rbegin(), priv->file_descriptor_table->rend(), 0); // Fill with ..., 1, 0.
- }
- xbt_assert(!priv->file_descriptor_table->empty(), "Too much files are opened! Some have to be closed.");
- int desc = priv->file_descriptor_table->back();
- priv->file_descriptor_table->pop_back();
- return desc;
-}
-
-void __MSG_host_release_file_descriptor_id(msg_host_t host, int id){
- msg_host_priv_t priv = sg_host_msg(host);
- priv->file_descriptor_table->push_back(id);
-}