+ timer->stop = (unsigned long int) (time(NULL));
+#endif
+}
+
+void xbt_os_cputimer_start(xbt_os_timer_t timer)
+{
+#ifdef HAVE_POSIX_GETTIME
+ timer->elapse.tv_sec = 0;
+ timer->elapse.tv_nsec = 0;
+ clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->start));
+#elif defined(_XBT_WIN32)
+ timer->elapse.tv_sec = 0;
+ timer->elapse.tv_usec = 0;
+# if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+ THROW_UNIMPLEMENTED;
+# else
+ HANDLE h = GetCurrentProcess();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetProcessTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ unsigned __int64 ktm, utm;
+ ktm = (unsigned __int64) kernelTime.dwHighDateTime << 32;
+ ktm |= kernelTime.dwLowDateTime;
+ ktm /= 10;
+ utm = (unsigned __int64) userTime.dwHighDateTime << 32;
+ utm |= userTime.dwLowDateTime;
+ utm /= 10;
+ timer->start.tv_sec = (long) (ktm / 1000000L) + (long) (utm / 1000000L);
+ timer->start.tv_usec = (long) (ktm % 1000000L) + (long) (utm % 1000000L);
+# endif /* windows version checker */
+#endif
+}
+
+void xbt_os_cputimer_resume(xbt_os_timer_t timer)
+{
+#ifdef HAVE_POSIX_GETTIME
+ 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 defined(_XBT_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;
+# if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+ THROW_UNIMPLEMENTED;
+# else
+ HANDLE h = GetCurrentProcess();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetProcessTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ unsigned __int64 ktm, utm;
+ ktm = (unsigned __int64) kernelTime.dwHighDateTime << 32;
+ ktm |= kernelTime.dwLowDateTime;
+ ktm /= 10;
+ utm = (unsigned __int64) userTime.dwHighDateTime << 32;
+ utm |= userTime.dwLowDateTime;
+ utm /= 10;
+ timer->start.tv_sec = (long) (ktm / 1000000L) + (long) (utm / 1000000L);
+ timer->start.tv_usec = (long) (ktm % 1000000L) + (long) (utm % 1000000L);
+# endif /* windows version checker */
+
+#endif
+}
+
+void xbt_os_cputimer_stop(xbt_os_timer_t timer)
+{
+#ifdef HAVE_POSIX_GETTIME
+ clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &(timer->stop));
+#elif defined(_XBT_WIN32)
+# if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+ THROW_UNIMPLEMENTED;
+# else
+ HANDLE h = GetCurrentProcess();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetProcessTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ unsigned __int64 ktm, utm;
+ ktm = (unsigned __int64) kernelTime.dwHighDateTime << 32;
+ ktm |= kernelTime.dwLowDateTime;
+ ktm /= 10;
+ utm = (unsigned __int64) userTime.dwHighDateTime << 32;
+ utm |= userTime.dwLowDateTime;
+ utm /= 10;
+ timer->stop.tv_sec = (long) (ktm / 1000000L) + (long) (utm / 1000000L);
+ timer->stop.tv_usec = (long) (ktm % 1000000L) + (long) (utm % 1000000L);
+# endif /* windows version checker */
+#endif
+}
+
+void xbt_os_threadtimer_start(xbt_os_timer_t timer)
+{
+#ifdef HAVE_POSIX_GETTIME
+ timer->elapse.tv_sec = 0;
+ timer->elapse.tv_nsec = 0;
+ clock_gettime(CLOCK_THREAD_CPUTIME_ID, &(timer->start));
+#elif defined(_XBT_WIN32)
+ struct timeval tv;
+# if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+ THROW_UNIMPLEMENTED;
+# else
+ HANDLE h = GetCurrentThread();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetThreadTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ unsigned __int64 ktm, utm;
+ ktm = (unsigned __int64) kernelTime.dwHighDateTime << 32;
+ ktm |= kernelTime.dwLowDateTime;
+ ktm /= 10;
+ utm = (unsigned __int64) userTime.dwHighDateTime << 32;
+ utm |= userTime.dwLowDateTime;
+ utm /= 10;
+ timer->start.tv_sec = (long) (ktm / 1000000L) + (long) (utm / 1000000L);
+ timer->start.tv_usec = (long) (ktm % 1000000L) + (long) (utm % 1000000L);
+# endif /* windows version checker */
+#endif
+}
+
+void xbt_os_threadtimer_resume(xbt_os_timer_t timer)
+{
+#ifdef HAVE_POSIX_GETTIME
+ 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_THREAD_CPUTIME_ID, &(timer->start));
+#elif defined(_XBT_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;
+# if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+ THROW_UNIMPLEMENTED;
+# else
+ HANDLE h = GetCurrentThread();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetThreadTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ unsigned __int64 ktm, utm;
+ ktm = (unsigned __int64) kernelTime.dwHighDateTime << 32;
+ ktm |= kernelTime.dwLowDateTime;
+ ktm /= 10;
+ utm = (unsigned __int64) userTime.dwHighDateTime << 32;
+ utm |= userTime.dwLowDateTime;
+ utm /= 10;
+ timer->start.tv_sec = (long) (ktm / 1000000L) + (long) (utm / 1000000L);
+ timer->start.tv_usec = (long) (ktm % 1000000L) + (long) (utm % 1000000L);
+# endif /* windows version checker */
+#endif
+}
+
+void xbt_os_threadtimer_stop(xbt_os_timer_t timer)
+{
+#ifdef HAVE_POSIX_GETTIME
+ clock_gettime(CLOCK_THREAD_CPUTIME_ID, &(timer->stop));
+#elif defined(_XBT_WIN32)
+# if defined(WIN32_WCE) || (_WIN32_WINNT < 0x0400)
+ THROW_UNIMPLEMENTED;
+# else
+ HANDLE h = GetCurrentThread();
+ FILETIME creationTime, exitTime, kernelTime, userTime;
+ GetThreadTimes(h, &creationTime, &exitTime, &kernelTime, &userTime);
+ unsigned __int64 ktm, utm;
+ ktm = (unsigned __int64) kernelTime.dwHighDateTime << 32;
+ ktm |= kernelTime.dwLowDateTime;
+ ktm /= 10;
+ utm = (unsigned __int64) userTime.dwHighDateTime << 32;
+ utm |= userTime.dwLowDateTime;
+ utm /= 10;
+ timer->stop.tv_sec = (long) (ktm / 1000000L) + (long) (utm / 1000000L);
+ timer->stop.tv_usec = (long) (ktm % 1000000L) + (long) (utm % 1000000L);
+# endif /* windows version checker */