src/simix/smx_smurf.c

   1 #include "private.h"
   2 #include "xbt/fifo.h"
   3 #include "xbt/xbt_os_thread.h"
   4
   5 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_smurf, simix,
   6                                 "Logging specific to SIMIX (SMURF)");
   7
   8 static xbt_dynar_t req_vector;
   9 static xbt_os_mutex_t sync_req_vector;
  10
  11 void SIMIX_request_init(void)
  12 {
  13   sync_req_vector = xbt_os_mutex_init();
  14   req_vector = xbt_dynar_new(sizeof(void *), NULL);
  15 }
  16
  17 void SIMIX_request_destroy(void)
  18 {
  19   xbt_os_mutex_destroy(sync_req_vector);
  20   xbt_dynar_free(&req_vector);
  21 }
  22
  23 void SIMIX_request_push(smx_req_t req)
  24 {
  25   req->issuer = SIMIX_process_self();
  26   if (req->issuer != simix_global->maestro_process){
  27     xbt_os_mutex_acquire(sync_req_vector);
  28     xbt_dynar_set_as(req_vector, req->issuer->pid, smx_req_t, req);
  29     xbt_os_mutex_release(sync_req_vector);
  30     req->issuer->request = req;
  31     DEBUG2("Yield process '%s' on request of type %d", req->issuer->name, req->call);
  32     SIMIX_process_yield();
  33   } else {
  34     SIMIX_request_pre(req);
  35   }
  36 }
  37
  38 smx_req_t SIMIX_request_pop(void)
  39 {
  40   smx_req_t request = NULL;
  41   xbt_os_mutex_acquire(sync_req_vector);
  42   while (xbt_dynar_length(req_vector)){
  43     request = xbt_dynar_pop_as(req_vector, smx_req_t);
  44     if (request)
  45       break;
  46   }
  47   xbt_os_mutex_release(sync_req_vector);
  48   return request;
  49 }
  50
  51 void SIMIX_request_answer(smx_req_t req)
  52 {
  53   if (req->issuer != simix_global->maestro_process){
  54     req->issuer->request = NULL;
  55     xbt_swag_insert(req->issuer, simix_global->process_to_run);
  56   }
  57 }
  58
  59 int SIMIX_request_is_visible(smx_req_t req)
  60 {
  61   return req->call == REQ_COMM_ISEND
  62      || req->call == REQ_COMM_IRECV
  63      || req->call == REQ_COMM_WAIT
  64      || req->call == REQ_COMM_WAITANY
  65      || req->call == REQ_COMM_TEST;
  66 }
  67
  68 int SIMIX_request_is_enabled(smx_req_t req)
  69 {
  70   unsigned int index = 0;
  71   smx_action_t act;
  72
  73   switch (req->call) {
  74
  75     case REQ_COMM_WAIT:
  76       /* FIXME: check also that src and dst processes are not suspended */
  77       if (req->comm_wait.comm->comm.src_proc
  78          && req->comm_wait.comm->comm.dst_proc)
  79         return TRUE;
  80       return FALSE;
  81       break;
  82
  83     case REQ_COMM_WAITANY:
  84       xbt_dynar_foreach(req->comm_waitany.comms, index, act) {
  85         if (act->comm.src_proc && act->comm.dst_proc){
  86           return TRUE;
  87         }
  88       }
  89       return FALSE;
  90       break;
  91
  92     default:
  93       return TRUE;
  94   }
  95 }
  96
  97
  98 void SIMIX_request_pre(smx_req_t req)
  99 {
 100   switch (req->call) {
 101
 102     case REQ_HOST_GET_BY_NAME:
 103       req->host_get_by_name.result =
 104         SIMIX_host_get_by_name(req->host_get_by_name.name);
 105       SIMIX_request_answer(req);
 106       break;
 107
 108     case REQ_HOST_GET_NAME:
 109       req->host_get_name.result =       SIMIX_host_get_name(req->host_get_name.host);
 110       SIMIX_request_answer(req);
 111       break;
 112
 113     case REQ_HOST_GET_PROPERTIES:
 114       req->host_get_properties.result =
 115         SIMIX_host_get_properties(req->host_get_properties.host);
 116       SIMIX_request_answer(req);
 117       break;
 118
 119     case REQ_HOST_GET_SPEED:
 120       req->host_get_speed.result =
 121         SIMIX_host_get_speed(req->host_get_speed.host);
 122       SIMIX_request_answer(req);
 123       break;
 124
 125     case REQ_HOST_GET_AVAILABLE_SPEED:
 126       req->host_get_available_speed.result =
 127         SIMIX_host_get_available_speed(req->host_get_available_speed.host);
 128       SIMIX_request_answer(req);
 129       break;
 130
 131     case REQ_HOST_GET_STATE:
 132       req->host_get_state.result =
 133         SIMIX_host_get_state(req->host_get_state.host);
 134       SIMIX_request_answer(req);
 135       break;
 136
 137     case REQ_HOST_GET_DATA:
 138       req->host_get_data.result =       SIMIX_host_get_data(req->host_get_data.host);
 139       SIMIX_request_answer(req);
 140       break;
 141
 142     case REQ_HOST_SET_DATA:
 143       SIMIX_host_set_data(req->host_set_data.host, req->host_set_data.data);
 144       SIMIX_request_answer(req);
 145       break;
 146
 147     case REQ_HOST_EXECUTE:
 148       req->host_execute.result = SIMIX_host_execute(
 149           req->host_execute.name,
 150           req->host_execute.host,
 151           req->host_execute.computation_amount);
 152       SIMIX_request_answer(req);
 153       break;
 154
 155     case REQ_HOST_PARALLEL_EXECUTE:
 156       req->host_parallel_execute.result = SIMIX_host_parallel_execute(
 157           req->host_parallel_execute.name,
 158           req->host_parallel_execute.host_nb,
 159           req->host_parallel_execute.host_list,
 160           req->host_parallel_execute.computation_amount,
 161           req->host_parallel_execute.communication_amount,
 162           req->host_parallel_execute.amount,
 163           req->host_parallel_execute.rate);
 164       SIMIX_request_answer(req);
 165       break;
 166
 167     case REQ_HOST_EXECUTION_DESTROY:
 168       SIMIX_host_execution_destroy(req->host_execution_destroy.execution);
 169       SIMIX_request_answer(req);
 170       break;
 171
 172     case REQ_HOST_EXECUTION_CANCEL:
 173       SIMIX_host_execution_cancel(req->host_execution_cancel.execution);
 174       SIMIX_request_answer(req);
 175       break;
 176
 177     case REQ_HOST_EXECUTION_GET_REMAINS:
 178       req->host_execution_get_remains.result =
 179         SIMIX_host_execution_get_remains(req->host_execution_get_remains.execution);
 180       SIMIX_request_answer(req);
 181       break;
 182
 183     case REQ_HOST_EXECUTION_GET_STATE:
 184       req->host_execution_get_state.result =
 185         SIMIX_host_execution_get_state(req->host_execution_get_state.execution);
 186       SIMIX_request_answer(req);
 187       break;
 188
 189     case REQ_HOST_EXECUTION_SET_PRIORITY:
 190       SIMIX_host_execution_set_priority(
 191           req->host_execution_set_priority.execution,
 192           req->host_execution_set_priority.priority);
 193       SIMIX_request_answer(req);
 194       break;
 195
 196 #ifdef HAVE_TRACING
 197     case REQ_HOST_EXECUTION_SET_CATEGORY:
 198       SIMIX_host_execution_set_category(
 199           req->host_execution_set_category.execution,
 200           req->host_execution_set_category.category);
 201       SIMIX_request_answer(req);
 202       break;
 203 #endif
 204
 205     case REQ_HOST_EXECUTION_WAIT:
 206       SIMIX_pre_host_execution_wait(req);
 207       break;
 208
 209     case REQ_PROCESS_CREATE:
 210       req->process_create.result = SIMIX_process_create(
 211           req->process_create.name,
 212           req->process_create.code,
 213           req->process_create.data,
 214           req->process_create.hostname,
 215           req->process_create.argc,
 216           req->process_create.argv,
 217           req->process_create.properties);
 218       SIMIX_request_answer(req);
 219       break;
 220
 221     case REQ_PROCESS_KILL:
 222       SIMIX_process_kill(req->process_kill.process, req->issuer);
 223       SIMIX_request_answer(req);
 224       break;
 225
 226     case REQ_PROCESS_CHANGE_HOST:
 227       SIMIX_process_change_host(
 228           req->process_change_host.process,
 229           req->process_change_host.source,
 230           req->process_change_host.dest);
 231       SIMIX_request_answer(req);
 232       break;
 233
 234     case REQ_PROCESS_SUSPEND:
 235       SIMIX_pre_process_suspend(req);
 236       break;
 237
 238     case REQ_PROCESS_RESUME:
 239       SIMIX_process_resume(req->process_resume.process, req->issuer);
 240       SIMIX_request_answer(req);
 241       break;
 242
 243     case REQ_PROCESS_COUNT:
 244       req->process_count.result = SIMIX_process_count();
 245       SIMIX_request_answer(req);
 246       break;
 247
 248     case REQ_PROCESS_GET_DATA:
 249       req->process_get_data.result =
 250         SIMIX_process_get_data(req->process_get_data.process);
 251       SIMIX_request_answer(req);
 252       break;
 253
 254     case REQ_PROCESS_SET_DATA:
 255       SIMIX_process_set_data(
 256           req->process_set_data.process,
 257           req->process_set_data.data);
 258       SIMIX_request_answer(req);
 259       break;
 260
 261     case REQ_PROCESS_GET_HOST:
 262       req->process_get_host.result = SIMIX_process_get_host(req->process_get_host.process);
 263       SIMIX_request_answer(req);
 264       break;
 265
 266     case REQ_PROCESS_GET_NAME:
 267       req->process_get_name.result = SIMIX_process_get_name(req->process_get_name.process);
 268       SIMIX_request_answer(req);
 269       break;
 270
 271     case REQ_PROCESS_IS_SUSPENDED:
 272       req->process_is_suspended.result =
 273         SIMIX_process_is_suspended(req->process_is_suspended.process);
 274       SIMIX_request_answer(req);
 275       break;
 276
 277     case REQ_PROCESS_GET_PROPERTIES:
 278       req->process_get_properties.result =
 279         SIMIX_process_get_properties(req->process_get_properties.process);
 280       SIMIX_request_answer(req);
 281       break;
 282
 283     case REQ_PROCESS_SLEEP:
 284       SIMIX_pre_process_sleep(req);
 285       break;
 286
 287     case REQ_RDV_CREATE:
 288       req->rdv_create.result = SIMIX_rdv_create(req->rdv_create.name);
 289       SIMIX_request_answer(req);
 290       break;
 291
 292     case REQ_RDV_DESTROY:
 293       SIMIX_rdv_destroy(req->rdv_destroy.rdv);
 294       SIMIX_request_answer(req);
 295       break;
 296
 297     case REQ_RDV_GEY_BY_NAME:
 298       req->rdv_get_by_name.result =
 299         SIMIX_rdv_get_by_name(req->rdv_get_by_name.name);
 300       SIMIX_request_answer(req);
 301       break;
 302
 303     case REQ_RDV_COMM_COUNT_BY_HOST:
 304       req->rdv_comm_count_by_host.result = SIMIX_rdv_comm_count_by_host(
 305           req->rdv_comm_count_by_host.rdv,
 306           req->rdv_comm_count_by_host.host);
 307       SIMIX_request_answer(req);
 308       break;
 309
 310     case REQ_RDV_GET_HEAD:
 311       req->rdv_get_head.result =        SIMIX_rdv_get_head(req->rdv_get_head.rdv);
 312       SIMIX_request_answer(req);
 313       break;
 314
 315     case REQ_COMM_ISEND:
 316       req->comm_isend.result = SIMIX_comm_isend(
 317           req->issuer,
 318           req->comm_isend.rdv,
 319           req->comm_isend.task_size,
 320           req->comm_isend.rate,
 321           req->comm_isend.src_buff,
 322           req->comm_isend.src_buff_size,
 323           req->comm_isend.data);
 324       SIMIX_request_answer(req);
 325       break;
 326
 327     case REQ_COMM_IRECV:
 328       req->comm_irecv.result = SIMIX_comm_irecv(
 329           req->issuer,
 330           req->comm_irecv.rdv,
 331           req->comm_irecv.dst_buff,
 332           req->comm_irecv.dst_buff_size);
 333       SIMIX_request_answer(req);
 334       break;
 335
 336     case REQ_COMM_DESTROY:
 337       SIMIX_comm_destroy(req->comm_destroy.comm);
 338       SIMIX_request_answer(req);
 339       break;
 340
 341     case REQ_COMM_CANCEL:
 342       SIMIX_comm_cancel(req->comm_cancel.comm);
 343       SIMIX_request_answer(req);
 344       break;
 345
 346     case REQ_COMM_WAITANY:
 347       SIMIX_pre_comm_waitany(req);
 348       break;
 349
 350     case REQ_COMM_WAIT:
 351       SIMIX_pre_comm_wait(req);
 352       break;
 353
 354     case REQ_COMM_TEST:
 355       SIMIX_pre_comm_test(req);
 356       break;
 357
 358     case REQ_COMM_GET_REMAINS:
 359       req->comm_get_remains.result =
 360         SIMIX_comm_get_remains(req->comm_get_remains.comm);
 361       SIMIX_request_answer(req);
 362       break;
 363
 364     case REQ_COMM_GET_STATE:
 365       req->comm_get_state.result =
 366         SIMIX_comm_get_state(req->comm_get_state.comm);
 367       SIMIX_request_answer(req);
 368       break;
 369
 370     case REQ_COMM_GET_DATA:
 371       req->comm_get_data.result = SIMIX_comm_get_data(req->comm_get_data.comm);
 372       SIMIX_request_answer(req);
 373       break;
 374
 375     case REQ_COMM_GET_SRC_BUFF:
 376       req->comm_get_src_buff.result =
 377         SIMIX_comm_get_src_buff(req->comm_get_src_buff.comm);
 378       SIMIX_request_answer(req);
 379       break;
 380
 381     case REQ_COMM_GET_DST_BUFF:
 382       req->comm_get_dst_buff.result =
 383         SIMIX_comm_get_dst_buff(req->comm_get_dst_buff.comm);
 384       SIMIX_request_answer(req);
 385       break;
 386
 387     case REQ_COMM_GET_SRC_BUFF_SIZE:
 388       req->comm_get_src_buff_size.result =
 389         SIMIX_comm_get_src_buff_size(req->comm_get_src_buff_size.comm);
 390       SIMIX_request_answer(req);
 391       break;
 392
 393     case REQ_COMM_GET_DST_BUFF_SIZE:
 394       req->comm_get_dst_buff_size.result =
 395         SIMIX_comm_get_dst_buff_size(req->comm_get_dst_buff_size.comm);
 396       SIMIX_request_answer(req);
 397       break;
 398
 399     case REQ_COMM_GET_SRC_PROC:
 400       req->comm_get_src_proc.result =
 401         SIMIX_comm_get_src_proc(req->comm_get_src_proc.comm);
 402       SIMIX_request_answer(req);
 403       break;
 404
 405     case REQ_COMM_GET_DST_PROC:
 406       req->comm_get_dst_proc.result =
 407         SIMIX_comm_get_dst_proc(req->comm_get_dst_proc.comm);
 408       SIMIX_request_answer(req);
 409       break;
 410
 411 #ifdef HAVE_LATENCY_BOUND_TRACKING
 412     case REQ_COMM_IS_LATENCY_BOUNDED:
 413       req->comm_is_latency_bounded.result =
 414         SIMIX_comm_is_latency_bounded(req->comm_is_latency_bounded.comm);
 415       SIMIX_request_answer(req);
 416       break;
 417 #endif
 418
 419     case REQ_MUTEX_INIT:
 420       req->mutex_init.result = SIMIX_mutex_init();
 421       SIMIX_request_answer(req);
 422       break;
 423
 424     case REQ_MUTEX_DESTROY:
 425       SIMIX_mutex_destroy(req->mutex_destroy.mutex);
 426       SIMIX_request_answer(req);
 427       break;
 428
 429     case REQ_MUTEX_LOCK:
 430       SIMIX_pre_mutex_lock(req);
 431       break;
 432
 433     case REQ_MUTEX_TRYLOCK:
 434       req->mutex_trylock.result =
 435               SIMIX_mutex_trylock(req->mutex_trylock.mutex, req->issuer);
 436       SIMIX_request_answer(req);
 437       break;
 438
 439     case REQ_MUTEX_UNLOCK:
 440       SIMIX_mutex_unlock(req->mutex_unlock.mutex, req->issuer);
 441       SIMIX_request_answer(req);
 442       break;
 443
 444     case REQ_COND_INIT:
 445       req->cond_init.result = SIMIX_cond_init();
 446       SIMIX_request_answer(req);
 447       break;
 448
 449     case REQ_COND_DESTROY:
 450       SIMIX_cond_destroy(req->cond_destroy.cond);
 451       SIMIX_request_answer(req);
 452       break;
 453
 454     case REQ_COND_SIGNAL:
 455       SIMIX_cond_signal(req->cond_signal.cond);
 456       SIMIX_request_answer(req);
 457       break;
 458
 459     case REQ_COND_WAIT:
 460       SIMIX_pre_cond_wait(req);
 461       break;
 462
 463     case REQ_COND_WAIT_TIMEOUT:
 464       SIMIX_pre_cond_wait_timeout(req);
 465       break;
 466
 467     case REQ_COND_BROADCAST:
 468       SIMIX_cond_broadcast(req->cond_broadcast.cond);
 469       SIMIX_request_answer(req);
 470       break;
 471
 472     case REQ_SEM_INIT:
 473       req->sem_init.result = SIMIX_sem_init(req->sem_init.capacity);
 474       SIMIX_request_answer(req);
 475       break;
 476
 477     case REQ_SEM_DESTROY:
 478       SIMIX_sem_destroy(req->sem_destroy.sem);
 479       SIMIX_request_answer(req);
 480       break;
 481
 482     case REQ_SEM_RELEASE:
 483       SIMIX_sem_release(req->sem_release.sem);
 484       SIMIX_request_answer(req);
 485       break;
 486
 487     case REQ_SEM_WOULD_BLOCK:
 488       req->sem_would_block.result =
 489         SIMIX_sem_would_block(req->sem_would_block.sem);
 490       SIMIX_request_answer(req);
 491       break;
 492
 493     case REQ_SEM_ACQUIRE:
 494       SIMIX_pre_sem_acquire(req);
 495       break;
 496
 497     case REQ_SEM_ACQUIRE_TIMEOUT:
 498       SIMIX_pre_sem_acquire_timeout(req);
 499       break;
 500
 501     case REQ_SEM_GET_CAPACITY:
 502       req->sem_get_capacity.result =
 503         SIMIX_sem_get_capacity(req->sem_get_capacity.sem);
 504       SIMIX_request_answer(req);
 505       break;
 506   }
 507 }
 508
 509 void SIMIX_request_post(smx_action_t action)
 510 {
 511   switch (action->type) {
 512
 513     case SIMIX_ACTION_EXECUTE:
 514     case SIMIX_ACTION_PARALLEL_EXECUTE:
 515       SIMIX_post_host_execute(action);
 516       break;
 517
 518     case SIMIX_ACTION_COMMUNICATE:
 519       SIMIX_post_comm(action);
 520       break;
 521
 522     case SIMIX_ACTION_SLEEP:
 523       SIMIX_post_process_sleep(action);
 524       break;
 525
 526     case SIMIX_ACTION_SYNCHRO:
 527       SIMIX_post_synchro(action);
 528       break;
 529
 530     case SIMIX_ACTION_IO:
 531       break;
 532   }
 533 }