message_pump_glib.cc (11129B)
1 /* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ 2 /* vim: set ts=8 sts=2 et sw=2 tw=80: */ 3 // Copyright (c) 2008 The Chromium Authors. All rights reserved. 4 // Use of this source code is governed by a BSD-style license that can be 5 // found in the LICENSE file. 6 7 #include "base/message_pump_glib.h" 8 9 #include <unistd.h> 10 #include <math.h> 11 12 #include <gtk/gtk.h> 13 #include <glib.h> 14 15 #include "base/eintr_wrapper.h" 16 #include "base/logging.h" 17 #include "base/platform_thread.h" 18 19 namespace { 20 21 // Return a timeout suitable for the glib loop, -1 to block forever, 22 // 0 to return right away, or a timeout in milliseconds from now. 23 int GetTimeIntervalMilliseconds(const base::TimeTicks& from) { 24 if (from.is_null()) return -1; 25 26 // Be careful here. TimeDelta has a precision of microseconds, but we want a 27 // value in milliseconds. If there are 5.5ms left, should the delay be 5 or 28 // 6? It should be 6 to avoid executing delayed work too early. 29 int delay = 30 static_cast<int>(ceil((from - base::TimeTicks::Now()).InMillisecondsF())); 31 32 // If this value is negative, then we need to run delayed work soon. 33 return delay < 0 ? 0 : delay; 34 } 35 36 // A brief refresher on GLib: 37 // GLib sources have four callbacks: Prepare, Check, Dispatch and Finalize. 38 // On each iteration of the GLib pump, it calls each source's Prepare function. 39 // This function should return TRUE if it wants GLib to call its Dispatch, and 40 // FALSE otherwise. It can also set a timeout in this case for the next time 41 // Prepare should be called again (it may be called sooner). 42 // After the Prepare calls, GLib does a poll to check for events from the 43 // system. File descriptors can be attached to the sources. The poll may block 44 // if none of the Prepare calls returned TRUE. It will block indefinitely, or 45 // by the minimum time returned by a source in Prepare. 46 // After the poll, GLib calls Check for each source that returned FALSE 47 // from Prepare. The return value of Check has the same meaning as for Prepare, 48 // making Check a second chance to tell GLib we are ready for Dispatch. 49 // Finally, GLib calls Dispatch for each source that is ready. If Dispatch 50 // returns FALSE, GLib will destroy the source. Dispatch calls may be recursive 51 // (i.e., you can call Run from them), but Prepare and Check cannot. 52 // Finalize is called when the source is destroyed. 53 // NOTE: It is common for subsytems to want to process pending events while 54 // doing intensive work, for example the flash plugin. They usually use the 55 // following pattern (recommended by the GTK docs): 56 // while (gtk_events_pending()) { 57 // gtk_main_iteration(); 58 // } 59 // 60 // gtk_events_pending just calls g_main_context_pending, which does the 61 // following: 62 // - Call prepare on all the sources. 63 // - Do the poll with a timeout of 0 (not blocking). 64 // - Call check on all the sources. 65 // - *Does not* call dispatch on the sources. 66 // - Return true if any of prepare() or check() returned true. 67 // 68 // gtk_main_iteration just calls g_main_context_iteration, which does the whole 69 // thing, respecting the timeout for the poll (and block, although it is 70 // expected not to if gtk_events_pending returned true), and call dispatch. 71 // 72 // Thus it is important to only return true from prepare or check if we 73 // actually have events or work to do. We also need to make sure we keep 74 // internal state consistent so that if prepare/check return true when called 75 // from gtk_events_pending, they will still return true when called right 76 // after, from gtk_main_iteration. 77 // 78 // For the GLib pump we try to follow the Windows UI pump model: 79 // - Whenever we receive a wakeup event or the timer for delayed work expires, 80 // we run DoWork and/or DoDelayedWork. That part will also run in the other 81 // event pumps. 82 // - We also run DoWork, DoDelayedWork, and possibly DoIdleWork in the main 83 // loop, around event handling. 84 85 struct WorkSource : public GSource { 86 base::MessagePumpForUI* pump; 87 }; 88 89 gboolean WorkSourcePrepare(GSource* source, gint* timeout_ms) { 90 *timeout_ms = static_cast<WorkSource*>(source)->pump->HandlePrepare(); 91 // We always return FALSE, so that our timeout is honored. If we were 92 // to return TRUE, the timeout would be considered to be 0 and the poll 93 // would never block. Once the poll is finished, Check will be called. 94 return FALSE; 95 } 96 97 gboolean WorkSourceCheck(GSource* source) { 98 // Only return TRUE if Dispatch should be called. 99 return static_cast<WorkSource*>(source)->pump->HandleCheck(); 100 } 101 102 gboolean WorkSourceDispatch(GSource* source, GSourceFunc unused_func, 103 gpointer unused_data) { 104 static_cast<WorkSource*>(source)->pump->HandleDispatch(); 105 // Always return TRUE so our source stays registered. 106 return TRUE; 107 } 108 109 // I wish these could be const, but g_source_new wants non-const. 110 GSourceFuncs WorkSourceFuncs = {WorkSourcePrepare, WorkSourceCheck, 111 WorkSourceDispatch, NULL}; 112 113 } // namespace 114 115 namespace base { 116 117 MessagePumpForUI::MessagePumpForUI() 118 : state_(NULL), 119 context_(g_main_context_default()), 120 wakeup_gpollfd_(new GPollFD), 121 pipe_full_(false) { 122 // Create our wakeup pipe, which is used to flag when work was scheduled. 123 int fds[2]; 124 CHECK(pipe(fds) == 0); 125 wakeup_pipe_read_ = fds[0]; 126 wakeup_pipe_write_ = fds[1]; 127 wakeup_gpollfd_->fd = wakeup_pipe_read_; 128 wakeup_gpollfd_->events = G_IO_IN; 129 130 work_source_ = g_source_new(&WorkSourceFuncs, sizeof(WorkSource)); 131 static_cast<WorkSource*>(work_source_)->pump = this; 132 g_source_add_poll(work_source_, wakeup_gpollfd_.get()); 133 // Use a low priority so that we let other events in the queue go first. 134 g_source_set_priority(work_source_, G_PRIORITY_DEFAULT_IDLE); 135 // This is needed to allow Run calls inside Dispatch. 136 g_source_set_can_recurse(work_source_, TRUE); 137 g_source_attach(work_source_, context_); 138 } 139 140 MessagePumpForUI::~MessagePumpForUI() { 141 gdk_event_handler_set(reinterpret_cast<GdkEventFunc>(gtk_main_do_event), this, 142 NULL); 143 g_source_destroy(work_source_); 144 g_source_unref(work_source_); 145 close(wakeup_pipe_read_); 146 close(wakeup_pipe_write_); 147 } 148 149 void MessagePumpForUI::Run(Delegate* delegate) { 150 #ifndef NDEBUG 151 // Make sure we only run this on one thread. GTK only has one message pump 152 // so we can only have one UI loop per process. 153 static PlatformThreadId thread_id = PlatformThread::CurrentId(); 154 DCHECK(thread_id == PlatformThread::CurrentId()) 155 << "Running MessagePumpForUI on two different threads; " 156 "this is unsupported by GLib!"; 157 #endif 158 159 RunState state; 160 state.delegate = delegate; 161 state.should_quit = false; 162 state.run_depth = state_ ? state_->run_depth + 1 : 1; 163 state.has_work = false; 164 165 RunState* previous_state = state_; 166 state_ = &state; 167 168 // We really only do a single task for each iteration of the loop. If we 169 // have done something, assume there is likely something more to do. This 170 // will mean that we don't block on the message pump until there was nothing 171 // more to do. We also set this to true to make sure not to block on the 172 // first iteration of the loop, so RunAllPending() works correctly. 173 bool more_work_is_plausible = true; 174 175 // We run our own loop instead of using g_main_loop_quit in one of the 176 // callbacks. This is so we only quit our own loops, and we don't quit 177 // nested loops run by others. TODO(deanm): Is this what we want? 178 for (;;) { 179 // Don't block if we think we have more work to do. 180 bool block = !more_work_is_plausible; 181 182 // g_main_context_iteration returns true if events have been dispatched. 183 more_work_is_plausible = g_main_context_iteration(context_, block); 184 if (state_->should_quit) break; 185 186 more_work_is_plausible |= state_->delegate->DoWork(); 187 if (state_->should_quit) break; 188 189 more_work_is_plausible |= 190 state_->delegate->DoDelayedWork(&delayed_work_time_); 191 if (state_->should_quit) break; 192 193 if (more_work_is_plausible) continue; 194 195 more_work_is_plausible = state_->delegate->DoIdleWork(); 196 if (state_->should_quit) break; 197 } 198 199 state_ = previous_state; 200 } 201 202 // Return the timeout we want passed to poll. 203 int MessagePumpForUI::HandlePrepare() { 204 // We know we have work, but we haven't called HandleDispatch yet. Don't let 205 // the pump block so that we can do some processing. 206 if (state_ && // state_ may be null during tests. 207 state_->has_work) 208 return 0; 209 210 // We don't think we have work to do, but make sure not to block 211 // longer than the next time we need to run delayed work. 212 return GetTimeIntervalMilliseconds(delayed_work_time_); 213 } 214 215 bool MessagePumpForUI::HandleCheck() { 216 if (!state_) // state_ may be null during tests. 217 return false; 218 219 // We should only ever have a single message on the wakeup pipe since we only 220 // write to the pipe when pipe_full_ is false. The glib poll will tell us 221 // whether there was data, so this read shouldn't block. 222 if (wakeup_gpollfd_->revents & G_IO_IN) { 223 pipe_full_ = false; 224 225 char msg; 226 if (HANDLE_EINTR(read(wakeup_pipe_read_, &msg, 1)) != 1 || msg != '!') { 227 NOTREACHED() << "Error reading from the wakeup pipe."; 228 } 229 // Since we ate the message, we need to record that we have more work, 230 // because HandleCheck() may be called without HandleDispatch being called 231 // afterwards. 232 state_->has_work = true; 233 } 234 235 if (state_->has_work) return true; 236 237 if (GetTimeIntervalMilliseconds(delayed_work_time_) == 0) { 238 // The timer has expired. That condition will stay true until we process 239 // that delayed work, so we don't need to record this differently. 240 return true; 241 } 242 243 return false; 244 } 245 246 void MessagePumpForUI::HandleDispatch() { 247 state_->has_work = false; 248 if (state_->delegate->DoWork()) { 249 // NOTE: on Windows at this point we would call ScheduleWork (see 250 // MessagePumpForUI::HandleWorkMessage in message_pump_win.cc). But here, 251 // instead of posting a message on the wakeup pipe, we can avoid the 252 // syscalls and just signal that we have more work. 253 state_->has_work = true; 254 } 255 256 if (state_->should_quit) return; 257 258 state_->delegate->DoDelayedWork(&delayed_work_time_); 259 } 260 261 void MessagePumpForUI::Quit() { 262 if (state_) { 263 state_->should_quit = true; 264 } else { 265 NOTREACHED() << "Quit called outside Run!"; 266 } 267 } 268 269 void MessagePumpForUI::ScheduleWork() { 270 bool was_full = pipe_full_.exchange(true); 271 if (was_full) { 272 return; 273 } 274 275 // This can be called on any thread, so we don't want to touch any state 276 // variables as we would then need locks all over. This ensures that if 277 // we are sleeping in a poll that we will wake up. 278 char msg = '!'; 279 if (HANDLE_EINTR(write(wakeup_pipe_write_, &msg, 1)) != 1) { 280 NOTREACHED() << "Could not write to the UI message loop wakeup pipe!"; 281 } 282 } 283 284 void MessagePumpForUI::ScheduleDelayedWork(const TimeTicks& delayed_work_time) { 285 // We need to wake up the loop in case the poll timeout needs to be 286 // adjusted. This will cause us to try to do work, but that's ok. 287 delayed_work_time_ = delayed_work_time; 288 ScheduleWork(); 289 } 290 291 } // namespace base