diff options
author | Kevin Ryde <user42@zip.com.au> | 2004-05-17 00:27:35 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2004-05-17 00:27:35 +0200 |
commit | 448c964746b9d553c279971eba423564f5765ee4 (patch) | |
tree | b0cd2575dd8a17bfd0ad10c3a31f39a0b7f4a3f8 /tune/time.c | |
parent | ef054befc4e41a3da22cebb05d2652efa852d5f2 (diff) | |
download | gmp-448c964746b9d553c279971eba423564f5765ee4.tar.gz |
More of:
* tune/time.c (getrusage_backwards_p): New function.
Diffstat (limited to 'tune/time.c')
-rw-r--r-- | tune/time.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tune/time.c b/tune/time.c index 9b49f96e2..a512c0c50 100644 --- a/tune/time.c +++ b/tune/time.c @@ -679,11 +679,12 @@ getrusage_backwards_p (void) break; } - /* stop after 0.1 seconds and at least 1000 attempts */ + /* minimum 1000 attempts, then stop after either 0.1 seconds or 50000 + attempts, whichever comes first */ d = 1000000 * (next.ru_utime.tv_sec - start.ru_utime.tv_sec) + (next.ru_utime.tv_usec - start.ru_utime.tv_usec); i++; - if (d > 100000 && i > 1000) + if (i > 50000 || (i > 1000 && d > 100000)) break; } |