/usr/include/dolfin/common/Timer.h is in libdolfin-dev 2016.2.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 | // Copyright (C) 2008 Anders Logg, 2015 Jan Blechta
//
// This file is part of DOLFIN.
//
// DOLFIN is free software: you can redistribute it and/or modify
// it under the terms of the GNU Lesser General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// DOLFIN is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with DOLFIN. If not, see <http://www.gnu.org/licenses/>.
//
// First added: 2008-06-13
// Last changed: 2010-11-16
#ifndef __TIMER_H
#define __TIMER_H
#include <string>
#include <tuple>
#include <boost/timer/timer.hpp>
namespace dolfin
{
/// A timer can be used for timing tasks. The basic usage is
///
/// Timer timer("Assembling over cells");
///
/// The timer is started at construction and timing ends
/// when the timer is destroyed (goes out of scope). It is
/// also possible to start and stop a timer explicitly by
///
/// timer.start();
/// timer.stop();
///
/// Timings are stored globally and a summary may be printed
/// by calling
///
/// list_timings();
class Timer
{
public:
/// Create timer without logging
Timer();
/// Create timer with logging
Timer(std::string task);
/// Destructor
~Timer();
/// Zero and start timer
void start();
/// Resume timer. Not well-defined for logging timer
void resume();
/// Stop timer, return wall time elapsed and store timing data
/// into logger
double stop();
/// Return wall, user and system time in seconds. Wall-clock time
/// has precision around 1 microsecond; user and system around
/// 10 millisecond.
std::tuple<double, double, double> elapsed() const;
private:
// Name of task
std::string _task;
// Implementation of timer
boost::timer::cpu_timer _timer;
};
}
#endif
|