如何用微秒精度测量Safari中JavaScript函数的执行时间？

Question

As in title. I know about "High Resolution Time" http://www.w3.org/TR/hr-time/ , but it doesn't work in Safari. Are there any other options?

EDIT:
I need to measure time of single SELECT in WebSQL. Now it's time is about 1-2 millisecond. I need more precision then that.

EDIT 2: I developing iOS app with PhoneGap, so I can't change browser. It have to be Safari.

Answer 1

Using the Console API's time() and timeEnd() methods I seem to get better precision:

> console.time('a')
> console.timeEnd('a')
[Debug] a: 5895.467ms

See the Safari documentation for details: https://developer.apple.com/library/archive/documentation/AppleApplications/Conceptual/Safari_Developer_Guide/Console/Console.html