src/mc/mc_state.c

   1 /* Copyright (c) 2008-2013 Da SimGrid Team. All rights reserved.            */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #include "../simix/smx_private.h"
   7 #include "xbt/fifo.h"
   8 #include "mc_private.h"
   9
  10 /**
  11  * \brief Creates a state data structure used by the exploration algorithm
  12  */
  13 mc_state_t MC_state_new()
  14 {
  15   mc_state_t state = NULL;
  16
  17   state = xbt_new0(s_mc_state_t, 1);
  18   state->max_pid = simix_process_maxpid;
  19   state->proc_status = xbt_new0(s_mc_procstate_t, state->max_pid);
  20   state->system_state = NULL;
  21   state->num = ++mc_stats->expanded_states;
  22
  23   return state;
  24 }
  25
  26 /**
  27  * \brief Deletes a state data structure
  28  * \param trans The state to be deleted
  29  */
  30 void MC_state_delete(mc_state_t state)
  31 {
  32   if(state->system_state)
  33     MC_free_snapshot(state->system_state);
  34   xbt_free(state->proc_status);
  35   xbt_free(state);
  36 }
  37
  38 void MC_state_interleave_process(mc_state_t state, smx_process_t process)
  39 {
  40   state->proc_status[process->pid].state = MC_INTERLEAVE;
  41   state->proc_status[process->pid].interleave_count = 0;
  42 }
  43
  44 void MC_state_remove_interleave_process(mc_state_t state, smx_process_t process)
  45 {
  46   if(state->proc_status[process->pid].state == MC_INTERLEAVE)
  47     state->proc_status[process->pid].state = MC_DONE;
  48 }
  49
  50 unsigned int MC_state_interleave_size(mc_state_t state)
  51 {
  52   unsigned int i, size=0;
  53
  54   for(i=0; i < state->max_pid; i++){
  55     if((state->proc_status[i].state == MC_INTERLEAVE) || (state->proc_status[i].state == MC_MORE_INTERLEAVE))
  56       size++;
  57   }
  58
  59   return size;
  60 }
  61
  62 int MC_state_process_is_done(mc_state_t state, smx_process_t process){
  63   return state->proc_status[process->pid].state == MC_DONE ? TRUE : FALSE;
  64 }
  65
  66 void MC_state_set_executed_request(mc_state_t state, smx_simcall_t req, int value)
  67 {
  68   state->executed_req = *req;
  69   state->req_num = value;
  70   smx_process_t process = NULL;
  71   mc_procstate_t procstate = NULL;
  72
  73   /* The waitany and testany request are transformed into a wait or test request over the
  74    * corresponding communication action so it can be treated later by the dependence
  75    * function. */
  76   switch(req->call){
  77     case SIMCALL_COMM_WAITANY:
  78       state->internal_req.call = SIMCALL_COMM_WAIT;
  79       state->internal_req.issuer = req->issuer;
  80       state->internal_comm = *xbt_dynar_get_as(simcall_comm_waitany__get__comms(req), value, smx_action_t);
  81       simcall_comm_wait__set__comm(&state->internal_req, &state->internal_comm);
  82       simcall_comm_wait__set__timeout(&state->internal_req, 0);
  83       break;
  84
  85     case SIMCALL_COMM_TESTANY:
  86       state->internal_req.call = SIMCALL_COMM_TEST;
  87       state->internal_req.issuer = req->issuer;
  88
  89       if(value > 0)
  90         state->internal_comm = *xbt_dynar_get_as(simcall_comm_testany__get__comms(req), value, smx_action_t);
  91
  92       simcall_comm_test__set__comm(&state->internal_req, &state->internal_comm);
  93       simcall_comm_test__set__result(&state->internal_req, value);
  94       break;
  95
  96     case SIMCALL_COMM_WAIT:
  97       state->internal_req = *req;
  98       state->internal_comm = *(simcall_comm_wait__get__comm(req));
  99       simcall_comm_wait__set__comm(&state->executed_req, &state->internal_comm);
 100       simcall_comm_wait__set__comm(&state->internal_req, &state->internal_comm);
 101       break;
 102
 103     case SIMCALL_COMM_TEST:
 104       state->internal_req = *req;
 105       state->internal_comm = *simcall_comm_test__get__comm(req);
 106       simcall_comm_test__set__comm(&state->executed_req, &state->internal_comm);
 107       simcall_comm_test__set__comm(&state->internal_req, &state->internal_comm);
 108       break;
 109
 110     case SIMCALL_MC_RANDOM:
 111       state->internal_req = *req;
 112       if(value != simcall_mc_random__get__max(req)){
 113         xbt_swag_foreach(process, simix_global->process_list){
 114           procstate = &state->proc_status[process->pid];
 115           if(process->pid == req->issuer->pid){
 116             procstate->state = MC_MORE_INTERLEAVE;
 117             break;
 118           }
 119         }
 120       }
 121       break;
 122
 123     default:
 124       state->internal_req = *req;
 125       break;
 126   }
 127 }
 128
 129 smx_simcall_t MC_state_get_executed_request(mc_state_t state, int *value)
 130 {
 131   *value = state->req_num;
 132   return &state->executed_req;
 133 }
 134
 135 smx_simcall_t MC_state_get_internal_request(mc_state_t state)
 136 {
 137   return &state->internal_req;
 138 }
 139
 140 smx_simcall_t MC_state_get_request(mc_state_t state, int *value)
 141 {
 142   smx_process_t process = NULL;
 143   mc_procstate_t procstate = NULL;
 144   unsigned int start_count;
 145
 146   xbt_swag_foreach(process, simix_global->process_list){
 147     procstate = &state->proc_status[process->pid];
 148
 149     if(procstate->state == MC_INTERLEAVE || procstate->state == MC_MORE_INTERLEAVE){
 150       if(MC_process_is_enabled(process)){
 151         switch(process->simcall.call){
 152           case SIMCALL_COMM_WAITANY:
 153             *value = -1;
 154             while(procstate->interleave_count < xbt_dynar_length(simcall_comm_waitany__get__comms(&process->simcall))){
 155               if(MC_request_is_enabled_by_idx(&process->simcall, procstate->interleave_count++)){
 156                 *value = procstate->interleave_count-1;
 157                 break;
 158               }
 159             }
 160
 161             if(procstate->interleave_count >= xbt_dynar_length(simcall_comm_waitany__get__comms(&process->simcall)))
 162               procstate->state = MC_DONE;
 163
 164             if(*value != -1)
 165               return &process->simcall;
 166
 167             break;
 168
 169           case SIMCALL_COMM_TESTANY:
 170             start_count = procstate->interleave_count;
 171             *value = -1;
 172             while(procstate->interleave_count < xbt_dynar_length(simcall_comm_testany__get__comms(&process->simcall))){
 173               if(MC_request_is_enabled_by_idx(&process->simcall, procstate->interleave_count++)){
 174                 *value = procstate->interleave_count - 1;
 175                 break;
 176               }
 177             }
 178
 179             if(procstate->interleave_count >= xbt_dynar_length(simcall_comm_testany__get__comms(&process->simcall)))
 180               procstate->state = MC_DONE;
 181
 182             if(*value != -1 || start_count == 0)
 183               return &process->simcall;
 184
 185             break;
 186
 187           case SIMCALL_COMM_WAIT:
 188             if(simcall_comm_wait__get__comm(&process->simcall)->comm.src_proc
 189                && simcall_comm_wait__get__comm(&process->simcall)->comm.dst_proc){
 190               *value = 0;
 191             }else{
 192               *value = -1;
 193             }
 194             procstate->state = MC_DONE;
 195             return &process->simcall;
 196
 197             break;
 198
 199           case SIMCALL_MC_RANDOM:
 200             if(procstate->state == MC_INTERLEAVE)
 201               *value = 0;
 202             else{
 203               if(state->req_num < simcall_mc_random__get__max(&process->simcall))
 204                 *value = state->req_num + 1;
 205             }
 206             procstate->state = MC_DONE;
 207             return &process->simcall;
 208             break;
 209
 210           default:
 211             procstate->state = MC_DONE;
 212             *value = 0;
 213             return &process->simcall;
 214             break;
 215         }
 216       }
 217     }
 218   }
 219
 220   return NULL;
 221 }