[email protected] | 298ee7d | 2012-03-30 21:29:30 | [diff] [blame] | 1 | // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
license.bot | bf09a50 | 2008-08-24 00:55:55 | [diff] [blame] | 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 4 | |
[email protected] | 320eff4 | 2011-11-15 00:29:48 | [diff] [blame] | 5 | #ifndef IPC_IPC_SYNC_CHANNEL_H_ |
| 6 | #define IPC_IPC_SYNC_CHANNEL_H_ |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 7 | |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 8 | #include <deque> |
danakj | 03de39b2 | 2016-04-23 04:21:09 | [diff] [blame] | 9 | #include <memory> |
rockot | 29ade1b | 2015-08-07 06:23:59 | [diff] [blame] | 10 | #include <string> |
| 11 | #include <vector> |
[email protected] | 7bf73095 | 2009-05-29 09:31:15 | [diff] [blame] | 12 | |
tfarina | 4da8275d | 2015-09-16 09:56:21 | [diff] [blame] | 13 | #include "base/macros.h" |
[email protected] | 3b63f8f4 | 2011-03-28 01:54:15 | [diff] [blame] | 14 | #include "base/memory/ref_counted.h" |
[email protected] | 20305ec | 2011-01-21 04:55:52 | [diff] [blame] | 15 | #include "base/synchronization/lock.h" |
[email protected] | 44f9c95 | 2011-01-02 06:05:39 | [diff] [blame] | 16 | #include "base/synchronization/waitable_event_watcher.h" |
[email protected] | 42ce94e | 2010-12-08 19:28:09 | [diff] [blame] | 17 | #include "ipc/ipc_channel_handle.h" |
[email protected] | 946d1b2 | 2009-07-22 23:57:21 | [diff] [blame] | 18 | #include "ipc/ipc_channel_proxy.h" |
[email protected] | 1e9499c | 2010-04-06 20:33:36 | [diff] [blame] | 19 | #include "ipc/ipc_sync_message.h" |
rockot | ac64ae92f | 2015-08-06 00:32:29 | [diff] [blame] | 20 | #include "ipc/ipc_sync_message_filter.h" |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 21 | #include "mojo/public/c/system/types.h" |
| 22 | #include "mojo/public/cpp/system/watcher.h" |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 23 | |
[email protected] | 7bf73095 | 2009-05-29 09:31:15 | [diff] [blame] | 24 | namespace base { |
| 25 | class WaitableEvent; |
| 26 | }; |
| 27 | |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 28 | namespace mojo { |
| 29 | class SyncHandleRegistry; |
| 30 | class Watcher; |
| 31 | } |
| 32 | |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 33 | namespace IPC { |
| 34 | |
rockot | ee0123e2 | 2016-06-24 17:27:33 | [diff] [blame] | 35 | class ChannelFactory; |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 36 | class MojoEvent; |
| 37 | class SyncMessage; |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 38 | |
[email protected] | 1e9499c | 2010-04-06 20:33:36 | [diff] [blame] | 39 | // This is similar to ChannelProxy, with the added feature of supporting sending |
| 40 | // synchronous messages. |
[email protected] | 4a180a5 | 2011-04-15 19:07:43 | [diff] [blame] | 41 | // |
| 42 | // Overview of how the sync channel works |
| 43 | // -------------------------------------- |
| 44 | // When the sending thread sends a synchronous message, we create a bunch |
[email protected] | 5855f1d | 2014-04-16 16:50:43 | [diff] [blame] | 45 | // of tracking info (created in Send, stored in the PendingSyncMsg |
[email protected] | 4a180a5 | 2011-04-15 19:07:43 | [diff] [blame] | 46 | // structure) associated with the message that we identify by the unique |
| 47 | // "MessageId" on the SyncMessage. Among the things we save is the |
| 48 | // "Deserializer" which is provided by the sync message. This object is in |
| 49 | // charge of reading the parameters from the reply message and putting them in |
| 50 | // the output variables provided by its caller. |
| 51 | // |
| 52 | // The info gets stashed in a queue since we could have a nested stack of sync |
| 53 | // messages (each side could send sync messages in response to sync messages, |
| 54 | // so it works like calling a function). The message is sent to the I/O thread |
| 55 | // for dispatch and the original thread blocks waiting for the reply. |
| 56 | // |
| 57 | // SyncContext maintains the queue in a threadsafe way and listens for replies |
| 58 | // on the I/O thread. When a reply comes in that matches one of the messages |
| 59 | // it's looking for (using the unique message ID), it will execute the |
| 60 | // deserializer stashed from before, and unblock the original thread. |
| 61 | // |
| 62 | // |
| 63 | // Significant complexity results from the fact that messages are still coming |
| 64 | // in while the original thread is blocked. Normal async messages are queued |
| 65 | // and dispatched after the blocking call is complete. Sync messages must |
| 66 | // be dispatched in a reentrant manner to avoid deadlock. |
| 67 | // |
| 68 | // |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 69 | // Note that care must be taken that the lifetime of the ipc_thread argument |
| 70 | // is more than this object. If the message loop goes away while this object |
| 71 | // is running and it's used to send a message, then it will use the invalid |
| 72 | // message loop pointer to proxy it to the ipc thread. |
[email protected] | 329be05 | 2013-02-04 18:14:28 | [diff] [blame] | 73 | class IPC_EXPORT SyncChannel : public ChannelProxy { |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 74 | public: |
[email protected] | 298ee7d | 2012-03-30 21:29:30 | [diff] [blame] | 75 | enum RestrictDispatchGroup { |
| 76 | kRestrictDispatchGroup_None = 0, |
| 77 | }; |
| 78 | |
[email protected] | 952394af | 2011-11-16 01:06:46 | [diff] [blame] | 79 | // Creates and initializes a sync channel. If create_pipe_now is specified, |
| 80 | // the channel will be initialized synchronously. |
[email protected] | fca876a1 | 2014-06-05 16:15:38 | [diff] [blame] | 81 | // The naming pattern follows IPC::Channel. |
danakj | 03de39b2 | 2016-04-23 04:21:09 | [diff] [blame] | 82 | static std::unique_ptr<SyncChannel> Create( |
[email protected] | fca876a1 | 2014-06-05 16:15:38 | [diff] [blame] | 83 | const IPC::ChannelHandle& channel_handle, |
| 84 | IPC::Channel::Mode mode, |
| 85 | Listener* listener, |
dcheng | fd03370 | 2014-08-28 16:59:29 | [diff] [blame] | 86 | const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner, |
[email protected] | fca876a1 | 2014-06-05 16:15:38 | [diff] [blame] | 87 | bool create_pipe_now, |
erikchen | 30dc281 | 2015-09-24 03:26:38 | [diff] [blame] | 88 | base::WaitableEvent* shutdown_event); |
[email protected] | 952394af | 2011-11-16 01:06:46 | [diff] [blame] | 89 | |
danakj | 03de39b2 | 2016-04-23 04:21:09 | [diff] [blame] | 90 | static std::unique_ptr<SyncChannel> Create( |
| 91 | std::unique_ptr<ChannelFactory> factory, |
[email protected] | 6486088 | 2014-08-04 23:44:17 | [diff] [blame] | 92 | Listener* listener, |
dcheng | fd03370 | 2014-08-28 16:59:29 | [diff] [blame] | 93 | const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner, |
[email protected] | 6486088 | 2014-08-04 23:44:17 | [diff] [blame] | 94 | bool create_pipe_now, |
| 95 | base::WaitableEvent* shutdown_event); |
| 96 | |
[email protected] | 952394af | 2011-11-16 01:06:46 | [diff] [blame] | 97 | // Creates an uninitialized sync channel. Call ChannelProxy::Init to |
| 98 | // initialize the channel. This two-step setup allows message filters to be |
| 99 | // added before any messages are sent or received. |
danakj | 03de39b2 | 2016-04-23 04:21:09 | [diff] [blame] | 100 | static std::unique_ptr<SyncChannel> Create( |
[email protected] | fca876a1 | 2014-06-05 16:15:38 | [diff] [blame] | 101 | Listener* listener, |
dcheng | fd03370 | 2014-08-28 16:59:29 | [diff] [blame] | 102 | const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner, |
[email protected] | fca876a1 | 2014-06-05 16:15:38 | [diff] [blame] | 103 | base::WaitableEvent* shutdown_event); |
[email protected] | 952394af | 2011-11-16 01:06:46 | [diff] [blame] | 104 | |
dcheng | fe61fca | 2014-10-22 02:29:52 | [diff] [blame] | 105 | ~SyncChannel() override; |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 106 | |
dcheng | fe61fca | 2014-10-22 02:29:52 | [diff] [blame] | 107 | bool Send(Message* message) override; |
[email protected] | d65cab7a | 2008-08-12 01:25:41 | [diff] [blame] | 108 | |
[email protected] | 298ee7d | 2012-03-30 21:29:30 | [diff] [blame] | 109 | // Sets the dispatch group for this channel, to only allow re-entrant dispatch |
| 110 | // of messages to other channels in the same group. |
[email protected] | 54af05f | 2011-04-08 03:38:21 | [diff] [blame] | 111 | // |
| 112 | // Normally, any unblocking message coming from any channel can be dispatched |
| 113 | // when any (possibly other) channel is blocked on sending a message. This is |
| 114 | // needed in some cases to unblock certain loops (e.g. necessary when some |
| 115 | // processes share a window hierarchy), but may cause re-entrancy issues in |
| 116 | // some cases where such loops are not possible. This flags allows the tagging |
[email protected] | 298ee7d | 2012-03-30 21:29:30 | [diff] [blame] | 117 | // of some particular channels to only re-enter in known correct cases. |
| 118 | // |
| 119 | // Incoming messages on channels belonging to a group that is not |
| 120 | // kRestrictDispatchGroup_None will only be dispatched while a sync message is |
| 121 | // being sent on a channel of the *same* group. |
| 122 | // Incoming messages belonging to the kRestrictDispatchGroup_None group (the |
| 123 | // default) will be dispatched in any case. |
| 124 | void SetRestrictDispatchChannelGroup(int group); |
[email protected] | 54af05f | 2011-04-08 03:38:21 | [diff] [blame] | 125 | |
rockot | ac64ae92f | 2015-08-06 00:32:29 | [diff] [blame] | 126 | // Creates a new IPC::SyncMessageFilter and adds it to this SyncChannel. |
| 127 | // This should be used instead of directly constructing a new |
| 128 | // SyncMessageFilter. |
| 129 | scoped_refptr<IPC::SyncMessageFilter> CreateSyncMessageFilter(); |
| 130 | |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 131 | protected: |
| 132 | class ReceivedSyncMsgQueue; |
| 133 | friend class ReceivedSyncMsgQueue; |
| 134 | |
| 135 | // SyncContext holds the per object data for SyncChannel, so that SyncChannel |
| 136 | // can be deleted while it's being used in a different thread. See |
| 137 | // ChannelProxy::Context for more information. |
[email protected] | 329be05 | 2013-02-04 18:14:28 | [diff] [blame] | 138 | class SyncContext : public Context { |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 139 | public: |
dcheng | fd03370 | 2014-08-28 16:59:29 | [diff] [blame] | 140 | SyncContext( |
| 141 | Listener* listener, |
| 142 | const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner, |
| 143 | base::WaitableEvent* shutdown_event); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 144 | |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 145 | // Adds information about an outgoing sync message to the context so that |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 146 | // we know how to deserialize the reply. |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 147 | bool Push(SyncMessage* sync_msg); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 148 | |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 149 | // Cleanly remove the top deserializer (and throw it away). Returns the |
| 150 | // result of the Send call for that message. |
| 151 | bool Pop(); |
| 152 | |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 153 | // Returns a Mojo Event that signals when a sync send is complete or timed |
| 154 | // out or the process shut down. |
| 155 | MojoEvent* GetSendDoneEvent(); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 156 | |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 157 | // Returns a Mojo Event that signals when an incoming message that's not the |
| 158 | // pending reply needs to get dispatched (by calling DispatchMessages.) |
| 159 | MojoEvent* GetDispatchEvent(); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 160 | |
| 161 | void DispatchMessages(); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 162 | |
| 163 | // Checks if the given message is blocking the listener thread because of a |
[email protected] | d321644 | 2009-03-05 21:07:27 | [diff] [blame] | 164 | // synchronous send. If it is, the thread is unblocked and true is |
| 165 | // returned. Otherwise the function returns false. |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 166 | bool TryToUnblockListener(const Message* msg); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 167 | |
[email protected] | 1c4947f | 2009-01-15 22:25:11 | [diff] [blame] | 168 | base::WaitableEvent* shutdown_event() { return shutdown_event_; } |
[email protected] | d65cab7a | 2008-08-12 01:25:41 | [diff] [blame] | 169 | |
[email protected] | ac0efda | 2009-10-14 16:22:02 | [diff] [blame] | 170 | ReceivedSyncMsgQueue* received_sync_msgs() { |
[email protected] | 1757164 | 2013-06-01 04:11:27 | [diff] [blame] | 171 | return received_sync_msgs_.get(); |
[email protected] | ac0efda | 2009-10-14 16:22:02 | [diff] [blame] | 172 | } |
| 173 | |
[email protected] | 298ee7d | 2012-03-30 21:29:30 | [diff] [blame] | 174 | void set_restrict_dispatch_group(int group) { |
| 175 | restrict_dispatch_group_ = group; |
| 176 | } |
| 177 | |
| 178 | int restrict_dispatch_group() const { |
| 179 | return restrict_dispatch_group_; |
| 180 | } |
[email protected] | 54af05f | 2011-04-08 03:38:21 | [diff] [blame] | 181 | |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 182 | private: |
dcheng | fe61fca | 2014-10-22 02:29:52 | [diff] [blame] | 183 | ~SyncContext() override; |
[email protected] | 1e9499c | 2010-04-06 20:33:36 | [diff] [blame] | 184 | // ChannelProxy methods that we override. |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 185 | |
| 186 | // Called on the listener thread. |
dcheng | fe61fca | 2014-10-22 02:29:52 | [diff] [blame] | 187 | void Clear() override; |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 188 | |
| 189 | // Called on the IPC thread. |
dcheng | fe61fca | 2014-10-22 02:29:52 | [diff] [blame] | 190 | bool OnMessageReceived(const Message& msg) override; |
| 191 | void OnChannelError() override; |
| 192 | void OnChannelOpened() override; |
| 193 | void OnChannelClosed() override; |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 194 | |
| 195 | // Cancels all pending Send calls. |
| 196 | void CancelPendingSends(); |
| 197 | |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 198 | void OnShutdownEventSignaled(base::WaitableEvent* event); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 199 | |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 200 | typedef std::deque<PendingSyncMsg> PendingSyncMessageQueue; |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 201 | PendingSyncMessageQueue deserializers_; |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 202 | bool reject_new_deserializers_ = false; |
[email protected] | 20305ec | 2011-01-21 04:55:52 | [diff] [blame] | 203 | base::Lock deserializers_lock_; |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 204 | |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 205 | scoped_refptr<ReceivedSyncMsgQueue> received_sync_msgs_; |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 206 | |
[email protected] | 1c4947f | 2009-01-15 22:25:11 | [diff] [blame] | 207 | base::WaitableEvent* shutdown_event_; |
| 208 | base::WaitableEventWatcher shutdown_watcher_; |
[email protected] | 329be05 | 2013-02-04 18:14:28 | [diff] [blame] | 209 | base::WaitableEventWatcher::EventCallback shutdown_watcher_callback_; |
[email protected] | 298ee7d | 2012-03-30 21:29:30 | [diff] [blame] | 210 | int restrict_dispatch_group_; |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 211 | }; |
| 212 | |
| 213 | private: |
dcheng | fd03370 | 2014-08-28 16:59:29 | [diff] [blame] | 214 | SyncChannel( |
| 215 | Listener* listener, |
| 216 | const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner, |
| 217 | base::WaitableEvent* shutdown_event); |
[email protected] | fca876a1 | 2014-06-05 16:15:38 | [diff] [blame] | 218 | |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 219 | void OnDispatchHandleReady(MojoResult result); |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 220 | |
[email protected] | d321644 | 2009-03-05 21:07:27 | [diff] [blame] | 221 | SyncContext* sync_context() { |
| 222 | return reinterpret_cast<SyncContext*>(context()); |
| 223 | } |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 224 | |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 225 | // Both these functions wait for a reply, timeout or process shutdown. The |
| 226 | // latter one also runs a nested message loop in the meantime. |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 227 | static void WaitForReply(mojo::SyncHandleRegistry* registry, |
| 228 | SyncContext* context, |
| 229 | bool pump_messages); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 230 | |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 231 | // Runs a nested message loop until a reply arrives, times out, or the process |
| 232 | // shuts down. |
[email protected] | 9eec225 | 2009-12-01 02:34:18 | [diff] [blame] | 233 | static void WaitForReplyWithNestedMessageLoop(SyncContext* context); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 234 | |
[email protected] | 952394af | 2011-11-16 01:06:46 | [diff] [blame] | 235 | // Starts the dispatch watcher. |
| 236 | void StartWatching(); |
| 237 | |
rockot | 29ade1b | 2015-08-07 06:23:59 | [diff] [blame] | 238 | // ChannelProxy overrides: |
| 239 | void OnChannelInit() override; |
| 240 | |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 241 | scoped_refptr<mojo::SyncHandleRegistry> sync_handle_registry_; |
| 242 | |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 243 | // Used to signal events between the IPC and listener threads. |
rockot | 3c23629 | 2016-07-07 20:26:02 | [diff] [blame] | 244 | mojo::Watcher dispatch_watcher_; |
[email protected] | 3cdb7af81 | 2008-10-24 19:21:13 | [diff] [blame] | 245 | |
rockot | 29ade1b | 2015-08-07 06:23:59 | [diff] [blame] | 246 | // Tracks SyncMessageFilters created before complete channel initialization. |
| 247 | std::vector<scoped_refptr<SyncMessageFilter>> pre_init_sync_message_filters_; |
| 248 | |
[email protected] | 73a797fb | 2010-06-07 02:10:18 | [diff] [blame] | 249 | DISALLOW_COPY_AND_ASSIGN(SyncChannel); |
initial.commit | 09911bf | 2008-07-26 23:55:29 | [diff] [blame] | 250 | }; |
| 251 | |
| 252 | } // namespace IPC |
| 253 | |
[email protected] | 320eff4 | 2011-11-15 00:29:48 | [diff] [blame] | 254 | #endif // IPC_IPC_SYNC_CHANNEL_H_ |