X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7eef625065d0b3af4a64b5665009491426db974f..a94c908b9acf9a86f175c7f1c29b2c52e72eb2d2:/src/xbt/xbt_os_time.c

diff --git a/src/xbt/xbt_os_time.c b/src/xbt/xbt_os_time.c
index 19624a5905..dc72c91b13 100644
--- a/src/xbt/xbt_os_time.c
+++ b/src/xbt/xbt_os_time.c
@@ -12,9 +12,9 @@
 #include "portable.h"
 #include <math.h>               /* floor */
 
-
 #ifdef _XBT_WIN32
 #include <sys/timeb.h>
+#include <windows.h>
 #endif
 
 double xbt_os_time(void)
@@ -44,28 +44,29 @@ double xbt_os_time(void)
 
   tv.tv_sec = (long) (tm / 1000000L);
   tv.tv_usec = (long) (tm % 1000000L);
-#  endif /* windows version checker */
+#  endif                        /* windows version checker */
 
-#else /* not windows, no gettimeofday => poor resolution */
+#else                           /* not windows, no gettimeofday => poor resolution */
   return (double) (time(NULL));
-#endif /* HAVE_GETTIMEOFDAY? */
+#endif                          /* HAVE_GETTIMEOFDAY? */
 
   return (double) (tv.tv_sec + tv.tv_usec / 1000000.0);
 }
 
 void xbt_os_sleep(double sec)
 {
-#ifdef HAVE_USLEEP
-  sleep(sec);
-  (void) usleep((sec - floor(sec)) * 1000000);
 
-#elif _XBT_WIN32
+#ifdef _XBT_WIN32
   Sleep((floor(sec) * 1000) + ((sec - floor(sec)) * 1000));
 
-#else /* don't have usleep. Use select to sleep less than one second */
+#elif HAVE_NANOSLEEP
+  struct timespec ts;
+  ts.tv_sec = sec;
+  ts.tv_nsec = (sec - floor(sec)) * 1e9;
+  nanosleep (&ts, NULL);
+#else                           /* don't have nanosleep. Use select to sleep less than one second */
   struct timeval timeout;
 
-
   timeout.tv_sec = (unsigned long) (sec);
   timeout.tv_usec = (sec - floor(sec)) * 1000000;
 
@@ -93,17 +94,20 @@ struct s_xbt_os_timer {
 #endif
 };
 
-xbt_os_timer_t xbt_os_timer_new(void) {
+xbt_os_timer_t xbt_os_timer_new(void)
+{
   return xbt_new0(struct s_xbt_os_timer, 1);
 }
 
-void xbt_os_timer_free(xbt_os_timer_t timer) {
+void xbt_os_timer_free(xbt_os_timer_t timer)
+{
   free(timer);
 }
 
-void xbt_os_timer_start(xbt_os_timer_t timer) {
+void xbt_os_timer_start(xbt_os_timer_t timer)
+{
 #ifdef HAVE_POSIX_GETTIME
-  clock_gettime(CLOCK_PROCESS_CPUTIME_ID,&(timer->start));
+  clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->start));
 #elif defined(HAVE_GETTIMEOFDAY)
   gettimeofday(&(timer->start), NULL);
 #else
@@ -111,9 +115,10 @@ void xbt_os_timer_start(xbt_os_timer_t timer) {
 #endif
 }
 
-void xbt_os_timer_stop(xbt_os_timer_t timer) {
+void xbt_os_timer_stop(xbt_os_timer_t timer)
+{
 #ifdef HAVE_POSIX_GETTIME
-  clock_gettime(CLOCK_PROCESS_CPUTIME_ID,&(timer->stop));
+  clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->stop));
 #elif defined(HAVE_GETTIMEOFDAY)
   gettimeofday(&(timer->stop), NULL);
 #else
@@ -129,8 +134,8 @@ double xbt_os_timer_elapsed(xbt_os_timer_t timer)
         ((double) timer->start.tv_nsec)) / 1e9);
 #elif defined(HAVE_GETTIMEOFDAY)
   return ((double) timer->stop.tv_sec) - ((double) timer->start.tv_sec) +
-    ((((double) timer->stop.tv_usec) -
-      ((double) timer->start.tv_usec)) / 1000000.0);
+      ((((double) timer->stop.tv_usec) -
+        ((double) timer->start.tv_usec)) / 1000000.0);
 #else
   return (double) timer->stop - (double) timer->start;
 #endif