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