[Python-Dev] this is why we shouldn't call it a "monotonic clock" (was: PEP 418 is too divisive and confusing and should be postponed)

[Antoine Pitrou]

On Sun, 8 Apr 2012 07:29:30 -0700
Guido van Rossum <guido at python.org> wrote:
> 
> What to name it can't be decided this way, although I might put
> forward time.sleeptimer().

interval_timer() ?
I would suggest timer() simply, but it's too close to time().

> I personally have a need for one potentially different clock -- to
> measure short intervals for benchmarks and profiling. This might be
> called time.performancetimer()?

It's called perf_counter() in the PEP:
http://www.python.org/dev/peps/pep-0418/#deferred-api-time-perf-counter

Regards

Antoine.