- // FIXME: request queues should be moved to host data...
- xbt_fifo_t *pending_send_request_queues;
- xbt_fifo_t *pending_recv_request_queues;
- xbt_fifo_t *received_message_queues;
-
- smx_process_t *sender_processes;
- smx_process_t *receiver_processes;
-
- int running_hosts_count;