Bug 109731

Summary: Don't restart shared timer if both the current and the new fire time are in the past
Product: WebKit Reporter: Antti Koivisto <koivisto>
Component: PlatformAssignee: Nobody <webkit-unassigned>
Status: RESOLVED FIXED    
Severity: Normal CC: kling
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: Unspecified   
OS: Unspecified   
Attachments:
Description Flags
patch kling: review+

Description Antti Koivisto 2013-02-13 12:25:49 PST
In ~50% of cases we reschedule the shared timer both the old and the new fire time have already passed. We can skip rescheduling in this case, the shared timer will fire immediately anyway.
Comment 1 Antti Koivisto 2013-02-13 13:45:15 PST
Created attachment 188171 [details]
patch
Comment 2 Antti Koivisto 2013-02-13 15:11:25 PST
http://trac.webkit.org/changeset/142811