1719708 - Improve the precision of the start/end time wr profile counters

Status: RESOLVED FIXED

(Core :: Graphics: WebRender, task, P3)

Comment 1

[Nicolas Silva [:nical]]

Attachment: Bug 1719708 - Improve the precision of profile start/end time. r=#gfx-reviewers

Instead of storing the start time which can be a very large number as f64, keep it in ns as u64 and do the float conversion for the time difference instead.
In addition, the merge function was not behaving synmetrically. It was intended to work as old.merge(new) but we have at least one place in the code where we write it as new.merge(old). In practice takiung the max of the start times when merging two start times does what we want in both direction and makes merging less error prone.

Comment 2

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/94b5b21a2e3f
Improve the precision of profile start/end time. r=gfx-reviewers,mstange

Comment 3

[Natalia Csoregi [:nataliaCs]]

https://hg.mozilla.org/mozilla-central/rev/94b5b21a2e3f