Fixes bug #160 about STOP

Author: Alessandro Fanfarillo

src/mpi/mpi_caf.c

@@ -56,6 +56,7 @@ static void error_stop (int error) __attribute__ ((noreturn));
 static int caf_this_image;
 static int caf_num_images;
 static int caf_is_finalized;
+MPI_Request ibarrier_req;
 
 #if MPI_VERSION >= 3
   MPI_Info mpi_info_same_size;
@@ -408,6 +409,7 @@ PREFIX (finalize) (void)
 {
   *img_status = STAT_STOPPED_IMAGE; /* GFC_STAT_STOPPED_IMAGE = 6000 */
   MPI_Win_sync(*stat_tok);
+
   MPI_Barrier(CAF_COMM_WORLD);
 
   while (caf_static_list != NULL)
@@ -445,6 +447,7 @@ PREFIX (finalize) (void)
   pthread_mutex_lock(&lock_am);
   caf_is_finalized = 1;
   pthread_mutex_unlock(&lock_am);
+  exit(0);
 }
 
 
@@ -2482,6 +2485,25 @@ error_stop (int error)
   exit (error);
 }
 
+/* STOP function for integer arguments.  */
+void
+PREFIX (stop_numeric) (int32_t stop_code)
+{
+  fprintf (stderr, "STOP %d\n", stop_code);
+  PREFIX (finalize) ();
+}
+
+/* STOP function for string arguments.  */
+void
+PREFIX (stop_str) (const char *string, int32_t len)
+{
+  fputs ("STOP ", stderr);
+  while (len--)
+    fputc (*(string++), stderr);
+  fputs ("\n", stderr);
+
+  PREFIX (finalize) ();
+}
 
 /* ERROR STOP function for string arguments.  */