1 // Copyright (c) 2008 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
5 #include "base/message_pump_glib.h"
13 #include "base/eintr_wrapper.h"
14 #include "base/logging.h"
15 #include "base/platform_thread.h"
19 // We send a byte across a pipe to wakeup the event loop.
20 const char kWorkScheduled
= '\0';
22 // Return a timeout suitable for the glib loop, -1 to block forever,
23 // 0 to return right away, or a timeout in milliseconds from now.
24 int GetTimeIntervalMilliseconds(base::Time from
) {
28 // Be careful here. TimeDelta has a precision of microseconds, but we want a
29 // value in milliseconds. If there are 5.5ms left, should the delay be 5 or
30 // 6? It should be 6 to avoid executing delayed work too early.
31 int delay
= static_cast<int>(
32 ceil((from
- base::Time::Now()).InMillisecondsF()));
34 // If this value is negative, then we need to run delayed work soon.
35 return delay
< 0 ? 0 : delay
;
38 // A brief refresher on GLib:
39 // GLib sources have four callbacks: Prepare, Check, Dispatch and Finalize.
40 // On each iteration of the GLib pump, it calls each source's Prepare function.
41 // This function should return TRUE if it wants GLib to call its Dispatch, and
42 // FALSE otherwise. It can also set a timeout in this case for the next time
43 // Prepare should be called again (it may be called sooner).
44 // After the Prepare calls, GLib does a poll to check for events from the
45 // system. File descriptors can be attached to the sources. The poll may block
46 // if none of the Prepare calls returned TRUE. It will block indefinitely, or
47 // by the minimum time returned by a source in Prepare.
48 // After the poll, GLib calls Check for each source that returned FALSE
49 // from Prepare. The return value of Check has the same meaning as for Prepare,
50 // making Check a second chance to tell GLib we are ready for Dispatch.
51 // Finally, GLib calls Dispatch for each source that is ready. If Dispatch
52 // returns FALSE, GLib will destroy the source. Dispatch calls may be recursive
53 // (i.e., you can call Run from them), but Prepare and Check cannot.
54 // Finalize is called when the source is destroyed.
55 // NOTE: It is common for subsytems to want to process pending events while
56 // doing intensive work, for example the flash plugin. They usually use the
57 // following pattern (recommended by the GTK docs):
58 // while (gtk_events_pending()) {
59 // gtk_main_iteration();
62 // gtk_events_pending just calls g_main_context_pending, which does the
64 // - Call prepare on all the sources.
65 // - Do the poll with a timeout of 0 (not blocking).
66 // - Call check on all the sources.
67 // - *Does not* call dispatch on the sources.
68 // - Return true if any of prepare() or check() returned true.
70 // gtk_main_iteration just calls g_main_context_iteration, which does the whole
71 // thing, respecting the timeout for the poll (and block, although it is
72 // expected not to if gtk_events_pending returned true), and call dispatch.
74 // Thus it is important to only return true from prepare or check if we
75 // actually have events or work to do. We also need to make sure we keep
76 // internal state consistent so that if prepare/check return true when called
77 // from gtk_events_pending, they will still return true when called right
78 // after, from gtk_main_iteration.
80 // For the GLib pump we try to follow the Windows UI pump model:
81 // - Whenever we receive a wakeup event or the timer for delayed work expires,
82 // we run DoWork and/or DoDelayedWork. That part will also run in the other
84 // - We also run DoWork, DoDelayedWork, and possibly DoIdleWork in the main
85 // loop, around event handling.
87 struct WorkSource
: public GSource
{
88 base::MessagePumpForUI
* pump
;
91 gboolean
WorkSourcePrepare(GSource
* source
,
93 *timeout_ms
= static_cast<WorkSource
*>(source
)->pump
->HandlePrepare();
94 // We always return FALSE, so that our timeout is honored. If we were
95 // to return TRUE, the timeout would be considered to be 0 and the poll
96 // would never block. Once the poll is finished, Check will be called.
100 gboolean
WorkSourceCheck(GSource
* source
) {
101 // Only return TRUE if Dispatch should be called.
102 return static_cast<WorkSource
*>(source
)->pump
->HandleCheck();
105 gboolean
WorkSourceDispatch(GSource
* source
,
106 GSourceFunc unused_func
,
107 gpointer unused_data
) {
109 static_cast<WorkSource
*>(source
)->pump
->HandleDispatch();
110 // Always return TRUE so our source stays registered.
114 // I wish these could be const, but g_source_new wants non-const.
115 GSourceFuncs WorkSourceFuncs
= {
127 struct MessagePumpForUI::RunState
{
129 Dispatcher
* dispatcher
;
131 // Used to flag that the current Run() invocation should return ASAP.
134 // Used to count how many Run() invocations are on the stack.
137 // This keeps the state of whether the pump got signaled that there was new
138 // work to be done. Since we eat the message on the wake up pipe as soon as
139 // we get it, we keep that state here to stay consistent.
143 MessagePumpForUI::MessagePumpForUI()
145 context_(g_main_context_default()),
146 wakeup_gpollfd_(new GPollFD
) {
147 // Create our wakeup pipe, which is used to flag when work was scheduled.
149 CHECK_EQ(pipe(fds
), 0);
150 wakeup_pipe_read_
= fds
[0];
151 wakeup_pipe_write_
= fds
[1];
152 wakeup_gpollfd_
->fd
= wakeup_pipe_read_
;
153 wakeup_gpollfd_
->events
= G_IO_IN
;
155 work_source_
= g_source_new(&WorkSourceFuncs
, sizeof(WorkSource
));
156 static_cast<WorkSource
*>(work_source_
)->pump
= this;
157 g_source_add_poll(work_source_
, wakeup_gpollfd_
.get());
158 // Use a low priority so that we let other events in the queue go first.
159 g_source_set_priority(work_source_
, G_PRIORITY_DEFAULT_IDLE
);
160 // This is needed to allow Run calls inside Dispatch.
161 g_source_set_can_recurse(work_source_
, TRUE
);
162 g_source_attach(work_source_
, context_
);
163 gdk_event_handler_set(&EventDispatcher
, this, NULL
);
166 MessagePumpForUI::~MessagePumpForUI() {
167 gdk_event_handler_set(reinterpret_cast<GdkEventFunc
>(gtk_main_do_event
),
169 g_source_destroy(work_source_
);
170 g_source_unref(work_source_
);
171 close(wakeup_pipe_read_
);
172 close(wakeup_pipe_write_
);
175 void MessagePumpForUI::RunWithDispatcher(Delegate
* delegate
,
176 Dispatcher
* dispatcher
) {
178 // Make sure we only run this on one thread. GTK only has one message pump
179 // so we can only have one UI loop per process.
180 static PlatformThreadId thread_id
= PlatformThread::CurrentId();
181 DCHECK(thread_id
== PlatformThread::CurrentId()) <<
182 "Running MessagePumpForUI on two different threads; "
183 "this is unsupported by GLib!";
187 state
.delegate
= delegate
;
188 state
.dispatcher
= dispatcher
;
189 state
.should_quit
= false;
190 state
.run_depth
= state_
? state_
->run_depth
+ 1 : 1;
191 state
.has_work
= false;
193 RunState
* previous_state
= state_
;
196 // We really only do a single task for each iteration of the loop. If we
197 // have done something, assume there is likely something more to do. This
198 // will mean that we don't block on the message pump until there was nothing
199 // more to do. We also set this to true to make sure not to block on the
200 // first iteration of the loop, so RunAllPending() works correctly.
201 bool more_work_is_plausible
= true;
203 // We run our own loop instead of using g_main_loop_quit in one of the
204 // callbacks. This is so we only quit our own loops, and we don't quit
205 // nested loops run by others. TODO(deanm): Is this what we want?
207 // Don't block if we think we have more work to do.
208 bool block
= !more_work_is_plausible
;
210 // g_main_context_iteration returns true if events have been dispatched.
211 more_work_is_plausible
= g_main_context_iteration(context_
, block
);
212 if (state_
->should_quit
)
215 more_work_is_plausible
|= state_
->delegate
->DoWork();
216 if (state_
->should_quit
)
219 more_work_is_plausible
|=
220 state_
->delegate
->DoDelayedWork(&delayed_work_time_
);
221 if (state_
->should_quit
)
224 if (more_work_is_plausible
)
227 more_work_is_plausible
= state_
->delegate
->DoIdleWork();
228 if (state_
->should_quit
)
232 state_
= previous_state
;
235 // Return the timeout we want passed to poll.
236 int MessagePumpForUI::HandlePrepare() {
237 // We know we have work, but we haven't called HandleDispatch yet. Don't let
238 // the pump block so that we can do some processing.
239 if (state_
&& // state_ may be null during tests.
243 // We don't think we have work to do, but make sure not to block
244 // longer than the next time we need to run delayed work.
245 return GetTimeIntervalMilliseconds(delayed_work_time_
);
248 bool MessagePumpForUI::HandleCheck() {
249 if (!state_
) // state_ may be null during tests.
252 // We should only ever have a single message on the wakeup pipe, since we
253 // are only signaled when the queue went from empty to non-empty. The glib
254 // poll will tell us whether there was data, so this read shouldn't block.
255 if (wakeup_gpollfd_
->revents
& G_IO_IN
) {
257 if (HANDLE_EINTR(read(wakeup_pipe_read_
, &msg
, 1)) != 1 || msg
!= '!') {
258 NOTREACHED() << "Error reading from the wakeup pipe.";
260 // Since we ate the message, we need to record that we have more work,
261 // because HandleCheck() may be called without HandleDispatch being called
263 state_
->has_work
= true;
266 if (state_
->has_work
)
269 if (GetTimeIntervalMilliseconds(delayed_work_time_
) == 0) {
270 // The timer has expired. That condition will stay true until we process
271 // that delayed work, so we don't need to record this differently.
278 void MessagePumpForUI::HandleDispatch() {
279 state_
->has_work
= false;
280 if (state_
->delegate
->DoWork()) {
281 // NOTE: on Windows at this point we would call ScheduleWork (see
282 // MessagePumpForUI::HandleWorkMessage in message_pump_win.cc). But here,
283 // instead of posting a message on the wakeup pipe, we can avoid the
284 // syscalls and just signal that we have more work.
285 state_
->has_work
= true;
288 if (state_
->should_quit
)
291 state_
->delegate
->DoDelayedWork(&delayed_work_time_
);
294 void MessagePumpForUI::AddObserver(Observer
* observer
) {
295 observers_
.AddObserver(observer
);
298 void MessagePumpForUI::RemoveObserver(Observer
* observer
) {
299 observers_
.RemoveObserver(observer
);
302 void MessagePumpForUI::WillProcessEvent(GdkEvent
* event
) {
303 FOR_EACH_OBSERVER(Observer
, observers_
, WillProcessEvent(event
));
306 void MessagePumpForUI::DidProcessEvent(GdkEvent
* event
) {
307 FOR_EACH_OBSERVER(Observer
, observers_
, DidProcessEvent(event
));
310 void MessagePumpForUI::Quit() {
312 state_
->should_quit
= true;
314 NOTREACHED() << "Quit called outside Run!";
318 void MessagePumpForUI::ScheduleWork() {
319 // This can be called on any thread, so we don't want to touch any state
320 // variables as we would then need locks all over. This ensures that if
321 // we are sleeping in a poll that we will wake up.
323 if (HANDLE_EINTR(write(wakeup_pipe_write_
, &msg
, 1)) != 1) {
324 NOTREACHED() << "Could not write to the UI message loop wakeup pipe!";
328 void MessagePumpForUI::ScheduleDelayedWork(const Time
& delayed_work_time
) {
329 // We need to wake up the loop in case the poll timeout needs to be
330 // adjusted. This will cause us to try to do work, but that's ok.
331 delayed_work_time_
= delayed_work_time
;
336 void MessagePumpForUI::EventDispatcher(GdkEvent
* event
, gpointer data
) {
337 MessagePumpForUI
* message_pump
= reinterpret_cast<MessagePumpForUI
*>(data
);
339 message_pump
->WillProcessEvent(event
);
340 if (message_pump
->state_
&& // state_ may be null during tests.
341 message_pump
->state_
->dispatcher
) {
342 if (!message_pump
->state_
->dispatcher
->Dispatch(event
))
343 message_pump
->state_
->should_quit
= true;
345 gtk_main_do_event(event
);
347 message_pump
->DidProcessEvent(event
);