+
+void xbt_os_walltimer_resume(xbt_os_timer_t timer)
+{
+#if HAVE_POSIX_GETTIME && defined (_POSIX_THREAD_CPUTIME)
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+
+ timer->elapse.tv_nsec += timer->stop.tv_nsec - timer->start.tv_nsec;
+ clock_gettime(CLOCK_REALTIME, &(timer->start));
+#elif HAVE_GETTIMEOFDAY
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+ timer->elapse.tv_usec += timer->stop.tv_usec - timer->start.tv_usec;
+ gettimeofday(&(timer->start), NULL);
+#elif defined(_WIN32)
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+ timer->elapse.tv_usec += timer->stop.tv_usec - timer->start.tv_usec;
+ FILETIME ft;
+ GetSystemTimeAsFileTime(&ft);
+ w32_time_to_timeval(&timer->start, &ft);
+#else
+ timer->elapse = timer->stop - timer->start;
+ timer->start = (unsigned long int) (time(NULL));
+#endif
+}
+
+void xbt_os_walltimer_stop(xbt_os_timer_t timer)
+{
+#if HAVE_POSIX_GETTIME && defined (_POSIX_THREAD_CPUTIME)
+ clock_gettime(CLOCK_REALTIME, &(timer->stop));
+#elif HAVE_GETTIMEOFDAY
+ gettimeofday(&(timer->stop), NULL);
+#elif defined(_WIN32)
+ FILETIME ft;
+ GetSystemTimeAsFileTime(&ft);
+ w32_time_to_timeval(&timer->stop, &ft);
+#else
+ timer->stop = (unsigned long int) (time(NULL));
+#endif
+}
+
+void xbt_os_cputimer_start(xbt_os_timer_t timer)
+{
+#if HAVE_POSIX_GETTIME && defined (_POSIX_THREAD_CPUTIME)
+ timer->elapse.tv_sec = 0;
+ timer->elapse.tv_nsec = 0;
+ clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->start));
+#elif HAVE_GETTIMEOFDAY //return time and not cputime in this case
+ timer->elapse.tv_sec = 0;
+ timer->elapse.tv_usec = 0;
+ gettimeofday(&(timer->start), NULL);
+#elif defined(_WIN32)
+ timer->elapse.tv_sec = 0;
+ timer->elapse.tv_usec = 0;
+ HANDLE h = GetCurrentProcess();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetProcessTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ w32_times_to_timeval(&timer->start, &kernelTime, &userTime);
+#else
+# error The cpu timers of SimGrid do not seem to work on your platform.
+#endif
+}
+
+void xbt_os_cputimer_resume(xbt_os_timer_t timer)
+{
+#if HAVE_POSIX_GETTIME && defined (_POSIX_THREAD_CPUTIME)
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+ timer->elapse.tv_nsec += timer->stop.tv_nsec - timer->start.tv_nsec;
+ clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->start));
+#elif HAVE_GETTIMEOFDAY
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+ timer->elapse.tv_usec += timer->stop.tv_usec - timer->start.tv_usec;
+ gettimeofday(&(timer->start), NULL);
+#elif defined(_WIN32)
+ timer->elapse.tv_sec += timer->stop.tv_sec - timer->start.tv_sec;
+ timer->elapse.tv_usec += timer->stop.tv_usec - timer->start.tv_usec;
+ HANDLE h = GetCurrentProcess();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetProcessTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ w32_times_to_timeval(&timer->start, &kernelTime, &userTime);
+#else
+# error The cpu timers of SimGrid do not seem to work on your platform.
+#endif
+}
+
+void xbt_os_cputimer_stop(xbt_os_timer_t timer)
+{
+#if HAVE_POSIX_GETTIME && defined (_POSIX_THREAD_CPUTIME)
+ clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->stop));
+#elif HAVE_GETTIMEOFDAY