new function (private to simix): SIMIX_process_get_maxpid

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9076 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/simix/private.h b/src/simix/private.h
index fda2af9..ff1d66f 100644 (file)
--- a/src/simix/private.h
+++ b/src/simix/private.h
@@ -255,4 +255,5 @@ static XBT_INLINE void* SIMIX_context_get_data(smx_context_t context)
   return (*(simix_global->context_factory->get_data))(context);
 }
 
+XBT_PUBLIC(int) SIMIX_process_get_maxpid(void);
 #endif

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index f22b2cc..6ac3a93 100644 (file)
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -342,6 +342,9 @@ void SIMIX_process_resume(smx_process_t process, smx_process_t issuer)
   }
 }
 
+int SIMIX_process_get_maxpid(void) {
+  return simix_process_count;
+}
 int SIMIX_process_count(void)
 {
   return xbt_swag_size(simix_global->process_list);