| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2006, 2008 Apple Inc. All rights reserved. | 2 * Copyright (C) 2006, 2008 Apple Inc. All rights reserved. |
| 3 * Copyright (C) 2009 Google Inc. All rights reserved. | 3 * Copyright (C) 2009 Google Inc. All rights reserved. |
| 4 * | 4 * |
| 5 * Redistribution and use in source and binary forms, with or without | 5 * Redistribution and use in source and binary forms, with or without |
| 6 * modification, are permitted provided that the following conditions | 6 * modification, are permitted provided that the following conditions |
| 7 * are met: | 7 * are met: |
| 8 * 1. Redistributions of source code must retain the above copyright | 8 * 1. Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * 2. Redistributions in binary form must reproduce the above copyright | 10 * 2. Redistributions in binary form must reproduce the above copyright |
| (...skipping 11 matching lines...) Expand all Loading... |
| 22 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 22 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 23 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 23 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 24 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 24 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 25 */ | 25 */ |
| 26 | 26 |
| 27 #include "config.h" | 27 #include "config.h" |
| 28 #include "platform/Timer.h" | 28 #include "platform/Timer.h" |
| 29 | 29 |
| 30 #include "platform/PlatformThreadData.h" | 30 #include "platform/PlatformThreadData.h" |
| 31 #include "platform/ThreadTimers.h" | 31 #include "platform/ThreadTimers.h" |
| 32 #include "wtf/Atomics.h" | 32 #include "platform/TimerHeap.h" |
| 33 #include "wtf/CurrentTime.h" | 33 #include "wtf/CurrentTime.h" |
| 34 #include "wtf/HashSet.h" | |
| 35 #include <limits.h> | |
| 36 #include <math.h> | |
| 37 #include <limits> | |
| 38 | 34 |
| 39 namespace blink { | 35 namespace blink { |
| 40 | 36 |
| 41 class TimerHeapReference; | |
| 42 | |
| 43 // Timers are stored in a heap data structure, used to implement a priority queu
e. | |
| 44 // This allows us to efficiently determine which timer needs to fire the soonest
. | |
| 45 // Then we set a single shared system timer to fire at that time. | |
| 46 // | |
| 47 // When a timer's "next fire time" changes, we need to move it around in the pri
ority queue. | |
| 48 static Vector<TimerBase*>& threadGlobalTimerHeap() | |
| 49 { | |
| 50 return PlatformThreadData::current().threadTimers().timerHeap(); | |
| 51 } | |
| 52 // ---------------- | |
| 53 | |
| 54 class TimerHeapPointer { | |
| 55 public: | |
| 56 TimerHeapPointer(TimerBase** pointer) : m_pointer(pointer) { } | |
| 57 TimerHeapReference operator*() const; | |
| 58 TimerBase* operator->() const { return *m_pointer; } | |
| 59 private: | |
| 60 TimerBase** m_pointer; | |
| 61 }; | |
| 62 | |
| 63 class TimerHeapReference { | |
| 64 public: | |
| 65 TimerHeapReference(TimerBase*& reference) : m_reference(reference) { } | |
| 66 operator TimerBase*() const { return m_reference; } | |
| 67 TimerHeapPointer operator&() const { return &m_reference; } | |
| 68 TimerHeapReference& operator=(TimerBase*); | |
| 69 TimerHeapReference& operator=(TimerHeapReference); | |
| 70 private: | |
| 71 TimerBase*& m_reference; | |
| 72 }; | |
| 73 | |
| 74 inline TimerHeapReference TimerHeapPointer::operator*() const | |
| 75 { | |
| 76 return *m_pointer; | |
| 77 } | |
| 78 | |
| 79 inline TimerHeapReference& TimerHeapReference::operator=(TimerBase* timer) | |
| 80 { | |
| 81 m_reference = timer; | |
| 82 Vector<TimerBase*>& heap = timer->timerHeap(); | |
| 83 if (&m_reference >= heap.data() && &m_reference < heap.data() + heap.size()) | |
| 84 timer->m_heapIndex = &m_reference - heap.data(); | |
| 85 return *this; | |
| 86 } | |
| 87 | |
| 88 inline TimerHeapReference& TimerHeapReference::operator=(TimerHeapReference b) | |
| 89 { | |
| 90 TimerBase* timer = b; | |
| 91 return *this = timer; | |
| 92 } | |
| 93 | |
| 94 inline void swap(TimerHeapReference a, TimerHeapReference b) | |
| 95 { | |
| 96 TimerBase* timerA = a; | |
| 97 TimerBase* timerB = b; | |
| 98 | |
| 99 // Invoke the assignment operator, since that takes care of updating m_heapI
ndex. | |
| 100 a = timerB; | |
| 101 b = timerA; | |
| 102 } | |
| 103 | |
| 104 // ---------------- | |
| 105 | |
| 106 // Class to represent iterators in the heap when calling the standard library he
ap algorithms. | |
| 107 // Uses a custom pointer and reference type that update indices for pointers in
the heap. | |
| 108 class TimerHeapIterator : public std::iterator<std::random_access_iterator_tag,
TimerBase*, ptrdiff_t, TimerHeapPointer, TimerHeapReference> { | |
| 109 public: | |
| 110 explicit TimerHeapIterator(TimerBase** pointer) : m_pointer(pointer) { check
Consistency(); } | |
| 111 | |
| 112 TimerHeapIterator& operator++() { checkConsistency(); ++m_pointer; checkCons
istency(); return *this; } | |
| 113 TimerHeapIterator operator++(int) { checkConsistency(1); return TimerHeapIte
rator(m_pointer++); } | |
| 114 | |
| 115 TimerHeapIterator& operator--() { checkConsistency(); --m_pointer; checkCons
istency(); return *this; } | |
| 116 TimerHeapIterator operator--(int) { checkConsistency(-1); return TimerHeapIt
erator(m_pointer--); } | |
| 117 | |
| 118 TimerHeapIterator& operator+=(ptrdiff_t i) { checkConsistency(); m_pointer +
= i; checkConsistency(); return *this; } | |
| 119 TimerHeapIterator& operator-=(ptrdiff_t i) { checkConsistency(); m_pointer -
= i; checkConsistency(); return *this; } | |
| 120 | |
| 121 TimerHeapReference operator*() const { return TimerHeapReference(*m_pointer)
; } | |
| 122 TimerHeapReference operator[](ptrdiff_t i) const { return TimerHeapReference
(m_pointer[i]); } | |
| 123 TimerBase* operator->() const { return *m_pointer; } | |
| 124 | |
| 125 private: | |
| 126 void checkConsistency(ptrdiff_t offset = 0) const | |
| 127 { | |
| 128 ASSERT(m_pointer >= threadGlobalTimerHeap().data()); | |
| 129 ASSERT(m_pointer <= threadGlobalTimerHeap().data() + threadGlobalTimerHe
ap().size()); | |
| 130 ASSERT_UNUSED(offset, m_pointer + offset >= threadGlobalTimerHeap().data
()); | |
| 131 ASSERT_UNUSED(offset, m_pointer + offset <= threadGlobalTimerHeap().data
() + threadGlobalTimerHeap().size()); | |
| 132 } | |
| 133 | |
| 134 friend bool operator==(TimerHeapIterator, TimerHeapIterator); | |
| 135 friend bool operator!=(TimerHeapIterator, TimerHeapIterator); | |
| 136 friend bool operator<(TimerHeapIterator, TimerHeapIterator); | |
| 137 friend bool operator>(TimerHeapIterator, TimerHeapIterator); | |
| 138 friend bool operator<=(TimerHeapIterator, TimerHeapIterator); | |
| 139 friend bool operator>=(TimerHeapIterator, TimerHeapIterator); | |
| 140 | |
| 141 friend TimerHeapIterator operator+(TimerHeapIterator, size_t); | |
| 142 friend TimerHeapIterator operator+(size_t, TimerHeapIterator); | |
| 143 | |
| 144 friend TimerHeapIterator operator-(TimerHeapIterator, size_t); | |
| 145 friend ptrdiff_t operator-(TimerHeapIterator, TimerHeapIterator); | |
| 146 | |
| 147 TimerBase** m_pointer; | |
| 148 }; | |
| 149 | |
| 150 inline bool operator==(TimerHeapIterator a, TimerHeapIterator b) { return a.m_po
inter == b.m_pointer; } | |
| 151 inline bool operator!=(TimerHeapIterator a, TimerHeapIterator b) { return a.m_po
inter != b.m_pointer; } | |
| 152 inline bool operator<(TimerHeapIterator a, TimerHeapIterator b) { return a.m_poi
nter < b.m_pointer; } | |
| 153 inline bool operator>(TimerHeapIterator a, TimerHeapIterator b) { return a.m_poi
nter > b.m_pointer; } | |
| 154 inline bool operator<=(TimerHeapIterator a, TimerHeapIterator b) { return a.m_po
inter <= b.m_pointer; } | |
| 155 inline bool operator>=(TimerHeapIterator a, TimerHeapIterator b) { return a.m_po
inter >= b.m_pointer; } | |
| 156 | |
| 157 inline TimerHeapIterator operator+(TimerHeapIterator a, size_t b) { return Timer
HeapIterator(a.m_pointer + b); } | |
| 158 inline TimerHeapIterator operator+(size_t a, TimerHeapIterator b) { return Timer
HeapIterator(a + b.m_pointer); } | |
| 159 | |
| 160 inline TimerHeapIterator operator-(TimerHeapIterator a, size_t b) { return Timer
HeapIterator(a.m_pointer - b); } | |
| 161 inline ptrdiff_t operator-(TimerHeapIterator a, TimerHeapIterator b) { return a.
m_pointer - b.m_pointer; } | |
| 162 | |
| 163 // ---------------- | |
| 164 | |
| 165 class TimerHeapLessThanFunction { | |
| 166 public: | |
| 167 bool operator()(const TimerBase*, const TimerBase*) const; | |
| 168 }; | |
| 169 | |
| 170 inline bool TimerHeapLessThanFunction::operator()(const TimerBase* a, const Time
rBase* b) const | |
| 171 { | |
| 172 // The comparisons below are "backwards" because the heap puts the largest | |
| 173 // element first and we want the lowest time to be the first one in the heap
. | |
| 174 double aFireTime = a->m_nextFireTime; | |
| 175 double bFireTime = b->m_nextFireTime; | |
| 176 if (bFireTime != aFireTime) | |
| 177 return bFireTime < aFireTime; | |
| 178 | |
| 179 // We need to look at the difference of the insertion orders instead of comp
aring the two | |
| 180 // outright in case of overflow. | |
| 181 unsigned difference = a->m_heapInsertionOrder - b->m_heapInsertionOrder; | |
| 182 return difference < std::numeric_limits<unsigned>::max() / 2; | |
| 183 } | |
| 184 | |
| 185 // ---------------- | |
| 186 | |
| 187 TimerBase::TimerBase() | 37 TimerBase::TimerBase() |
| 188 : m_nextFireTime(0) | 38 : m_unalignedNextFireTime(0) |
| 189 , m_unalignedNextFireTime(0) | |
| 190 , m_repeatInterval(0) | 39 , m_repeatInterval(0) |
| 191 , m_heapIndex(-1) | 40 , m_heapEntry(&TimerHeap::get()) |
| 192 , m_cachedThreadGlobalTimerHeap(0) | |
| 193 #if ENABLE(ASSERT) | 41 #if ENABLE(ASSERT) |
| 194 , m_thread(currentThread()) | 42 , m_thread(currentThread()) |
| 195 #endif | 43 #endif |
| 196 { | 44 { |
| 197 } | 45 } |
| 198 | 46 |
| 199 TimerBase::~TimerBase() | 47 TimerBase::~TimerBase() |
| 200 { | 48 { |
| 201 stop(); | 49 stop(); |
| 202 ASSERT(!inHeap()); | 50 ASSERT(!m_heapEntry.inHeap()); |
| 203 } | 51 } |
| 204 | 52 |
| 205 void TimerBase::start(double nextFireInterval, double repeatInterval, const WebT
raceLocation& caller) | 53 void TimerBase::start(double nextFireInterval, double repeatInterval, const WebT
raceLocation& caller) |
| 206 { | 54 { |
| 207 ASSERT(m_thread == currentThread()); | 55 ASSERT(m_thread == currentThread()); |
| 208 | 56 |
| 209 m_location = caller; | 57 m_location = caller; |
| 210 m_repeatInterval = repeatInterval; | 58 m_repeatInterval = repeatInterval; |
| 211 setNextFireTime(monotonicallyIncreasingTime() + nextFireInterval); | 59 setNextFireTime(monotonicallyIncreasingTime() + nextFireInterval); |
| 212 } | 60 } |
| 213 | 61 |
| 214 void TimerBase::stop() | 62 void TimerBase::stop() |
| 215 { | 63 { |
| 216 ASSERT(m_thread == currentThread()); | 64 ASSERT(m_thread == currentThread()); |
| 217 | 65 |
| 218 m_repeatInterval = 0; | 66 m_repeatInterval = 0; |
| 219 setNextFireTime(0); | 67 setNextFireTime(0); |
| 220 | 68 |
| 221 ASSERT(m_nextFireTime == 0); | 69 ASSERT(nextFireTime() == 0); |
| 222 ASSERT(m_repeatInterval == 0); | 70 ASSERT(m_repeatInterval == 0); |
| 223 ASSERT(!inHeap()); | 71 ASSERT(!m_heapEntry.inHeap()); |
| 224 } | 72 } |
| 225 | 73 |
| 226 double TimerBase::nextFireInterval() const | 74 double TimerBase::nextFireInterval() const |
| 227 { | 75 { |
| 228 ASSERT(isActive()); | 76 ASSERT(isActive()); |
| 229 double current = monotonicallyIncreasingTime(); | 77 double current = monotonicallyIncreasingTime(); |
| 230 if (m_nextFireTime < current) | 78 if (nextFireTime() < current) |
| 231 return 0; | 79 return 0; |
| 232 return m_nextFireTime - current; | 80 return nextFireTime() - current; |
| 233 } | |
| 234 | |
| 235 inline void TimerBase::checkHeapIndex() const | |
| 236 { | |
| 237 ASSERT(timerHeap() == threadGlobalTimerHeap()); | |
| 238 ASSERT(!timerHeap().isEmpty()); | |
| 239 ASSERT(m_heapIndex >= 0); | |
| 240 ASSERT(m_heapIndex < static_cast<int>(timerHeap().size())); | |
| 241 ASSERT(timerHeap()[m_heapIndex] == this); | |
| 242 } | |
| 243 | |
| 244 inline void TimerBase::checkConsistency() const | |
| 245 { | |
| 246 // Timers should be in the heap if and only if they have a non-zero next fir
e time. | |
| 247 ASSERT(inHeap() == (m_nextFireTime != 0)); | |
| 248 if (inHeap()) | |
| 249 checkHeapIndex(); | |
| 250 } | |
| 251 | |
| 252 void TimerBase::heapDecreaseKey() | |
| 253 { | |
| 254 ASSERT(m_nextFireTime != 0); | |
| 255 checkHeapIndex(); | |
| 256 TimerBase** heapData = timerHeap().data(); | |
| 257 push_heap(TimerHeapIterator(heapData), TimerHeapIterator(heapData + m_heapIn
dex + 1), TimerHeapLessThanFunction()); | |
| 258 checkHeapIndex(); | |
| 259 } | |
| 260 | |
| 261 inline void TimerBase::heapDelete() | |
| 262 { | |
| 263 ASSERT(m_nextFireTime == 0); | |
| 264 heapPop(); | |
| 265 timerHeap().removeLast(); | |
| 266 m_heapIndex = -1; | |
| 267 } | |
| 268 | |
| 269 void TimerBase::heapDeleteMin() | |
| 270 { | |
| 271 ASSERT(m_nextFireTime == 0); | |
| 272 heapPopMin(); | |
| 273 timerHeap().removeLast(); | |
| 274 m_heapIndex = -1; | |
| 275 } | |
| 276 | |
| 277 inline void TimerBase::heapIncreaseKey() | |
| 278 { | |
| 279 ASSERT(m_nextFireTime != 0); | |
| 280 heapPop(); | |
| 281 heapDecreaseKey(); | |
| 282 } | |
| 283 | |
| 284 inline void TimerBase::heapInsert() | |
| 285 { | |
| 286 ASSERT(!inHeap()); | |
| 287 timerHeap().append(this); | |
| 288 m_heapIndex = timerHeap().size() - 1; | |
| 289 heapDecreaseKey(); | |
| 290 } | |
| 291 | |
| 292 inline void TimerBase::heapPop() | |
| 293 { | |
| 294 // Temporarily force this timer to have the minimum key so we can pop it. | |
| 295 double fireTime = m_nextFireTime; | |
| 296 m_nextFireTime = -std::numeric_limits<double>::infinity(); | |
| 297 heapDecreaseKey(); | |
| 298 heapPopMin(); | |
| 299 m_nextFireTime = fireTime; | |
| 300 } | |
| 301 | |
| 302 void TimerBase::heapPopMin() | |
| 303 { | |
| 304 ASSERT(this == timerHeap().first()); | |
| 305 checkHeapIndex(); | |
| 306 Vector<TimerBase*>& heap = timerHeap(); | |
| 307 TimerBase** heapData = heap.data(); | |
| 308 pop_heap(TimerHeapIterator(heapData), TimerHeapIterator(heapData + heap.size
()), TimerHeapLessThanFunction()); | |
| 309 checkHeapIndex(); | |
| 310 ASSERT(this == timerHeap().last()); | |
| 311 } | |
| 312 | |
| 313 static inline bool parentHeapPropertyHolds(const TimerBase* current, const Vecto
r<TimerBase*>& heap, unsigned currentIndex) | |
| 314 { | |
| 315 if (!currentIndex) | |
| 316 return true; | |
| 317 unsigned parentIndex = (currentIndex - 1) / 2; | |
| 318 TimerHeapLessThanFunction compareHeapPosition; | |
| 319 return compareHeapPosition(current, heap[parentIndex]); | |
| 320 } | |
| 321 | |
| 322 static inline bool childHeapPropertyHolds(const TimerBase* current, const Vector
<TimerBase*>& heap, unsigned childIndex) | |
| 323 { | |
| 324 if (childIndex >= heap.size()) | |
| 325 return true; | |
| 326 TimerHeapLessThanFunction compareHeapPosition; | |
| 327 return compareHeapPosition(heap[childIndex], current); | |
| 328 } | |
| 329 | |
| 330 bool TimerBase::hasValidHeapPosition() const | |
| 331 { | |
| 332 ASSERT(m_nextFireTime); | |
| 333 if (!inHeap()) | |
| 334 return false; | |
| 335 // Check if the heap property still holds with the new fire time. If it does
we don't need to do anything. | |
| 336 // This assumes that the STL heap is a standard binary heap. In an unlikely
event it is not, the assertions | |
| 337 // in updateHeapIfNeeded() will get hit. | |
| 338 const Vector<TimerBase*>& heap = timerHeap(); | |
| 339 if (!parentHeapPropertyHolds(this, heap, m_heapIndex)) | |
| 340 return false; | |
| 341 unsigned childIndex1 = 2 * m_heapIndex + 1; | |
| 342 unsigned childIndex2 = childIndex1 + 1; | |
| 343 return childHeapPropertyHolds(this, heap, childIndex1) && childHeapPropertyH
olds(this, heap, childIndex2); | |
| 344 } | |
| 345 | |
| 346 void TimerBase::updateHeapIfNeeded(double oldTime) | |
| 347 { | |
| 348 if (m_nextFireTime && hasValidHeapPosition()) | |
| 349 return; | |
| 350 #if ENABLE(ASSERT) | |
| 351 int oldHeapIndex = m_heapIndex; | |
| 352 #endif | |
| 353 if (!oldTime) | |
| 354 heapInsert(); | |
| 355 else if (!m_nextFireTime) | |
| 356 heapDelete(); | |
| 357 else if (m_nextFireTime < oldTime) | |
| 358 heapDecreaseKey(); | |
| 359 else | |
| 360 heapIncreaseKey(); | |
| 361 ASSERT(m_heapIndex != oldHeapIndex); | |
| 362 ASSERT(!inHeap() || hasValidHeapPosition()); | |
| 363 } | 81 } |
| 364 | 82 |
| 365 void TimerBase::setNextFireTime(double newUnalignedTime) | 83 void TimerBase::setNextFireTime(double newUnalignedTime) |
| 366 { | 84 { |
| 367 ASSERT(m_thread == currentThread()); | 85 ASSERT(m_thread == currentThread()); |
| 368 | 86 |
| 369 if (m_unalignedNextFireTime != newUnalignedTime) | 87 if (m_unalignedNextFireTime != newUnalignedTime) |
| 370 m_unalignedNextFireTime = newUnalignedTime; | 88 m_unalignedNextFireTime = newUnalignedTime; |
| 371 | 89 |
| 372 // Accessing thread global data is slow. Cache the heap pointer. | 90 double oldTime = nextFireTime(); |
| 373 if (!m_cachedThreadGlobalTimerHeap) | |
| 374 m_cachedThreadGlobalTimerHeap = &threadGlobalTimerHeap(); | |
| 375 | |
| 376 // Keep heap valid while changing the next-fire time. | |
| 377 double oldTime = m_nextFireTime; | |
| 378 double newTime = alignedFireTime(newUnalignedTime); | 91 double newTime = alignedFireTime(newUnalignedTime); |
| 379 if (oldTime != newTime) { | 92 if (oldTime != newTime) |
| 380 m_nextFireTime = newTime; | 93 m_heapEntry.setValue(*this, newTime); |
| 381 static unsigned currentHeapInsertionOrder; | |
| 382 m_heapInsertionOrder = atomicAdd(¤tHeapInsertionOrder, 1); | |
| 383 | |
| 384 bool wasFirstTimerInHeap = m_heapIndex == 0; | |
| 385 | |
| 386 updateHeapIfNeeded(oldTime); | |
| 387 | |
| 388 bool isFirstTimerInHeap = m_heapIndex == 0; | |
| 389 | |
| 390 if (wasFirstTimerInHeap || isFirstTimerInHeap) | |
| 391 PlatformThreadData::current().threadTimers().updateSharedTimer(); | |
| 392 } | |
| 393 | |
| 394 checkConsistency(); | |
| 395 } | 94 } |
| 396 | 95 |
| 397 void TimerBase::fireTimersInNestedEventLoop() | 96 void TimerBase::fireTimersInNestedEventLoop() |
| 398 { | 97 { |
| 399 // Redirect to ThreadTimers. | 98 // Redirect to ThreadTimers. |
| 400 PlatformThreadData::current().threadTimers().fireTimersInNestedEventLoop(); | 99 PlatformThreadData::current().threadTimers().fireTimersInNestedEventLoop(); |
| 401 } | 100 } |
| 402 | 101 |
| 403 void TimerBase::didChangeAlignmentInterval() | 102 void TimerBase::didChangeAlignmentInterval() |
| 404 { | 103 { |
| 405 setNextFireTime(m_unalignedNextFireTime); | 104 setNextFireTime(m_unalignedNextFireTime); |
| 406 } | 105 } |
| 407 | 106 |
| 408 double TimerBase::nextUnalignedFireInterval() const | 107 double TimerBase::nextUnalignedFireInterval() const |
| 409 { | 108 { |
| 410 ASSERT(isActive()); | 109 ASSERT(isActive()); |
| 411 return std::max(m_unalignedNextFireTime - monotonicallyIncreasingTime(), 0.0
); | 110 return std::max(m_unalignedNextFireTime - monotonicallyIncreasingTime(), 0.0
); |
| 412 } | 111 } |
| 413 | 112 |
| 414 } // namespace blink | 113 } // namespace blink |
| OLD | NEW |