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