OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 class _Timer implements Timer { | 5 class _Timer implements Timer { |
6 // Set jitter to wake up timer events that would happen in _TIMER_JITTER ms. | 6 // Set jitter to wake up timer events that would happen in _TIMER_JITTER ms. |
7 static const int _TIMER_JITTER = 0; | 7 static const int _TIMER_JITTER = 0; |
8 | 8 |
9 // Disables the timer. | 9 // Disables the timer. |
10 static const int _NO_TIMER = -1; | 10 static const int _NO_TIMER = -1; |
11 | 11 |
12 static Timer _createTimer(void callback(Timer timer), | 12 static Timer _createTimer(void callback(Timer timer), |
13 int milliSeconds, | 13 int milliSeconds, |
14 bool repeating) { | 14 bool repeating) { |
15 _EventHandler._start(); | 15 _EventHandler._start(); |
16 if (_timers === null) { | 16 if (_timers == null) { |
17 _timers = new DoubleLinkedQueue<_Timer>(); | 17 _timers = new DoubleLinkedQueue<_Timer>(); |
18 } | 18 } |
19 Timer timer = new _Timer._internal(); | 19 Timer timer = new _Timer._internal(); |
20 timer._callback = callback; | 20 timer._callback = callback; |
21 timer._milliSeconds = milliSeconds; | 21 timer._milliSeconds = milliSeconds; |
22 timer._wakeupTime = (new Date.now()).millisecondsSinceEpoch + milliSeconds; | 22 timer._wakeupTime = (new Date.now()).millisecondsSinceEpoch + milliSeconds; |
23 timer._repeating = repeating; | 23 timer._repeating = repeating; |
24 timer._addTimerToList(); | 24 timer._addTimerToList(); |
25 timer._notifyEventHandler(); | 25 timer._notifyEventHandler(); |
26 return timer; | 26 return timer; |
(...skipping 17 matching lines...) Expand all Loading... |
44 } | 44 } |
45 | 45 |
46 | 46 |
47 // Cancels a set timer. The timer is removed from the timer list and if | 47 // Cancels a set timer. The timer is removed from the timer list and if |
48 // the given timer is the earliest timer the native timer is reset. | 48 // the given timer is the earliest timer the native timer is reset. |
49 void cancel() { | 49 void cancel() { |
50 _clear(); | 50 _clear(); |
51 DoubleLinkedQueueEntry<_Timer> entry = _timers.firstEntry(); | 51 DoubleLinkedQueueEntry<_Timer> entry = _timers.firstEntry(); |
52 DoubleLinkedQueueEntry<_Timer> first = _timers.firstEntry(); | 52 DoubleLinkedQueueEntry<_Timer> first = _timers.firstEntry(); |
53 | 53 |
54 while (entry !== null) { | 54 while (entry != null) { |
55 if (entry.element === this) { | 55 if (identical(entry.element, this)) { |
56 entry.remove(); | 56 entry.remove(); |
57 if (first.element == this) { | 57 if (first.element == this) { |
58 entry = _timers.firstEntry(); | 58 entry = _timers.firstEntry(); |
59 _notifyEventHandler(); | 59 _notifyEventHandler(); |
60 } | 60 } |
61 return; | 61 return; |
62 } | 62 } |
63 entry = entry.nextEntry(); | 63 entry = entry.nextEntry(); |
64 } | 64 } |
65 } | 65 } |
66 | 66 |
67 void _advanceWakeupTime() { | 67 void _advanceWakeupTime() { |
68 _wakeupTime += _milliSeconds; | 68 _wakeupTime += _milliSeconds; |
69 } | 69 } |
70 | 70 |
71 // Adds a timer to the timer list and resets the native timer if it is the | 71 // Adds a timer to the timer list and resets the native timer if it is the |
72 // earliest timer in the list. Timers with the same wakeup time are enqueued | 72 // earliest timer in the list. Timers with the same wakeup time are enqueued |
73 // in order and notified in FIFO order. | 73 // in order and notified in FIFO order. |
74 void _addTimerToList() { | 74 void _addTimerToList() { |
75 if (_callback !== null) { | 75 if (_callback != null) { |
76 | 76 |
77 DoubleLinkedQueueEntry<_Timer> entry = _timers.firstEntry(); | 77 DoubleLinkedQueueEntry<_Timer> entry = _timers.firstEntry(); |
78 while (entry !== null) { | 78 while (entry != null) { |
79 if (_wakeupTime < entry.element._wakeupTime) { | 79 if (_wakeupTime < entry.element._wakeupTime) { |
80 entry.prepend(this); | 80 entry.prepend(this); |
81 return; | 81 return; |
82 } | 82 } |
83 entry = entry.nextEntry(); | 83 entry = entry.nextEntry(); |
84 } | 84 } |
85 _timers.addLast(this); | 85 _timers.addLast(this); |
86 } | 86 } |
87 } | 87 } |
88 | 88 |
89 | 89 |
90 void _notifyEventHandler() { | 90 void _notifyEventHandler() { |
91 if (_handling_callbacks) { | 91 if (_handling_callbacks) { |
92 // While we are already handling callbacks we will not notify the event | 92 // While we are already handling callbacks we will not notify the event |
93 // handler. _handleTimeout will call _notifyEventHandler once all pending | 93 // handler. _handleTimeout will call _notifyEventHandler once all pending |
94 // timers are processed. | 94 // timers are processed. |
95 return; | 95 return; |
96 } | 96 } |
97 | 97 |
98 if (_timers.firstEntry() === null) { | 98 if (_timers.firstEntry() == null) { |
99 // No pending timers: Close the receive port and let the event handler | 99 // No pending timers: Close the receive port and let the event handler |
100 // know. | 100 // know. |
101 if (_receivePort !== null) { | 101 if (_receivePort != null) { |
102 _EventHandler._sendData(null, _receivePort, _NO_TIMER); | 102 _EventHandler._sendData(null, _receivePort, _NO_TIMER); |
103 _shutdownTimerHandler(); | 103 _shutdownTimerHandler(); |
104 } | 104 } |
105 } else { | 105 } else { |
106 if (_receivePort === null) { | 106 if (_receivePort == null) { |
107 // Create a receive port and register a message handler for the timer | 107 // Create a receive port and register a message handler for the timer |
108 // events. | 108 // events. |
109 _createTimerHandler(); | 109 _createTimerHandler(); |
110 } | 110 } |
111 _EventHandler._sendData(null, | 111 _EventHandler._sendData(null, |
112 _receivePort, | 112 _receivePort, |
113 _timers.firstEntry().element._wakeupTime); | 113 _timers.firstEntry().element._wakeupTime); |
114 } | 114 } |
115 } | 115 } |
116 | 116 |
117 | 117 |
118 // Creates a receive port and registers the timer handler on that | 118 // Creates a receive port and registers the timer handler on that |
119 // receive port. | 119 // receive port. |
120 void _createTimerHandler() { | 120 void _createTimerHandler() { |
121 | 121 |
122 void _handleTimeout() { | 122 void _handleTimeout() { |
123 int currentTime = | 123 int currentTime = |
124 (new Date.now()).millisecondsSinceEpoch + _TIMER_JITTER; | 124 (new Date.now()).millisecondsSinceEpoch + _TIMER_JITTER; |
125 | 125 |
126 // Collect all pending timers. | 126 // Collect all pending timers. |
127 DoubleLinkedQueueEntry<_Timer> entry = _timers.firstEntry(); | 127 DoubleLinkedQueueEntry<_Timer> entry = _timers.firstEntry(); |
128 var pending_timers = new List(); | 128 var pending_timers = new List(); |
129 while (entry !== null) { | 129 while (entry != null) { |
130 _Timer timer = entry.element; | 130 _Timer timer = entry.element; |
131 if (timer._wakeupTime <= currentTime) { | 131 if (timer._wakeupTime <= currentTime) { |
132 entry.remove(); | 132 entry.remove(); |
133 pending_timers.addLast(timer); | 133 pending_timers.addLast(timer); |
134 entry = _timers.firstEntry(); | 134 entry = _timers.firstEntry(); |
135 } else { | 135 } else { |
136 break; | 136 break; |
137 } | 137 } |
138 } | 138 } |
139 | 139 |
(...skipping 13 matching lines...) Expand all Loading... |
153 timer._addTimerToList(); | 153 timer._addTimerToList(); |
154 } | 154 } |
155 } | 155 } |
156 } | 156 } |
157 } finally { | 157 } finally { |
158 _handling_callbacks = false; | 158 _handling_callbacks = false; |
159 } | 159 } |
160 _notifyEventHandler(); | 160 _notifyEventHandler(); |
161 } | 161 } |
162 | 162 |
163 if(_receivePort === null) { | 163 if(_receivePort == null) { |
164 _receivePort = new ReceivePort(); | 164 _receivePort = new ReceivePort(); |
165 _receivePort.receive((var message, ignored) { | 165 _receivePort.receive((var message, ignored) { |
166 _handleTimeout(); | 166 _handleTimeout(); |
167 }); | 167 }); |
168 } | 168 } |
169 } | 169 } |
170 | 170 |
171 void _shutdownTimerHandler() { | 171 void _shutdownTimerHandler() { |
172 _receivePort.close(); | 172 _receivePort.close(); |
173 _receivePort = null; | 173 _receivePort = null; |
(...skipping 17 matching lines...) Expand all Loading... |
191 _getTimerFactoryClosure() { | 191 _getTimerFactoryClosure() { |
192 return (int milliSeconds, void callback(Timer timer), bool repeating) { | 192 return (int milliSeconds, void callback(Timer timer), bool repeating) { |
193 if (repeating) { | 193 if (repeating) { |
194 return new _Timer.repeating(milliSeconds, callback); | 194 return new _Timer.repeating(milliSeconds, callback); |
195 } | 195 } |
196 return new _Timer(milliSeconds, callback); | 196 return new _Timer(milliSeconds, callback); |
197 }; | 197 }; |
198 } | 198 } |
199 | 199 |
200 | 200 |
OLD | NEW |