1 /*
2 * Copyright (C) 2010 Apple Inc. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 * 1. Redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer.
9 * 2. Redistributions in binary form must reproduce the above copyright
10 * notice, this list of conditions and the following disclaimer in the
11 * documentation and/or other materials provided with the distribution.
12 *
13 * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23 * THE POSSIBILITY OF SUCH DAMAGE.
24 */
25
26 #include "config.h"
27 #include "WorkQueue.h"
28
29 #include <WebCore/NotImplemented.h>
30 #include <wtf/Threading.h>
31
WorkItemWin(PassOwnPtr<WorkItem> item,WorkQueue * queue)32 inline WorkQueue::WorkItemWin::WorkItemWin(PassOwnPtr<WorkItem> item, WorkQueue* queue)
33 : m_item(item)
34 , m_queue(queue)
35 {
36 }
37
create(PassOwnPtr<WorkItem> item,WorkQueue * queue)38 PassRefPtr<WorkQueue::WorkItemWin> WorkQueue::WorkItemWin::create(PassOwnPtr<WorkItem> item, WorkQueue* queue)
39 {
40 return adoptRef(new WorkItemWin(item, queue));
41 }
42
~WorkItemWin()43 WorkQueue::WorkItemWin::~WorkItemWin()
44 {
45 }
46
HandleWorkItem(HANDLE handle,PassOwnPtr<WorkItem> item,WorkQueue * queue)47 inline WorkQueue::HandleWorkItem::HandleWorkItem(HANDLE handle, PassOwnPtr<WorkItem> item, WorkQueue* queue)
48 : WorkItemWin(item, queue)
49 , m_handle(handle)
50 , m_waitHandle(0)
51 {
52 ASSERT_ARG(handle, handle);
53 }
54
createByAdoptingHandle(HANDLE handle,PassOwnPtr<WorkItem> item,WorkQueue * queue)55 PassRefPtr<WorkQueue::HandleWorkItem> WorkQueue::HandleWorkItem::createByAdoptingHandle(HANDLE handle, PassOwnPtr<WorkItem> item, WorkQueue* queue)
56 {
57 return adoptRef(new HandleWorkItem(handle, item, queue));
58 }
59
~HandleWorkItem()60 WorkQueue::HandleWorkItem::~HandleWorkItem()
61 {
62 ::CloseHandle(m_handle);
63 }
64
handleCallback(void * context,BOOLEAN timerOrWaitFired)65 void WorkQueue::handleCallback(void* context, BOOLEAN timerOrWaitFired)
66 {
67 ASSERT_ARG(context, context);
68 ASSERT_ARG(timerOrWaitFired, !timerOrWaitFired);
69
70 WorkItemWin* item = static_cast<WorkItemWin*>(context);
71 WorkQueue* queue = item->queue();
72
73 {
74 MutexLocker lock(queue->m_workItemQueueLock);
75 queue->m_workItemQueue.append(item);
76
77 // If no other thread is performing work, we can do it on this thread.
78 if (!queue->tryRegisterAsWorkThread()) {
79 // Some other thread is performing work. Since we hold the queue lock, we can be sure
80 // that the work thread is not exiting due to an empty queue and will process the work
81 // item we just added to it. If we weren't holding the lock we'd have to signal
82 // m_performWorkEvent to make sure the work item got picked up.
83 return;
84 }
85 }
86
87 queue->performWorkOnRegisteredWorkThread();
88 }
89
registerHandle(HANDLE handle,PassOwnPtr<WorkItem> item)90 void WorkQueue::registerHandle(HANDLE handle, PassOwnPtr<WorkItem> item)
91 {
92 RefPtr<HandleWorkItem> handleItem = HandleWorkItem::createByAdoptingHandle(handle, item, this);
93
94 {
95 MutexLocker lock(m_handlesLock);
96 ASSERT_ARG(handle, !m_handles.contains(handle));
97 m_handles.set(handle, handleItem);
98 }
99
100 HANDLE waitHandle;
101 if (!::RegisterWaitForSingleObject(&waitHandle, handle, handleCallback, handleItem.get(), INFINITE, WT_EXECUTEDEFAULT)) {
102 DWORD error = ::GetLastError();
103 ASSERT_NOT_REACHED();
104 }
105 handleItem->setWaitHandle(waitHandle);
106 }
107
unregisterAndCloseHandle(HANDLE handle)108 void WorkQueue::unregisterAndCloseHandle(HANDLE handle)
109 {
110 RefPtr<HandleWorkItem> item;
111 {
112 MutexLocker locker(m_handlesLock);
113 ASSERT_ARG(handle, m_handles.contains(handle));
114 item = m_handles.take(handle);
115 }
116
117 unregisterWaitAndDestroyItemSoon(item.release());
118 }
119
workThreadCallback(void * context)120 DWORD WorkQueue::workThreadCallback(void* context)
121 {
122 ASSERT_ARG(context, context);
123
124 WorkQueue* queue = static_cast<WorkQueue*>(context);
125
126 if (!queue->tryRegisterAsWorkThread())
127 return 0;
128
129 queue->performWorkOnRegisteredWorkThread();
130 return 0;
131 }
132
performWorkOnRegisteredWorkThread()133 void WorkQueue::performWorkOnRegisteredWorkThread()
134 {
135 ASSERT(m_isWorkThreadRegistered);
136
137 bool isValid = true;
138
139 m_workItemQueueLock.lock();
140
141 while (isValid && !m_workItemQueue.isEmpty()) {
142 Vector<RefPtr<WorkItemWin> > workItemQueue;
143 m_workItemQueue.swap(workItemQueue);
144
145 // Allow more work to be scheduled while we're not using the queue directly.
146 m_workItemQueueLock.unlock();
147 for (size_t i = 0; i < workItemQueue.size(); ++i) {
148 MutexLocker locker(m_isValidMutex);
149 isValid = m_isValid;
150 if (!isValid)
151 break;
152 workItemQueue[i]->item()->execute();
153 }
154 m_workItemQueueLock.lock();
155 }
156
157 // One invariant we maintain is that any work scheduled while a work thread is registered will
158 // be handled by that work thread. Unregister as the work thread while the queue lock is still
159 // held so that no work can be scheduled while we're still registered.
160 unregisterAsWorkThread();
161
162 m_workItemQueueLock.unlock();
163 }
164
platformInitialize(const char * name)165 void WorkQueue::platformInitialize(const char* name)
166 {
167 m_isWorkThreadRegistered = 0;
168 m_timerQueue = ::CreateTimerQueue();
169 ASSERT_WITH_MESSAGE(m_timerQueue, "::CreateTimerQueue failed with error %lu", ::GetLastError());
170 }
171
tryRegisterAsWorkThread()172 bool WorkQueue::tryRegisterAsWorkThread()
173 {
174 LONG result = ::InterlockedCompareExchange(&m_isWorkThreadRegistered, 1, 0);
175 ASSERT(!result || result == 1);
176 return !result;
177 }
178
unregisterAsWorkThread()179 void WorkQueue::unregisterAsWorkThread()
180 {
181 LONG result = ::InterlockedCompareExchange(&m_isWorkThreadRegistered, 0, 1);
182 ASSERT_UNUSED(result, result == 1);
183 }
184
platformInvalidate()185 void WorkQueue::platformInvalidate()
186 {
187 #if !ASSERT_DISABLED
188 MutexLocker lock(m_handlesLock);
189 ASSERT(m_handles.isEmpty());
190 #endif
191
192 // FIXME: We need to ensure that any timer-queue timers that fire after this point don't try to
193 // access this WorkQueue <http://webkit.org/b/44690>.
194 ::DeleteTimerQueueEx(m_timerQueue, 0);
195 }
196
scheduleWork(PassOwnPtr<WorkItem> item)197 void WorkQueue::scheduleWork(PassOwnPtr<WorkItem> item)
198 {
199 MutexLocker locker(m_workItemQueueLock);
200
201 m_workItemQueue.append(WorkItemWin::create(item, this));
202
203 // Spawn a work thread to perform the work we just added. As an optimization, we avoid
204 // spawning the thread if a work thread is already registered. This prevents multiple work
205 // threads from being spawned in most cases. (Note that when a work thread has been spawned but
206 // hasn't registered itself yet, m_isWorkThreadRegistered will be false and we'll end up
207 // spawning a second work thread here. But work thread registration process will ensure that
208 // only one thread actually ends up performing work.)
209 if (!m_isWorkThreadRegistered)
210 ::QueueUserWorkItem(workThreadCallback, this, WT_EXECUTEDEFAULT);
211 }
212
213 struct TimerContext : public ThreadSafeRefCounted<TimerContext> {
createTimerContext214 static PassRefPtr<TimerContext> create() { return adoptRef(new TimerContext); }
215
216 WorkQueue* queue;
217 OwnPtr<WorkItem> item;
218 Mutex timerMutex;
219 HANDLE timer;
220
221 private:
TimerContextTimerContext222 TimerContext() : queue(0), timer(0) { }
223 };
224
timerCallback(void * context,BOOLEAN timerOrWaitFired)225 void WorkQueue::timerCallback(void* context, BOOLEAN timerOrWaitFired)
226 {
227 ASSERT_ARG(context, context);
228 ASSERT_UNUSED(timerOrWaitFired, timerOrWaitFired);
229
230 // Balanced by leakRef in scheduleWorkAfterDelay.
231 RefPtr<TimerContext> timerContext = adoptRef(static_cast<TimerContext*>(context));
232
233 timerContext->queue->scheduleWork(timerContext->item.release());
234
235 MutexLocker lock(timerContext->timerMutex);
236 ASSERT(timerContext->timer);
237 ASSERT(timerContext->queue->m_timerQueue);
238 if (!::DeleteTimerQueueTimer(timerContext->queue->m_timerQueue, timerContext->timer, 0))
239 ASSERT_WITH_MESSAGE(false, "::DeleteTimerQueueTimer failed with error %lu", ::GetLastError());
240 }
241
scheduleWorkAfterDelay(PassOwnPtr<WorkItem> item,double delay)242 void WorkQueue::scheduleWorkAfterDelay(PassOwnPtr<WorkItem> item, double delay)
243 {
244 ASSERT(m_timerQueue);
245
246 RefPtr<TimerContext> context = TimerContext::create();
247 context->queue = this;
248 context->item = item;
249
250 {
251 // The timer callback could fire before ::CreateTimerQueueTimer even returns, so we protect
252 // context->timer with a mutex to ensure the timer callback doesn't access it before the
253 // timer handle has been stored in it.
254 MutexLocker lock(context->timerMutex);
255
256 // Since our timer callback is quick, we can execute in the timer thread itself and avoid
257 // an extra thread switch over to a worker thread.
258 if (!::CreateTimerQueueTimer(&context->timer, m_timerQueue, timerCallback, context.get(), delay * 1000, 0, WT_EXECUTEINTIMERTHREAD)) {
259 ASSERT_WITH_MESSAGE(false, "::CreateTimerQueueTimer failed with error %lu", ::GetLastError());
260 return;
261 }
262 }
263
264 // The timer callback will handle destroying context.
265 context.release().leakRef();
266 }
267
unregisterWaitAndDestroyItemSoon(PassRefPtr<HandleWorkItem> item)268 void WorkQueue::unregisterWaitAndDestroyItemSoon(PassRefPtr<HandleWorkItem> item)
269 {
270 // We're going to make a blocking call to ::UnregisterWaitEx before closing the handle. (The
271 // blocking version of ::UnregisterWaitEx is much simpler than the non-blocking version.) If we
272 // do this on the current thread, we'll deadlock if we're currently in a callback function for
273 // the wait we're unregistering. So instead we do it asynchronously on some other worker thread.
274
275 ::QueueUserWorkItem(unregisterWaitAndDestroyItemCallback, item.leakRef(), WT_EXECUTEDEFAULT);
276 }
277
unregisterWaitAndDestroyItemCallback(void * context)278 DWORD WINAPI WorkQueue::unregisterWaitAndDestroyItemCallback(void* context)
279 {
280 ASSERT_ARG(context, context);
281 RefPtr<HandleWorkItem> item = adoptRef(static_cast<HandleWorkItem*>(context));
282
283 // Now that we know we're not in a callback function for the wait we're unregistering, we can
284 // make a blocking call to ::UnregisterWaitEx.
285 if (!::UnregisterWaitEx(item->waitHandle(), INVALID_HANDLE_VALUE)) {
286 DWORD error = ::GetLastError();
287 ASSERT_NOT_REACHED();
288 }
289
290 return 0;
291 }
292