3 /* gras/virtu.h - public interface to virtualization (cross-OS portability) */
5 /* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved. */
7 /* This program is free software; you can redistribute it and/or modify it
8 * under the terms of the license (GNU LGPL) which comes with this package. */
13 #include "xbt/misc.h" /* BEGIN_DECL */
17 /** @addtogroup GRAS_virtu
18 * @brief System call abstraction layer (Virtualization).
22 /** @brief Get the current time
23 * @return number of second since the Epoch.
24 * (00:00:00 UTC, January 1, 1970 in Real Life, and begining of simulation in SG)
26 double gras_os_time(void);
28 /** @brief sleeps for the given amount of time.
29 * @param sec: number of seconds to sleep
31 void gras_os_sleep(double sec);
33 /** @brief get the fully-qualified name of the current host
35 * Returns the fully-qualified name of the host machine, or "localhost" if the name
36 * cannot be determined. Always returns the same value, so multiple calls
42 /** @brief get process identification
44 * Returns the process ID of the current process. (This is often used
45 by routines that generate unique temporary file names.)
47 int gras_os_getpid(void);
52 #endif /* GRAS_VIRTU_H */