}
/**
- * \brief Returns the number of parallel threads used
- * for the user contexts.
+ * @brief Returns the number of parallel threads used for the user contexts.
* \return the number of threads (1 means no parallelism)
*/
int SIMIX_context_get_nthreads(void) {
{
simgrid::simix::Comm *comm = static_cast<simgrid::simix::Comm*>(synchro);
- if(MC_is_active() || MC_record_replay_is_active()){
+ if (MC_is_active() || MC_record_replay_is_active()){
simcall_comm_test__set__result(simcall, comm->src_proc && comm->dst_proc);
- if(simcall_comm_test__get__result(simcall)){
+ if (simcall_comm_test__get__result(simcall)){
synchro->state = SIMIX_DONE;
xbt_fifo_push(synchro->simcalls, simcall);
SIMIX_comm_finish(synchro);
- }else{
+ } else {
SIMIX_simcall_answer(simcall);
}
return;
unsigned int cursor = 0;
xbt_dynar_t synchros = simcall_comm_waitany__get__comms(simcall);
- xbt_dynar_foreach(synchros, cursor, synchro) {
+ xbt_dynar_foreach(synchros, cursor, synchro)
xbt_fifo_remove(synchro->simcalls, simcall);
- }
}
/**