New function: gras_msg_wait_ext (for a finer control of accepted messages); introduce...

[simgrid.git] / include / gras / virtu.h

diff --git a/include/gras/virtu.h b/include/gras/virtu.h
index 51939be..1314148 100644 (file)
--- a/include/gras/virtu.h
+++ b/include/gras/virtu.h
@@ -10,12 +10,17 @@
 #ifndef GRAS_VIRTU_H
 #define GRAS_VIRTU_H
 
-#include "xbt/misc.h" /* BEGIN_DECL */
+#include "xbt/misc.h" /* SG_BEGIN_DECL */
 
-BEGIN_DECL()
+SG_BEGIN_DECL()
 
 /** @addtogroup GRAS_virtu  
  *  @brief System call abstraction layer (Virtualization).
+ *
+ * <center><table><tr><td><b>Top</b>    <td> [\ref index]::[\ref GRAS_API]
+ *                <tr><td><b>Prev</b>   <td> [\ref GRAS_timer]
+ *                <tr><td><b>Next</b>   <td> [\ref GRAS_globals]            </table></center>
+ *
  *  @{
  */
 
@@ -27,21 +32,27 @@ double gras_os_time(void);
 
 /** @brief sleeps for the given amount of time.
  *  @param sec: number of seconds to sleep
- *  @param usec: number of microseconds to sleep
  */
-void gras_os_sleep(unsigned long sec, unsigned long usec);
+void gras_os_sleep(double sec);
 
 /** @brief get the fully-qualified name of the current host
  *
- * Returns the fully-qualified name of the host machine, or NULL if the name
+ * Returns the fully-qualified name of the host machine, or "localhost" if the name
  * cannot be determined.  Always returns the same value, so multiple calls
  * cause no problems.
  */
 const char *
-gras_get_my_fqdn(void);
+gras_os_myname(void);
+
+/** @brief get process identification
+ *
+ * Returns the process ID of the current process.  (This is often used
+   by routines that generate unique temporary file names.)
+ */
+int gras_os_getpid(void);
 
 /** @} */
-END_DECL()
+SG_END_DECL()
 
 #endif /* GRAS_VIRTU_H */