// Copyright 2012 The Chromium Authors // Use of this source code is governed by a BSD-style license that can be // found in the LICENSE file. #ifndef IPC_IPC_SYNC_CHANNEL_H_ #define IPC_IPC_SYNC_CHANNEL_H_ #include <memory> #include <string> #include <vector> #include "base/component_export.h" #include "base/containers/circular_deque.h" #include "base/memory/raw_ptr.h" #include "base/memory/ref_counted.h" #include "base/synchronization/lock.h" #include "base/synchronization/waitable_event_watcher.h" #include "base/task/single_thread_task_runner.h" #include "ipc/ipc_channel_handle.h" #include "ipc/ipc_channel_proxy.h" #include "ipc/ipc_sync_message.h" #include "ipc/ipc_sync_message_filter.h" #include "mojo/public/c/system/types.h" #include "mojo/public/cpp/system/simple_watcher.h" namespace base { class RunLoop; class WaitableEvent; } // namespace base namespace mojo { class SyncHandleRegistry; } namespace IPC { class SyncMessage; // This is similar to ChannelProxy, with the added feature of supporting sending // synchronous messages. // // Overview of how the sync channel works // -------------------------------------- // When the sending thread sends a synchronous message, we create a bunch // of tracking info (created in Send, stored in the PendingSyncMsg // structure) associated with the message that we identify by the unique // "MessageId" on the SyncMessage. Among the things we save is the // "Deserializer" which is provided by the sync message. This object is in // charge of reading the parameters from the reply message and putting them in // the output variables provided by its caller. // // The info gets stashed in a queue since we could have a nested stack of sync // messages (each side could send sync messages in response to sync messages, // so it works like calling a function). The message is sent to the I/O thread // for dispatch and the original thread blocks waiting for the reply. // // SyncContext maintains the queue in a threadsafe way and listens for replies // on the I/O thread. When a reply comes in that matches one of the messages // it's looking for (using the unique message ID), it will execute the // deserializer stashed from before, and unblock the original thread. // // // Significant complexity results from the fact that messages are still coming // in while the original thread is blocked. Normal async messages are queued // and dispatched after the blocking call is complete. Sync messages must // be dispatched in a reentrant manner to avoid deadlock. // // // Note that care must be taken that the lifetime of the ipc_thread argument // is more than this object. If the message loop goes away while this object // is running and it's used to send a message, then it will use the invalid // message loop pointer to proxy it to the ipc thread. class COMPONENT_EXPORT(IPC) SyncChannel : public ChannelProxy { … }; } // namespace IPC #endif // IPC_IPC_SYNC_CHANNEL_H_