/* Copyright (C) 2007 William Hart and David Harvey Copyright (C) 2013 Fredrik Johansson This file is part of FLINT. FLINT is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (LGPL) as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. See . */ #include #include #include #include #include #include "profiler.h" #if (defined( _MSC_VER ) || (GMP_LIMB_BITS == 64 && defined (__amd64__)) || \ (GMP_LIMB_BITS == 32 && (defined (__i386__) || \ defined (__i486__) || defined(__amd64__)))) /* clock_last[i] is the last read clock value for clock #i. clock_accum[i] is the total time attributed to clock #i so far. These should not be read directly; use get_clock(i) instead. */ double clock_last[FLINT_NUM_CLOCKS]; double clock_accum[FLINT_NUM_CLOCKS]; void prof_repeat(double *min, double *max, profile_target_t target, void *arg) { /* Number of timings that were at least DURATION_THRESHOLD microseconds */ ulong good_count = 0; double max_time = DBL_MIN, min_time = DBL_MAX; /* First try one loop */ ulong num_trials = 4; double last_time; init_clock(0); target(arg, num_trials); last_time = get_clock(0); /* Loop until we have enough good times */ while (1) { double per_trial = last_time / num_trials; /* If the last recorded time was long enough, record it */ if (last_time > DURATION_THRESHOLD) { if (good_count) { if (per_trial > max_time) max_time = per_trial; if (per_trial < min_time) min_time = per_trial; } else max_time = min_time = per_trial; if (++good_count == 5) { /* We've got enough data */ break; } } /* Adjust num_trials so that the elapsed time gravitates towards DURATION_TARGET; num_trials can be changed by a factor of at most 25%, and must be at least 1 */ { double adjust_ratio; if (last_time < 0.0001) last_time = 0.0001; adjust_ratio = DURATION_TARGET / last_time; if (adjust_ratio > 1.25) adjust_ratio = 1.25; if (adjust_ratio < 0.75) adjust_ratio = 0.75; num_trials = (ulong) ceil(adjust_ratio * num_trials); /* Just to be safe */ if (num_trials == 0) num_trials = 1; } /* Run another trial */ init_clock(0); target(arg, num_trials); last_time = get_clock(0); } /* Store results */ if (min) *min = min_time; if (max) *max = max_time; } #endif void get_memory_usage(meminfo_t meminfo) { FILE * file = fopen("/proc/self/status", "r"); ulong result; char line[128]; while (fgets(line, 128, file) != NULL) { result = 0; if (strncmp(line, "VmSize:", 7) == 0) { flint_sscanf(line, "VmSize: %wu kB\n", &result); meminfo->size = result; } else if (strncmp(line, "VmPeak:", 7) == 0) { flint_sscanf(line, "VmPeak: %wu kB\n", &result); meminfo->peak = result; } else if (strncmp(line, "VmHWM:", 6) == 0) { flint_sscanf(line, "VmHWM: %wu kB\n", &result); meminfo->hwm = result; } else if (strncmp(line, "VmRSS:", 6) == 0) { flint_sscanf(line, "VmRSS: %wu kB\n", &result); meminfo->rss = result; } } fclose(file); }