Timer¶
-
class
dolfin.common.timer.
Timer
(*args)¶ Bases:
dolfin.cpp.common.Timer
A timer can be used for timing tasks. The basic usage is:
with Timer("Some costly operation"): costly_call_1() costly_call_2()
or:
with Timer() as t: costly_call_1() costly_call_2() print("Ellapsed time so far: %s" % t.elapsed()[0])
The timer is started when entering context manager and timing ends when exiting it. It is also possible to start and stop a timer explicitly by:
t.start() t.stop()
and retrieve timing data using:
t.elapsed()
Timings are stored globally (if task name is given) and may be printed using functions
timing
,timings
,list_timings
,dump_timings_to_xml
, e.g.:list_timings(TimingClear_keep, [TimingType_wall, TimingType_user])
Create timer with logging.
Parameters: task (std::string) –