blob: 620e9eedd56b4d367ec5f4aba12602b1227be337 [file] [log] [blame]
[email protected]298ee7d2012-03-30 21:29:301// Copyright (c) 2012 The Chromium Authors. All rights reserved.
license.botbf09a502008-08-24 00:55:552// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
initial.commit09911bf2008-07-26 23:55:294
[email protected]320eff42011-11-15 00:29:485#ifndef IPC_IPC_SYNC_CHANNEL_H_
6#define IPC_IPC_SYNC_CHANNEL_H_
initial.commit09911bf2008-07-26 23:55:297
danakj03de39b22016-04-23 04:21:098#include <memory>
rockot29ade1b2015-08-07 06:23:599#include <string>
10#include <vector>
[email protected]7bf730952009-05-29 09:31:1511
Brett Wilson55ff1475e2017-09-26 00:28:4812#include "base/containers/circular_deque.h"
tfarina4da8275d2015-09-16 09:56:2113#include "base/macros.h"
[email protected]3b63f8f42011-03-28 01:54:1514#include "base/memory/ref_counted.h"
[email protected]20305ec2011-01-21 04:55:5215#include "base/synchronization/lock.h"
[email protected]44f9c952011-01-02 06:05:3916#include "base/synchronization/waitable_event_watcher.h"
[email protected]42ce94e2010-12-08 19:28:0917#include "ipc/ipc_channel_handle.h"
[email protected]946d1b22009-07-22 23:57:2118#include "ipc/ipc_channel_proxy.h"
[email protected]1e9499c2010-04-06 20:33:3619#include "ipc/ipc_sync_message.h"
rockotac64ae92f2015-08-06 00:32:2920#include "ipc/ipc_sync_message_filter.h"
rockot3c236292016-07-07 20:26:0221#include "mojo/public/c/system/types.h"
rockot9eadaba2017-03-15 23:57:4722#include "mojo/public/cpp/system/simple_watcher.h"
initial.commit09911bf2008-07-26 23:55:2923
[email protected]7bf730952009-05-29 09:31:1524namespace base {
rockotb62e2e32017-03-24 18:36:4425class RunLoop;
[email protected]7bf730952009-05-29 09:31:1526class WaitableEvent;
27};
28
rockot3c236292016-07-07 20:26:0229namespace mojo {
30class SyncHandleRegistry;
rockot3c236292016-07-07 20:26:0231}
32
initial.commit09911bf2008-07-26 23:55:2933namespace IPC {
34
rockotee0123e22016-06-24 17:27:3335class ChannelFactory;
rockot3c236292016-07-07 20:26:0236class SyncMessage;
initial.commit09911bf2008-07-26 23:55:2937
[email protected]1e9499c2010-04-06 20:33:3638// This is similar to ChannelProxy, with the added feature of supporting sending
39// synchronous messages.
[email protected]4a180a52011-04-15 19:07:4340//
41// Overview of how the sync channel works
42// --------------------------------------
43// When the sending thread sends a synchronous message, we create a bunch
[email protected]5855f1d2014-04-16 16:50:4344// of tracking info (created in Send, stored in the PendingSyncMsg
[email protected]4a180a52011-04-15 19:07:4345// structure) associated with the message that we identify by the unique
46// "MessageId" on the SyncMessage. Among the things we save is the
47// "Deserializer" which is provided by the sync message. This object is in
48// charge of reading the parameters from the reply message and putting them in
49// the output variables provided by its caller.
50//
51// The info gets stashed in a queue since we could have a nested stack of sync
52// messages (each side could send sync messages in response to sync messages,
53// so it works like calling a function). The message is sent to the I/O thread
54// for dispatch and the original thread blocks waiting for the reply.
55//
56// SyncContext maintains the queue in a threadsafe way and listens for replies
57// on the I/O thread. When a reply comes in that matches one of the messages
58// it's looking for (using the unique message ID), it will execute the
59// deserializer stashed from before, and unblock the original thread.
60//
61//
62// Significant complexity results from the fact that messages are still coming
63// in while the original thread is blocked. Normal async messages are queued
64// and dispatched after the blocking call is complete. Sync messages must
65// be dispatched in a reentrant manner to avoid deadlock.
66//
67//
initial.commit09911bf2008-07-26 23:55:2968// Note that care must be taken that the lifetime of the ipc_thread argument
69// is more than this object. If the message loop goes away while this object
70// is running and it's used to send a message, then it will use the invalid
71// message loop pointer to proxy it to the ipc thread.
[email protected]329be052013-02-04 18:14:2872class IPC_EXPORT SyncChannel : public ChannelProxy {
initial.commit09911bf2008-07-26 23:55:2973 public:
[email protected]298ee7d2012-03-30 21:29:3074 enum RestrictDispatchGroup {
75 kRestrictDispatchGroup_None = 0,
76 };
77
[email protected]952394af2011-11-16 01:06:4678 // Creates and initializes a sync channel. If create_pipe_now is specified,
79 // the channel will be initialized synchronously.
[email protected]fca876a12014-06-05 16:15:3880 // The naming pattern follows IPC::Channel.
danakj03de39b22016-04-23 04:21:0981 static std::unique_ptr<SyncChannel> Create(
[email protected]fca876a12014-06-05 16:15:3882 const IPC::ChannelHandle& channel_handle,
83 IPC::Channel::Mode mode,
84 Listener* listener,
dchengfd033702014-08-28 16:59:2985 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
Hajime Hoshiff15e972017-11-09 06:37:0986 const scoped_refptr<base::SingleThreadTaskRunner>& listener_task_runner,
[email protected]fca876a12014-06-05 16:15:3887 bool create_pipe_now,
erikchen30dc2812015-09-24 03:26:3888 base::WaitableEvent* shutdown_event);
[email protected]952394af2011-11-16 01:06:4689
danakj03de39b22016-04-23 04:21:0990 static std::unique_ptr<SyncChannel> Create(
91 std::unique_ptr<ChannelFactory> factory,
[email protected]64860882014-08-04 23:44:1792 Listener* listener,
dchengfd033702014-08-28 16:59:2993 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
Hajime Hoshiff15e972017-11-09 06:37:0994 const scoped_refptr<base::SingleThreadTaskRunner>& listener_task_runner,
[email protected]64860882014-08-04 23:44:1795 bool create_pipe_now,
96 base::WaitableEvent* shutdown_event);
97
[email protected]952394af2011-11-16 01:06:4698 // Creates an uninitialized sync channel. Call ChannelProxy::Init to
99 // initialize the channel. This two-step setup allows message filters to be
100 // added before any messages are sent or received.
danakj03de39b22016-04-23 04:21:09101 static std::unique_ptr<SyncChannel> Create(
[email protected]fca876a12014-06-05 16:15:38102 Listener* listener,
dchengfd033702014-08-28 16:59:29103 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
Hajime Hoshiff15e972017-11-09 06:37:09104 const scoped_refptr<base::SingleThreadTaskRunner>& listener_task_runner,
[email protected]fca876a12014-06-05 16:15:38105 base::WaitableEvent* shutdown_event);
[email protected]952394af2011-11-16 01:06:46106
dchengfe61fca2014-10-22 02:29:52107 ~SyncChannel() override;
initial.commit09911bf2008-07-26 23:55:29108
dchengfe61fca2014-10-22 02:29:52109 bool Send(Message* message) override;
[email protected]d65cab7a2008-08-12 01:25:41110
[email protected]298ee7d2012-03-30 21:29:30111 // Sets the dispatch group for this channel, to only allow re-entrant dispatch
112 // of messages to other channels in the same group.
[email protected]54af05f2011-04-08 03:38:21113 //
114 // Normally, any unblocking message coming from any channel can be dispatched
115 // when any (possibly other) channel is blocked on sending a message. This is
116 // needed in some cases to unblock certain loops (e.g. necessary when some
117 // processes share a window hierarchy), but may cause re-entrancy issues in
118 // some cases where such loops are not possible. This flags allows the tagging
[email protected]298ee7d2012-03-30 21:29:30119 // of some particular channels to only re-enter in known correct cases.
120 //
121 // Incoming messages on channels belonging to a group that is not
122 // kRestrictDispatchGroup_None will only be dispatched while a sync message is
123 // being sent on a channel of the *same* group.
124 // Incoming messages belonging to the kRestrictDispatchGroup_None group (the
125 // default) will be dispatched in any case.
126 void SetRestrictDispatchChannelGroup(int group);
[email protected]54af05f2011-04-08 03:38:21127
rockotac64ae92f2015-08-06 00:32:29128 // Creates a new IPC::SyncMessageFilter and adds it to this SyncChannel.
129 // This should be used instead of directly constructing a new
130 // SyncMessageFilter.
131 scoped_refptr<IPC::SyncMessageFilter> CreateSyncMessageFilter();
132
initial.commit09911bf2008-07-26 23:55:29133 protected:
134 class ReceivedSyncMsgQueue;
135 friend class ReceivedSyncMsgQueue;
136
137 // SyncContext holds the per object data for SyncChannel, so that SyncChannel
138 // can be deleted while it's being used in a different thread. See
139 // ChannelProxy::Context for more information.
[email protected]329be052013-02-04 18:14:28140 class SyncContext : public Context {
initial.commit09911bf2008-07-26 23:55:29141 public:
dchengfd033702014-08-28 16:59:29142 SyncContext(
143 Listener* listener,
144 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
Hajime Hoshiff15e972017-11-09 06:37:09145 const scoped_refptr<base::SingleThreadTaskRunner>& listener_task_runner,
dchengfd033702014-08-28 16:59:29146 base::WaitableEvent* shutdown_event);
initial.commit09911bf2008-07-26 23:55:29147
initial.commit09911bf2008-07-26 23:55:29148 // Adds information about an outgoing sync message to the context so that
[email protected]3cdb7af812008-10-24 19:21:13149 // we know how to deserialize the reply.
rockot3c236292016-07-07 20:26:02150 bool Push(SyncMessage* sync_msg);
initial.commit09911bf2008-07-26 23:55:29151
[email protected]3cdb7af812008-10-24 19:21:13152 // Cleanly remove the top deserializer (and throw it away). Returns the
153 // result of the Send call for that message.
154 bool Pop();
155
rockot3c236292016-07-07 20:26:02156 // Returns a Mojo Event that signals when a sync send is complete or timed
157 // out or the process shut down.
rockotb62e2e32017-03-24 18:36:44158 base::WaitableEvent* GetSendDoneEvent();
initial.commit09911bf2008-07-26 23:55:29159
rockot3c236292016-07-07 20:26:02160 // Returns a Mojo Event that signals when an incoming message that's not the
161 // pending reply needs to get dispatched (by calling DispatchMessages.)
rockotb62e2e32017-03-24 18:36:44162 base::WaitableEvent* GetDispatchEvent();
initial.commit09911bf2008-07-26 23:55:29163
164 void DispatchMessages();
initial.commit09911bf2008-07-26 23:55:29165
166 // Checks if the given message is blocking the listener thread because of a
[email protected]d3216442009-03-05 21:07:27167 // synchronous send. If it is, the thread is unblocked and true is
168 // returned. Otherwise the function returns false.
[email protected]3cdb7af812008-10-24 19:21:13169 bool TryToUnblockListener(const Message* msg);
initial.commit09911bf2008-07-26 23:55:29170
[email protected]1c4947f2009-01-15 22:25:11171 base::WaitableEvent* shutdown_event() { return shutdown_event_; }
[email protected]d65cab7a2008-08-12 01:25:41172
[email protected]ac0efda2009-10-14 16:22:02173 ReceivedSyncMsgQueue* received_sync_msgs() {
[email protected]17571642013-06-01 04:11:27174 return received_sync_msgs_.get();
[email protected]ac0efda2009-10-14 16:22:02175 }
176
[email protected]298ee7d2012-03-30 21:29:30177 void set_restrict_dispatch_group(int group) {
178 restrict_dispatch_group_ = group;
179 }
180
181 int restrict_dispatch_group() const {
182 return restrict_dispatch_group_;
183 }
[email protected]54af05f2011-04-08 03:38:21184
rockotb62e2e32017-03-24 18:36:44185 void OnSendDoneEventSignaled(base::RunLoop* nested_loop,
186 base::WaitableEvent* event);
187
initial.commit09911bf2008-07-26 23:55:29188 private:
dchengfe61fca2014-10-22 02:29:52189 ~SyncContext() override;
[email protected]1e9499c2010-04-06 20:33:36190 // ChannelProxy methods that we override.
[email protected]3cdb7af812008-10-24 19:21:13191
192 // Called on the listener thread.
dchengfe61fca2014-10-22 02:29:52193 void Clear() override;
[email protected]3cdb7af812008-10-24 19:21:13194
195 // Called on the IPC thread.
dchengfe61fca2014-10-22 02:29:52196 bool OnMessageReceived(const Message& msg) override;
197 void OnChannelError() override;
rockot10188752016-09-08 18:24:56198 void OnChannelOpened() override;
dchengfe61fca2014-10-22 02:29:52199 void OnChannelClosed() override;
[email protected]3cdb7af812008-10-24 19:21:13200
201 // Cancels all pending Send calls.
202 void CancelPendingSends();
203
rockot3c236292016-07-07 20:26:02204 void OnShutdownEventSignaled(base::WaitableEvent* event);
initial.commit09911bf2008-07-26 23:55:29205
Brett Wilson55ff1475e2017-09-26 00:28:48206 using PendingSyncMessageQueue = base::circular_deque<PendingSyncMsg>;
initial.commit09911bf2008-07-26 23:55:29207 PendingSyncMessageQueue deserializers_;
rockot3c236292016-07-07 20:26:02208 bool reject_new_deserializers_ = false;
[email protected]20305ec2011-01-21 04:55:52209 base::Lock deserializers_lock_;
initial.commit09911bf2008-07-26 23:55:29210
[email protected]3cdb7af812008-10-24 19:21:13211 scoped_refptr<ReceivedSyncMsgQueue> received_sync_msgs_;
initial.commit09911bf2008-07-26 23:55:29212
[email protected]1c4947f2009-01-15 22:25:11213 base::WaitableEvent* shutdown_event_;
214 base::WaitableEventWatcher shutdown_watcher_;
[email protected]329be052013-02-04 18:14:28215 base::WaitableEventWatcher::EventCallback shutdown_watcher_callback_;
[email protected]298ee7d2012-03-30 21:29:30216 int restrict_dispatch_group_;
initial.commit09911bf2008-07-26 23:55:29217 };
218
219 private:
dchengfd033702014-08-28 16:59:29220 SyncChannel(
221 Listener* listener,
222 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
Hajime Hoshiff15e972017-11-09 06:37:09223 const scoped_refptr<base::SingleThreadTaskRunner>& listener_task_runner,
dchengfd033702014-08-28 16:59:29224 base::WaitableEvent* shutdown_event);
[email protected]fca876a12014-06-05 16:15:38225
rockotb62e2e32017-03-24 18:36:44226 void OnDispatchEventSignaled(base::WaitableEvent* event);
[email protected]3cdb7af812008-10-24 19:21:13227
[email protected]d3216442009-03-05 21:07:27228 SyncContext* sync_context() {
229 return reinterpret_cast<SyncContext*>(context());
230 }
initial.commit09911bf2008-07-26 23:55:29231
[email protected]3cdb7af812008-10-24 19:21:13232 // Both these functions wait for a reply, timeout or process shutdown. The
gab2998ee72017-05-05 16:23:50233 // latter one also runs a nested run loop in the meantime.
rockot3c236292016-07-07 20:26:02234 static void WaitForReply(mojo::SyncHandleRegistry* registry,
235 SyncContext* context,
236 bool pump_messages);
initial.commit09911bf2008-07-26 23:55:29237
gab2998ee72017-05-05 16:23:50238 // Runs a nested run loop until a reply arrives, times out, or the process
[email protected]3cdb7af812008-10-24 19:21:13239 // shuts down.
[email protected]9eec2252009-12-01 02:34:18240 static void WaitForReplyWithNestedMessageLoop(SyncContext* context);
initial.commit09911bf2008-07-26 23:55:29241
[email protected]952394af2011-11-16 01:06:46242 // Starts the dispatch watcher.
243 void StartWatching();
244
rockot29ade1b2015-08-07 06:23:59245 // ChannelProxy overrides:
246 void OnChannelInit() override;
247
rockot3c236292016-07-07 20:26:02248 scoped_refptr<mojo::SyncHandleRegistry> sync_handle_registry_;
249
[email protected]3cdb7af812008-10-24 19:21:13250 // Used to signal events between the IPC and listener threads.
rockotb62e2e32017-03-24 18:36:44251 base::WaitableEventWatcher dispatch_watcher_;
252 base::WaitableEventWatcher::EventCallback dispatch_watcher_callback_;
[email protected]3cdb7af812008-10-24 19:21:13253
rockot29ade1b2015-08-07 06:23:59254 // Tracks SyncMessageFilters created before complete channel initialization.
255 std::vector<scoped_refptr<SyncMessageFilter>> pre_init_sync_message_filters_;
256
[email protected]73a797fb2010-06-07 02:10:18257 DISALLOW_COPY_AND_ASSIGN(SyncChannel);
initial.commit09911bf2008-07-26 23:55:29258};
259
260} // namespace IPC
261
[email protected]320eff42011-11-15 00:29:48262#endif // IPC_IPC_SYNC_CHANNEL_H_