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