24

Here's a little test I've written to verify that time does indeed only run forwards in Linux.

#include <time.h>
#include <sys/time.h>  

bool timeGoesForwardTest2()
{
   timeval tv1, tv2;   
   double startTime = getTimeSeconds();  // my function

   while ( getTimeSeconds() - startTime < 5 )
   {
      gettimeofday( &tv1, NULL );  
      gettimeofday( &tv2, NULL );  

      if ( tv2.tv_usec == tv1.tv_usec &&
           tv2.tv_sec == tv1.tv_sec )
      {
         continue;  // Equal times are allowed.
      }

      // tv2 should be greater than tv1
      if ( !( tv2.tv_usec>tv1.tv_usec ||
              tv2.tv_sec-1 == tv1.tv_sec ) )
      {
         printf( "tv1: %d %d\n", int( tv1.tv_sec ), int( tv1.tv_usec ) );
         printf( "tv2: %d %d\n", int( tv2.tv_sec ), int( tv2.tv_usec ) );
         return false;
      }         
   }
   return true;
}

Test fails with the result.

 tv1: 1296011067 632550
 tv2: 1296011067 632549

ummm....

Why does this happen?

Here's my setup:

Linux version 2.6.35-22-generic (buildd@rothera) (gcc version 4.4.5 (Ubuntu/Linaro 4.4.4-14ubuntu4) ) #33-Ubuntu SMP Sun Sep 19 20:34:50 UTC 2010 (Ubuntu 2.6.35-22.33-generic 2.6.35.4)
... running inside VirtualBox 3.2.12, in Windows 7.
user48956
  • 14,850
  • 19
  • 93
  • 154

5 Answers5

30

gettimeofday() is not guaranteed to be monotonic. Use clock_gettime(CLOCK_MONOTONIC) if you need that guarantee.

ephemient
  • 198,619
  • 38
  • 280
  • 391
  • This is true, but the bugtracker link posted by @vz0 says that the same issue occurs under VirtualBox with `CLOCK_MONOTONIC`, so there is also a bug here. – caf Jan 26 '11 at 09:10
17

There is an open issue at the VirtualBox Bug Tracker. They link to a blog post stating why you shouldn't use gettimeofday() to measure the passage of time:

The most portable way to measure time correctly seems to be clock_gettime(CLOCK_MONOTONIC, ...)

vz0
  • 32,345
  • 7
  • 44
  • 77
  • 1
    The bugtracker link also points out that `CLOCK_MONOTONIC` exhibits the same problem - as does FreeBSD running under VirtualBox. It appears to be a VirtualBox bug. – caf Jan 26 '11 at 09:09
  • Time on VMs seems to be pretty fruity anyway. My VMWare install at work suddenly decided it was going to tick time at 1/2 the correct rate. – Paul Nathan Jan 26 '11 at 15:37
  • This seems to be right. gettimeofday is problematic for me on native and virtual machines. clock_gettime however also seems to fail for VirtualBox. Bug is in VirtualBox. – user48956 Jan 26 '11 at 19:25
  • It's a Linux kernel bug. **None** of the linux kernel timers seem to work right in a VM, because of the enormous effort they go to to avoid using the BIOS calls for the current time, which the VM answers to. – Ben Apr 15 '11 at 16:10
10

Machine timers on most machines only have about 15 usec precision (even to native code). Time going 'backward' is odd, but you really can't rely on that level (1 usec) anyway. (Also note: there is a difference between precision and accuracy; the accuracy of most timers is worse than its precision). The use of a virtual machine may aggravate this as well.

Update: Typo

phooji
  • 10,086
  • 2
  • 38
  • 45
  • Great point about precision versus accuracy. Case in point: RDTSC has extreme precision (sub-nanosecond on many modern machines) yet potentially much worse accuracy than any normal timekeeping functions. – ephemient Jan 26 '11 at 05:28
5

It's not that it's running backwards. It'd be better to say that it is not reporting the correct time. This is because computers, without the aid of a dedicated timing subsystem, simply are not capable of reporting time very accurately in single millisecond intervals.

The precision will vary with hardware, the OS and even the power supply. Here is an article for starters. A bit old but communicates the idea nicely.

Paul Sasik
  • 79,492
  • 20
  • 149
  • 189
  • This answer is nonsense. Any modern Unix-like system will give precision to 10 millisecond resolution or better, and nanosecond resolution is not uncommon. I hear Windows doesn't do a bad job either... – R.. GitHub STOP HELPING ICE Jan 26 '11 at 05:28
  • @R: I was thinking along the lines of old Windows interrupt timers when i quoted the original resolution. Updated my answer for modern times... – Paul Sasik Jan 26 '11 at 05:59
1

Time should not run backwards on real hardware; on a VM your mileage may vary.

In any case, your application should probably not assume that time doesn't run backwards by a very small amount (think, maybe 1 second).

Yes, clock_gettime is good but even that could run backwards in the case of faulty hardware (or a VM, as in your example).

I have seen a hardware bug make time run backwards (albeit very occasionally), it was a cause of some very peculiar problems.

In particular, anything which involves comparing file timestamps will go wrong when time goes backwards.

MarkR
  • 62,604
  • 14
  • 116
  • 151