Line data    Source code

       1             : #include "fd_util.h"
       2             : 
       3             : void
       4             : fd_boot( int *    pargc,
       5        1152 :          char *** pargv ) {
       6             :   /* At this point, we are immediately after the program start, there is
       7             :      only one thread of execution and fd has not yet been booted. */
       8        1152 :   fd_log_private_boot  ( pargc, pargv );
       9        1152 :   fd_shmem_private_boot( pargc, pargv );
      10        1152 :   fd_tile_private_boot ( pargc, pargv ); /* The caller is now tile 0 */
      11        1152 : }
      12             : 
      13             : void
      14        1140 : fd_halt( void ) {
      15             :   /* At this point, we are immediately before normal program
      16             :      termination, and fd has already been booted. */
      17        1140 :   fd_tile_private_halt ();
      18        1140 :   fd_shmem_private_halt();
      19        1140 :   fd_log_private_halt  ();
      20        1140 : }
      21             : 
      22             : #if FD_HAS_HOSTED
      23             : 
      24             : #include <sched.h>
      25             : 
      26    22083593 : void fd_yield( void ) { sched_yield(); }
      27             : 
      28             : #endif
      29             :