@@ -423,9 +423,8 @@ SyncManager::handleInteractiveConsole()
423423 for ( uint32_t tindex = 0 ; tindex < num_ranks_.thread ; tindex++ ) {
424424 if ( rank_.thread == tindex ) {
425425 if ( rank_.thread == 0 ) std::cout << " \n INTERACTIVE CONSOLE\n " ;
426- std::cout << " Rank:" << rank_.rank << " /" << num_ranks_.rank
427- << " Thread:" << rank_.thread << " /"
428- << num_ranks_.thread ;
426+ std::cout << " Rank:" << rank_.rank << " /" << num_ranks_.rank << " Thread:" << rank_.thread << " /"
427+ << num_ranks_.thread ;
429428 if ( sim_->enter_interactive_ ) {
430429 std::cout << " (Triggered)\n " ;
431430 }
@@ -441,17 +440,18 @@ SyncManager::handleInteractiveConsole()
441440 ic_barrier_.wait ();
442441 }
443442
444- // 3) T0: Invoke IC for T0 (or Query which thread to inspect?)
443+ // 3) T0: Invoke IC for T0 (or Query which thread to inspect?)
445444#if 1
446445 if ( rank_.thread == 0 ) {
447446 current_ic_thread_.store (0 );
448447 }
449448 ic_barrier_.wait (); // Ensure store is complete before everyone checks
450449#else
451- if (rank_.thread == 0) {
450+ if ( rank_.thread == 0 ) {
452451 current_ic_thread_ = num_ranks_.thread;
453- std::cout << "\n---- Enter thread ID (0 to " << num_ranks_.thread - 1 << ") to inspect in interactive console or "
454- << num_ranks_.thread << " to continue simulation\n";
452+ std::cout << "\n---- Enter thread ID (0 to " << num_ranks_.thread - 1
453+ << ") to inspect in interactive console or " << num_ranks_.thread
454+ << " to continue simulation\n";
455455 std::cin >> current_ic_thread_;
456456 std::cout << "skk: set tid to " << current_ic_thread_ << std::endl;
457457 }
@@ -479,11 +479,11 @@ SyncManager::handleInteractiveConsole()
479479 tid = current_ic_thread_.load ();
480480 ic_state = current_ic_state_.load ();
481481 // out.output("T%d: tid %d, ic_state %d\n", rank_.thread, tid, ic_state);
482- if ( ic_state == InteractiveConsole::ICretcode::SUMMARY ) { // Print thread info summary
482+ if ( ic_state == InteractiveConsole::ICretcode::SUMMARY ) { // Print thread info summary
483483 for ( uint32_t tindex = 0 ; tindex < num_ranks_.thread ; tindex++ ) {
484484 if ( rank_.thread == tindex ) {
485485 std::cout << " Rank:" << rank_.rank << " Thread:" << rank_.thread
486- << " (Process:" << getppid () << " ) " ;
486+ << " (Process:" << getppid () << " ) " ;
487487 // Print component summary
488488 if ( sim_->interactive_ != nullptr ) {
489489 sim_->interactive_ ->summary ();
@@ -506,7 +506,7 @@ SyncManager::handleInteractiveConsole()
506506 // sim_->enter_interactive_); out.output("skk:syncmgr:execute: T%d: AFter: enter_interactive_mask_=0x%x\n",
507507 // rank_.thread, ic_mask);
508508 }
509- } // end if num_ranks_.thread > 1: Handle interactive console
509+ } // end if num_ranks_.thread > 1: Handle interactive console
510510}
511511
512512void
@@ -622,8 +622,8 @@ SyncManager::execute()
622622 }
623623 next_checkpoint_time = checkpoint_->check (getDeliveryTime ());
624624
625- handleShutdown (); // Check if any thread set shutdown
626- handleInteractiveConsole (); // Check of any thread set interactive console
625+ handleShutdown (); // Check if any thread set shutdown
626+ handleInteractiveConsole (); // Check of any thread set interactive console
627627
628628 } // if num_ranks_.rank == 1 i.e. only multithreading
629629
0 commit comments