[MLton-devel] (no subject)

[Stephen Weeks]

> Here  is  a  C  program  which  will detect gettimeofday() going backwards or
> returning a microsecond value not in [0, 10^6).  I ran it for many minutes on
> my  machine  (Red  Hat 7.1, SMP, Intel 686) with no complaint.  Could you try
> running it under vmware? 

It fails instantly every time.  Here are some sample runs.

% ./die
Bad ordering: 1032453877 496270 => 1032453877 494154
% ./die
Bad ordering: 1032453907 778557 => 1032453907 774087
% ./die
Bad ordering: 1032453915 396250 => 1032453915 394042
% ./die
Bad ordering: 1032453917 504326 => 1032453917 504067

I guess this points to a vmware bug.

Anyways, I'd like to keep my fix in, since it doesn't hurt on machines
that work (except a little bit of performance), and can avoid
impossible seeming situations on broken machines like vmware.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel