HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | /* Copyright (C) 2012 Matthew Fluet. |
| 2 | * Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh | |
| 3 | * Jagannathan, and Stephen Weeks. | |
| 4 | * Copyright (C) 1997-2000 NEC Research Institute. | |
| 5 | * | |
| 6 | * MLton is released under a BSD-style license. | |
| 7 | * See the file MLton-LICENSE for details. | |
| 8 | */ | |
| 9 | ||
| 10 | void rusageZero (struct rusage *ru) { | |
| 11 | memset (ru, 0, sizeof (*ru)); | |
| 12 | } | |
| 13 | ||
| 14 | void rusagePlusMax (struct rusage *ru1, | |
| 15 | struct rusage *ru2, | |
| 16 | struct rusage *ru) { | |
| 17 | const int million = 1000000; | |
| 18 | time_t sec; | |
| 19 | suseconds_t usec; | |
| 20 | ||
| 21 | sec = ru1->ru_utime.tv_sec + ru2->ru_utime.tv_sec; | |
| 22 | usec = ru1->ru_utime.tv_usec + ru2->ru_utime.tv_usec; | |
| 23 | sec += (usec / million); | |
| 24 | usec %= million; | |
| 25 | ru->ru_utime.tv_sec = sec; | |
| 26 | ru->ru_utime.tv_usec = usec; | |
| 27 | ||
| 28 | sec = ru1->ru_stime.tv_sec + ru2->ru_stime.tv_sec; | |
| 29 | usec = ru1->ru_stime.tv_usec + ru2->ru_stime.tv_usec; | |
| 30 | sec += (usec / million); | |
| 31 | usec %= million; | |
| 32 | ru->ru_stime.tv_sec = sec; | |
| 33 | ru->ru_stime.tv_usec = usec; | |
| 34 | } | |
| 35 | ||
| 36 | void rusageMinusMax (struct rusage *ru1, | |
| 37 | struct rusage *ru2, | |
| 38 | struct rusage *ru) { | |
| 39 | const int million = 1000000; | |
| 40 | time_t sec; | |
| 41 | suseconds_t usec; | |
| 42 | ||
| 43 | sec = (ru1->ru_utime.tv_sec - ru2->ru_utime.tv_sec) - 1; | |
| 44 | usec = ru1->ru_utime.tv_usec + million - ru2->ru_utime.tv_usec; | |
| 45 | sec += (usec / million); | |
| 46 | usec %= million; | |
| 47 | ru->ru_utime.tv_sec = sec; | |
| 48 | ru->ru_utime.tv_usec = usec; | |
| 49 | ||
| 50 | sec = (ru1->ru_stime.tv_sec - ru2->ru_stime.tv_sec) - 1; | |
| 51 | usec = ru1->ru_stime.tv_usec + million - ru2->ru_stime.tv_usec; | |
| 52 | sec += (usec / million); | |
| 53 | usec %= million; | |
| 54 | ru->ru_stime.tv_sec = sec; | |
| 55 | ru->ru_stime.tv_usec = usec; | |
| 56 | } | |
| 57 | ||
| 58 | uintmax_t rusageTime (struct rusage *ru) { | |
| 59 | uintmax_t result; | |
| 60 | ||
| 61 | result = 0; | |
| 62 | result += 1000 * (uintmax_t)ru->ru_utime.tv_sec; | |
| 63 | result += 1000 * (uintmax_t)ru->ru_stime.tv_sec; | |
| 64 | result += (uintmax_t)ru->ru_utime.tv_usec / 1000; | |
| 65 | result += (uintmax_t)ru->ru_stime.tv_usec / 1000; | |
| 66 | return result; | |
| 67 | } | |
| 68 | ||
| 69 | void startTiming (struct rusage *ru_start) { | |
| 70 | getrusage (RUSAGE_SELF, ru_start); | |
| 71 | } | |
| 72 | ||
| 73 | /* Accumulate and return time as number of milliseconds. */ | |
| 74 | uintmax_t stopTiming (struct rusage *ru_start, struct rusage *ru_acc) { | |
| 75 | struct rusage ru_finish, ru_total; | |
| 76 | ||
| 77 | getrusage (RUSAGE_SELF, &ru_finish); | |
| 78 | rusageMinusMax (&ru_finish, ru_start, &ru_total); | |
| 79 | rusagePlusMax (ru_acc, &ru_total, ru_acc); | |
| 80 | return rusageTime (&ru_total); | |
| 81 | } |