blob: cdc3cc85c2b18a60a926d156ebe17d14db0f1dd9 [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,
[email protected]fca876a12014-06-05 16:15:3886 bool create_pipe_now,
erikchen30dc2812015-09-24 03:26:3887 base::WaitableEvent* shutdown_event);
[email protected]952394af2011-11-16 01:06:4688
danakj03de39b22016-04-23 04:21:0989 static std::unique_ptr<SyncChannel> Create(
90 std::unique_ptr<ChannelFactory> factory,
[email protected]64860882014-08-04 23:44:1791 Listener* listener,
dchengfd033702014-08-28 16:59:2992 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
[email protected]64860882014-08-04 23:44:1793 bool create_pipe_now,
94 base::WaitableEvent* shutdown_event);
95
[email protected]952394af2011-11-16 01:06:4696 // Creates an uninitialized sync channel. Call ChannelProxy::Init to
97 // initialize the channel. This two-step setup allows message filters to be
98 // added before any messages are sent or received.
danakj03de39b22016-04-23 04:21:0999 static std::unique_ptr<SyncChannel> Create(
[email protected]fca876a12014-06-05 16:15:38100 Listener* listener,
dchengfd033702014-08-28 16:59:29101 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
[email protected]fca876a12014-06-05 16:15:38102 base::WaitableEvent* shutdown_event);
[email protected]952394af2011-11-16 01:06:46103
dchengfe61fca2014-10-22 02:29:52104 ~SyncChannel() override;
initial.commit09911bf2008-07-26 23:55:29105
dchengfe61fca2014-10-22 02:29:52106 bool Send(Message* message) override;
[email protected]d65cab7a2008-08-12 01:25:41107
[email protected]298ee7d2012-03-30 21:29:30108 // Sets the dispatch group for this channel, to only allow re-entrant dispatch
109 // of messages to other channels in the same group.
[email protected]54af05f2011-04-08 03:38:21110 //
111 // Normally, any unblocking message coming from any channel can be dispatched
112 // when any (possibly other) channel is blocked on sending a message. This is
113 // needed in some cases to unblock certain loops (e.g. necessary when some
114 // processes share a window hierarchy), but may cause re-entrancy issues in
115 // some cases where such loops are not possible. This flags allows the tagging
[email protected]298ee7d2012-03-30 21:29:30116 // of some particular channels to only re-enter in known correct cases.
117 //
118 // Incoming messages on channels belonging to a group that is not
119 // kRestrictDispatchGroup_None will only be dispatched while a sync message is
120 // being sent on a channel of the *same* group.
121 // Incoming messages belonging to the kRestrictDispatchGroup_None group (the
122 // default) will be dispatched in any case.
123 void SetRestrictDispatchChannelGroup(int group);
[email protected]54af05f2011-04-08 03:38:21124
rockotac64ae92f2015-08-06 00:32:29125 // Creates a new IPC::SyncMessageFilter and adds it to this SyncChannel.
126 // This should be used instead of directly constructing a new
127 // SyncMessageFilter.
128 scoped_refptr<IPC::SyncMessageFilter> CreateSyncMessageFilter();
129
initial.commit09911bf2008-07-26 23:55:29130 protected:
131 class ReceivedSyncMsgQueue;
132 friend class ReceivedSyncMsgQueue;
133
134 // SyncContext holds the per object data for SyncChannel, so that SyncChannel
135 // can be deleted while it's being used in a different thread. See
136 // ChannelProxy::Context for more information.
[email protected]329be052013-02-04 18:14:28137 class SyncContext : public Context {
initial.commit09911bf2008-07-26 23:55:29138 public:
dchengfd033702014-08-28 16:59:29139 SyncContext(
140 Listener* listener,
141 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
142 base::WaitableEvent* shutdown_event);
initial.commit09911bf2008-07-26 23:55:29143
initial.commit09911bf2008-07-26 23:55:29144 // Adds information about an outgoing sync message to the context so that
[email protected]3cdb7af812008-10-24 19:21:13145 // we know how to deserialize the reply.
rockot3c236292016-07-07 20:26:02146 bool Push(SyncMessage* sync_msg);
initial.commit09911bf2008-07-26 23:55:29147
[email protected]3cdb7af812008-10-24 19:21:13148 // Cleanly remove the top deserializer (and throw it away). Returns the
149 // result of the Send call for that message.
150 bool Pop();
151
rockot3c236292016-07-07 20:26:02152 // Returns a Mojo Event that signals when a sync send is complete or timed
153 // out or the process shut down.
rockotb62e2e32017-03-24 18:36:44154 base::WaitableEvent* GetSendDoneEvent();
initial.commit09911bf2008-07-26 23:55:29155
rockot3c236292016-07-07 20:26:02156 // Returns a Mojo Event that signals when an incoming message that's not the
157 // pending reply needs to get dispatched (by calling DispatchMessages.)
rockotb62e2e32017-03-24 18:36:44158 base::WaitableEvent* GetDispatchEvent();
initial.commit09911bf2008-07-26 23:55:29159
160 void DispatchMessages();
initial.commit09911bf2008-07-26 23:55:29161
162 // Checks if the given message is blocking the listener thread because of a
[email protected]d3216442009-03-05 21:07:27163 // synchronous send. If it is, the thread is unblocked and true is
164 // returned. Otherwise the function returns false.
[email protected]3cdb7af812008-10-24 19:21:13165 bool TryToUnblockListener(const Message* msg);
initial.commit09911bf2008-07-26 23:55:29166
[email protected]1c4947f2009-01-15 22:25:11167 base::WaitableEvent* shutdown_event() { return shutdown_event_; }
[email protected]d65cab7a2008-08-12 01:25:41168
[email protected]ac0efda2009-10-14 16:22:02169 ReceivedSyncMsgQueue* received_sync_msgs() {
[email protected]17571642013-06-01 04:11:27170 return received_sync_msgs_.get();
[email protected]ac0efda2009-10-14 16:22:02171 }
172
[email protected]298ee7d2012-03-30 21:29:30173 void set_restrict_dispatch_group(int group) {
174 restrict_dispatch_group_ = group;
175 }
176
177 int restrict_dispatch_group() const {
178 return restrict_dispatch_group_;
179 }
[email protected]54af05f2011-04-08 03:38:21180
rockotb62e2e32017-03-24 18:36:44181 void OnSendDoneEventSignaled(base::RunLoop* nested_loop,
182 base::WaitableEvent* event);
183
initial.commit09911bf2008-07-26 23:55:29184 private:
dchengfe61fca2014-10-22 02:29:52185 ~SyncContext() override;
[email protected]1e9499c2010-04-06 20:33:36186 // ChannelProxy methods that we override.
[email protected]3cdb7af812008-10-24 19:21:13187
188 // Called on the listener thread.
dchengfe61fca2014-10-22 02:29:52189 void Clear() override;
[email protected]3cdb7af812008-10-24 19:21:13190
191 // Called on the IPC thread.
dchengfe61fca2014-10-22 02:29:52192 bool OnMessageReceived(const Message& msg) override;
193 void OnChannelError() override;
rockot10188752016-09-08 18:24:56194 void OnChannelOpened() override;
dchengfe61fca2014-10-22 02:29:52195 void OnChannelClosed() override;
[email protected]3cdb7af812008-10-24 19:21:13196
197 // Cancels all pending Send calls.
198 void CancelPendingSends();
199
rockot3c236292016-07-07 20:26:02200 void OnShutdownEventSignaled(base::WaitableEvent* event);
initial.commit09911bf2008-07-26 23:55:29201
Brett Wilson55ff1475e2017-09-26 00:28:48202 using PendingSyncMessageQueue = base::circular_deque<PendingSyncMsg>;
initial.commit09911bf2008-07-26 23:55:29203 PendingSyncMessageQueue deserializers_;
rockot3c236292016-07-07 20:26:02204 bool reject_new_deserializers_ = false;
[email protected]20305ec2011-01-21 04:55:52205 base::Lock deserializers_lock_;
initial.commit09911bf2008-07-26 23:55:29206
[email protected]3cdb7af812008-10-24 19:21:13207 scoped_refptr<ReceivedSyncMsgQueue> received_sync_msgs_;
initial.commit09911bf2008-07-26 23:55:29208
[email protected]1c4947f2009-01-15 22:25:11209 base::WaitableEvent* shutdown_event_;
210 base::WaitableEventWatcher shutdown_watcher_;
[email protected]329be052013-02-04 18:14:28211 base::WaitableEventWatcher::EventCallback shutdown_watcher_callback_;
[email protected]298ee7d2012-03-30 21:29:30212 int restrict_dispatch_group_;
initial.commit09911bf2008-07-26 23:55:29213 };
214
215 private:
dchengfd033702014-08-28 16:59:29216 SyncChannel(
217 Listener* listener,
218 const scoped_refptr<base::SingleThreadTaskRunner>& ipc_task_runner,
219 base::WaitableEvent* shutdown_event);
[email protected]fca876a12014-06-05 16:15:38220
rockotb62e2e32017-03-24 18:36:44221 void OnDispatchEventSignaled(base::WaitableEvent* event);
[email protected]3cdb7af812008-10-24 19:21:13222
[email protected]d3216442009-03-05 21:07:27223 SyncContext* sync_context() {
224 return reinterpret_cast<SyncContext*>(context());
225 }
initial.commit09911bf2008-07-26 23:55:29226
[email protected]3cdb7af812008-10-24 19:21:13227 // Both these functions wait for a reply, timeout or process shutdown. The
gab2998ee72017-05-05 16:23:50228 // latter one also runs a nested run loop in the meantime.
rockot3c236292016-07-07 20:26:02229 static void WaitForReply(mojo::SyncHandleRegistry* registry,
230 SyncContext* context,
231 bool pump_messages);
initial.commit09911bf2008-07-26 23:55:29232
gab2998ee72017-05-05 16:23:50233 // Runs a nested run loop until a reply arrives, times out, or the process
[email protected]3cdb7af812008-10-24 19:21:13234 // shuts down.
[email protected]9eec2252009-12-01 02:34:18235 static void WaitForReplyWithNestedMessageLoop(SyncContext* context);
initial.commit09911bf2008-07-26 23:55:29236
[email protected]952394af2011-11-16 01:06:46237 // Starts the dispatch watcher.
238 void StartWatching();
239
rockot29ade1b2015-08-07 06:23:59240 // ChannelProxy overrides:
241 void OnChannelInit() override;
242
rockot3c236292016-07-07 20:26:02243 scoped_refptr<mojo::SyncHandleRegistry> sync_handle_registry_;
244
[email protected]3cdb7af812008-10-24 19:21:13245 // Used to signal events between the IPC and listener threads.
rockotb62e2e32017-03-24 18:36:44246 base::WaitableEventWatcher dispatch_watcher_;
247 base::WaitableEventWatcher::EventCallback dispatch_watcher_callback_;
[email protected]3cdb7af812008-10-24 19:21:13248
rockot29ade1b2015-08-07 06:23:59249 // Tracks SyncMessageFilters created before complete channel initialization.
250 std::vector<scoped_refptr<SyncMessageFilter>> pre_init_sync_message_filters_;
251
[email protected]73a797fb2010-06-07 02:10:18252 DISALLOW_COPY_AND_ASSIGN(SyncChannel);
initial.commit09911bf2008-07-26 23:55:29253};
254
255} // namespace IPC
256
[email protected]320eff42011-11-15 00:29:48257#endif // IPC_IPC_SYNC_CHANNEL_H_