• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2013 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4 
5 #ifndef MOJO_SYSTEM_DISPATCHER_H_
6 #define MOJO_SYSTEM_DISPATCHER_H_
7 
8 #include <stddef.h>
9 #include <stdint.h>
10 
11 #include <vector>
12 
13 #include "base/macros.h"
14 #include "base/memory/ref_counted.h"
15 #include "base/memory/scoped_ptr.h"
16 #include "base/synchronization/lock.h"
17 #include "mojo/embedder/platform_handle.h"
18 #include "mojo/embedder/platform_handle_vector.h"
19 #include "mojo/public/c/system/buffer.h"
20 #include "mojo/public/c/system/data_pipe.h"
21 #include "mojo/public/c/system/message_pipe.h"
22 #include "mojo/public/c/system/types.h"
23 #include "mojo/system/system_impl_export.h"
24 
25 namespace mojo {
26 namespace system {
27 
28 class Channel;
29 class Core;
30 class Dispatcher;
31 class DispatcherTransport;
32 class HandleTable;
33 class LocalMessagePipeEndpoint;
34 class ProxyMessagePipeEndpoint;
35 class RawSharedBufferMapping;
36 class TransportData;
37 class Waiter;
38 
39 typedef std::vector<scoped_refptr<Dispatcher> > DispatcherVector;
40 
41 namespace test {
42 
43 // Test helper. We need to declare it here so we can friend it.
44 MOJO_SYSTEM_IMPL_EXPORT DispatcherTransport DispatcherTryStartTransport(
45     Dispatcher* dispatcher);
46 
47 }  // namespace test
48 
49 // A |Dispatcher| implements Mojo primitives that are "attached" to a particular
50 // handle. This includes most (all?) primitives except for |MojoWait...()|. This
51 // object is thread-safe, with its state being protected by a single lock
52 // |lock_|, which is also made available to implementation subclasses (via the
53 // |lock()| method).
54 class MOJO_SYSTEM_IMPL_EXPORT Dispatcher :
55     public base::RefCountedThreadSafe<Dispatcher> {
56  public:
57   enum Type {
58     kTypeUnknown = 0,
59     kTypeMessagePipe,
60     kTypeDataPipeProducer,
61     kTypeDataPipeConsumer,
62     kTypeSharedBuffer,
63 
64     // "Private" types (not exposed via the public interface):
65     kTypePlatformHandle = -1
66   };
67   virtual Type GetType() const = 0;
68 
69   // These methods implement the various primitives named |Mojo...()|. These
70   // take |lock_| and handle races with |Close()|. Then they call out to
71   // subclasses' |...ImplNoLock()| methods (still under |lock_|), which actually
72   // implement the primitives.
73   // NOTE(vtl): This puts a big lock around each dispatcher (i.e., handle), and
74   // prevents the various |...ImplNoLock()|s from releasing the lock as soon as
75   // possible. If this becomes an issue, we can rethink this.
76   MojoResult Close();
77 
78   // |transports| may be non-null if and only if there are handles to be
79   // written; not that |this| must not be in |transports|. On success, all the
80   // dispatchers in |transports| must have been moved to a closed state; on
81   // failure, they should remain in their original state.
82   MojoResult WriteMessage(const void* bytes,
83                           uint32_t num_bytes,
84                           std::vector<DispatcherTransport>* transports,
85                           MojoWriteMessageFlags flags);
86   // |dispatchers| must be non-null but empty, if |num_dispatchers| is non-null
87   // and nonzero. On success, it will be set to the dispatchers to be received
88   // (and assigned handles) as part of the message.
89   MojoResult ReadMessage(void* bytes,
90                          uint32_t* num_bytes,
91                          DispatcherVector* dispatchers,
92                          uint32_t* num_dispatchers,
93                          MojoReadMessageFlags flags);
94   MojoResult WriteData(const void* elements,
95                        uint32_t* elements_num_bytes,
96                        MojoWriteDataFlags flags);
97   MojoResult BeginWriteData(void** buffer,
98                             uint32_t* buffer_num_bytes,
99                             MojoWriteDataFlags flags);
100   MojoResult EndWriteData(uint32_t num_bytes_written);
101   MojoResult ReadData(void* elements,
102                       uint32_t* num_bytes,
103                       MojoReadDataFlags flags);
104   MojoResult BeginReadData(const void** buffer,
105                            uint32_t* buffer_num_bytes,
106                            MojoReadDataFlags flags);
107   MojoResult EndReadData(uint32_t num_bytes_read);
108   // |options| may be null. |new_dispatcher| must not be null, but
109   // |*new_dispatcher| should be null (and will contain the dispatcher for the
110   // new handle on success).
111   MojoResult DuplicateBufferHandle(
112       const MojoDuplicateBufferHandleOptions* options,
113       scoped_refptr<Dispatcher>* new_dispatcher);
114   MojoResult MapBuffer(uint64_t offset,
115                        uint64_t num_bytes,
116                        MojoMapBufferFlags flags,
117                        scoped_ptr<RawSharedBufferMapping>* mapping);
118 
119   // Adds a waiter to this dispatcher. The waiter will be woken up when this
120   // object changes state to satisfy |signals| with context |context|. It will
121   // also be woken up when it becomes impossible for the object to ever satisfy
122   // |signals| with a suitable error status.
123   //
124   // Returns:
125   //  - |MOJO_RESULT_OK| if the waiter was added;
126   //  - |MOJO_RESULT_ALREADY_EXISTS| if |signals| is already satisfied;
127   //  - |MOJO_RESULT_INVALID_ARGUMENT| if the dispatcher has been closed; and
128   //  - |MOJO_RESULT_FAILED_PRECONDITION| if it is not (or no longer) possible
129   //    that |signals| will ever be satisfied.
130   MojoResult AddWaiter(Waiter* waiter,
131                        MojoHandleSignals signals,
132                        uint32_t context);
133   void RemoveWaiter(Waiter* waiter);
134 
135   // A dispatcher must be put into a special state in order to be sent across a
136   // message pipe. Outside of tests, only |HandleTableAccess| is allowed to do
137   // this, since there are requirements on the handle table (see below).
138   //
139   // In this special state, only a restricted set of operations is allowed.
140   // These are the ones available as |DispatcherTransport| methods. Other
141   // |Dispatcher| methods must not be called until |DispatcherTransport::End()|
142   // has been called.
143   class HandleTableAccess {
144    private:
145     friend class Core;
146     friend class HandleTable;
147     // Tests also need this, to avoid needing |Core|.
148     friend DispatcherTransport test::DispatcherTryStartTransport(Dispatcher*);
149 
150     // This must be called under the handle table lock and only if the handle
151     // table entry is not marked busy. The caller must maintain a reference to
152     // |dispatcher| until |DispatcherTransport::End()| is called.
153     static DispatcherTransport TryStartTransport(Dispatcher* dispatcher);
154   };
155 
156   // A |TransportData| may serialize dispatchers that are given to it (and which
157   // were previously attached to the |MessageInTransit| that is creating it) to
158   // a given |Channel| and then (probably in a different process) deserialize.
159   // Note that the |MessageInTransit| "owns" (i.e., has the only ref to) these
160   // dispatchers, so there are no locking issues. (There's no lock ordering
161   // issue, and in fact no need to take dispatcher locks at all.)
162   // TODO(vtl): Consider making another wrapper similar to |DispatcherTransport|
163   // (but with an owning, unique reference), and having
164   // |CreateEquivalentDispatcherAndCloseImplNoLock()| return that wrapper (and
165   // |MessageInTransit|, etc. only holding on to such wrappers).
166   class TransportDataAccess {
167    private:
168     friend class TransportData;
169 
170     // Serialization API. These functions may only be called on such
171     // dispatchers. (|channel| is the |Channel| to which the dispatcher is to be
172     // serialized.) See the |Dispatcher| methods of the same names for more
173     // details.
174     static void StartSerialize(Dispatcher* dispatcher,
175                                Channel* channel,
176                                size_t* max_size,
177                                size_t* max_platform_handles);
178     static bool EndSerializeAndClose(
179         Dispatcher* dispatcher,
180         Channel* channel,
181         void* destination,
182         size_t* actual_size,
183         embedder::PlatformHandleVector* platform_handles);
184 
185     // Deserialization API.
186     // Note: This "clears" (i.e., reset to the invalid handle) any platform
187     // handles that it takes ownership of.
188     static scoped_refptr<Dispatcher> Deserialize(
189         Channel* channel,
190         int32_t type,
191         const void* source,
192         size_t size,
193         embedder::PlatformHandleVector* platform_handles);
194   };
195 
196  protected:
197   friend class base::RefCountedThreadSafe<Dispatcher>;
198 
199   Dispatcher();
200   virtual ~Dispatcher();
201 
202   // These are to be overridden by subclasses (if necessary). They are called
203   // exactly once -- first |CancelAllWaitersNoLock()|, then |CloseImplNoLock()|,
204   // when the dispatcher is being closed. They are called under |lock_|.
205   virtual void CancelAllWaitersNoLock();
206   virtual void CloseImplNoLock();
207   virtual scoped_refptr<Dispatcher>
208       CreateEquivalentDispatcherAndCloseImplNoLock() = 0;
209 
210   // These are to be overridden by subclasses (if necessary). They are never
211   // called after the dispatcher has been closed. They are called under |lock_|.
212   // See the descriptions of the methods without the "ImplNoLock" for more
213   // information.
214   virtual MojoResult WriteMessageImplNoLock(
215       const void* bytes,
216       uint32_t num_bytes,
217       std::vector<DispatcherTransport>* transports,
218       MojoWriteMessageFlags flags);
219   virtual MojoResult ReadMessageImplNoLock(void* bytes,
220                                            uint32_t* num_bytes,
221                                            DispatcherVector* dispatchers,
222                                            uint32_t* num_dispatchers,
223                                            MojoReadMessageFlags flags);
224   virtual MojoResult WriteDataImplNoLock(const void* elements,
225                                          uint32_t* num_bytes,
226                                          MojoWriteDataFlags flags);
227   virtual MojoResult BeginWriteDataImplNoLock(void** buffer,
228                                               uint32_t* buffer_num_bytes,
229                                               MojoWriteDataFlags flags);
230   virtual MojoResult EndWriteDataImplNoLock(uint32_t num_bytes_written);
231   virtual MojoResult ReadDataImplNoLock(void* elements,
232                                         uint32_t* num_bytes,
233                                         MojoReadDataFlags flags);
234   virtual MojoResult BeginReadDataImplNoLock(const void** buffer,
235                                              uint32_t* buffer_num_bytes,
236                                              MojoReadDataFlags flags);
237   virtual MojoResult EndReadDataImplNoLock(uint32_t num_bytes_read);
238   virtual MojoResult DuplicateBufferHandleImplNoLock(
239       const MojoDuplicateBufferHandleOptions* options,
240       scoped_refptr<Dispatcher>* new_dispatcher);
241   virtual MojoResult MapBufferImplNoLock(
242       uint64_t offset,
243       uint64_t num_bytes,
244       MojoMapBufferFlags flags,
245       scoped_ptr<RawSharedBufferMapping>* mapping);
246   virtual MojoResult AddWaiterImplNoLock(Waiter* waiter,
247                                          MojoHandleSignals signals,
248                                          uint32_t context);
249   virtual void RemoveWaiterImplNoLock(Waiter* waiter);
250 
251   // These implement the API used to serialize dispatchers to a |Channel|
252   // (described below). They will only be called on a dispatcher that's attached
253   // to and "owned" by a |MessageInTransit|. See the non-"impl" versions for
254   // more information.
255   //
256   // Note: |StartSerializeImplNoLock()| is actually called with |lock_| NOT
257   // held, since the dispatcher should only be accessible to the calling thread.
258   // On Debug builds, |EndSerializeAndCloseImplNoLock()| is called with |lock_|
259   // held, to satisfy any |lock_.AssertAcquired()| (e.g., in |CloseImplNoLock()|
260   // -- and anything it calls); disentangling those assertions is
261   // difficult/fragile, and would weaken our general checking of invariants.
262   //
263   // TODO(vtl): Consider making these pure virtual once most things support
264   // being passed over a message pipe.
265   virtual void StartSerializeImplNoLock(Channel* channel,
266                                         size_t* max_size,
267                                         size_t* max_platform_handles);
268   virtual bool EndSerializeAndCloseImplNoLock(
269       Channel* channel,
270       void* destination,
271       size_t* actual_size,
272       embedder::PlatformHandleVector* platform_handles);
273 
274   // Available to subclasses. (Note: Returns a non-const reference, just like
275   // |base::AutoLock|'s constructor takes a non-const reference.)
lock()276   base::Lock& lock() const { return lock_; }
277 
278  private:
279   friend class DispatcherTransport;
280 
281   // This should be overridden to return true if/when there's an ongoing
282   // operation (e.g., two-phase read/writes on data pipes) that should prevent a
283   // handle from being sent over a message pipe (with status "busy").
284   virtual bool IsBusyNoLock() const;
285 
286   // Closes the dispatcher. This must be done under lock, and unlike |Close()|,
287   // the dispatcher must not be closed already. (This is the "equivalent" of
288   // |CreateEquivalentDispatcherAndCloseNoLock()|, for situations where the
289   // dispatcher must be disposed of instead of "transferred".)
290   void CloseNoLock();
291 
292   // Creates an equivalent dispatcher -- representing the same resource as this
293   // dispatcher -- and close (i.e., disable) this dispatcher. I.e., this
294   // dispatcher will look as though it was closed, but the resource it
295   // represents will be assigned to the new dispatcher. This must be called
296   // under the dispatcher's lock.
297   scoped_refptr<Dispatcher> CreateEquivalentDispatcherAndCloseNoLock();
298 
299   // API to serialize dispatchers to a |Channel|, exposed to only
300   // |TransportData| (via |TransportData|). They may only be called on a
301   // dispatcher attached to a |MessageInTransit| (and in particular not in
302   // |CoreImpl|'s handle table).
303   //
304   // Starts the serialization. Returns (via the two "out" parameters) the
305   // maximum amount of space that may be needed to serialize this dispatcher to
306   // the given |Channel| (no more than
307   // |TransportData::kMaxSerializedDispatcherSize|) and the maximum number of
308   // |PlatformHandle|s that may need to be attached (no more than
309   // |TransportData::kMaxSerializedDispatcherPlatformHandles|). If this
310   // dispatcher cannot be serialized to the given |Channel|, |*max_size| and
311   // |*max_platform_handles| should be set to zero. A call to this method will
312   // ALWAYS be followed by a call to |EndSerializeAndClose()| (even if this
313   // dispatcher cannot be serialized to the given |Channel|).
314   void StartSerialize(Channel* channel,
315                       size_t* max_size,
316                       size_t* max_platform_handles);
317   // Completes the serialization of this dispatcher to the given |Channel| and
318   // closes it. (This call will always follow an earlier call to
319   // |StartSerialize()|, with the same |Channel|.) This does so by writing to
320   // |destination| and appending any |PlatformHandle|s needed to
321   // |platform_handles| (which may be null if no platform handles were indicated
322   // to be required to |StartSerialize()|). This may write no more than the
323   // amount indicated by |StartSerialize()|. (WARNING: Beware of races, e.g., if
324   // something can be mutated between the two calls!) Returns true on success,
325   // in which case |*actual_size| is set to the amount it actually wrote to
326   // |destination|. On failure, |*actual_size| should not be modified; however,
327   // the dispatcher will still be closed.
328   bool EndSerializeAndClose(Channel* channel,
329                             void* destination,
330                             size_t* actual_size,
331                             embedder::PlatformHandleVector* platform_handles);
332 
333   // This protects the following members as well as any state added by
334   // subclasses.
335   mutable base::Lock lock_;
336   bool is_closed_;
337 
338   DISALLOW_COPY_AND_ASSIGN(Dispatcher);
339 };
340 
341 // Wrapper around a |Dispatcher| pointer, while it's being processed to be
342 // passed in a message pipe. See the comment about
343 // |Dispatcher::HandleTableAccess| for more details.
344 //
345 // Note: This class is deliberately "thin" -- no more expensive than a
346 // |Dispatcher*|.
347 class MOJO_SYSTEM_IMPL_EXPORT DispatcherTransport {
348  public:
DispatcherTransport()349   DispatcherTransport() : dispatcher_(NULL) {}
350 
351   void End();
352 
GetType()353   Dispatcher::Type GetType() const { return dispatcher_->GetType(); }
IsBusy()354   bool IsBusy() const { return dispatcher_->IsBusyNoLock(); }
Close()355   void Close() { dispatcher_->CloseNoLock(); }
CreateEquivalentDispatcherAndClose()356   scoped_refptr<Dispatcher> CreateEquivalentDispatcherAndClose() {
357     return dispatcher_->CreateEquivalentDispatcherAndCloseNoLock();
358   }
359 
is_valid()360   bool is_valid() const { return !!dispatcher_; }
361 
362  protected:
dispatcher()363   Dispatcher* dispatcher() { return dispatcher_; }
364 
365  private:
366   friend class Dispatcher::HandleTableAccess;
367 
DispatcherTransport(Dispatcher * dispatcher)368   explicit DispatcherTransport(Dispatcher* dispatcher)
369       : dispatcher_(dispatcher) {}
370 
371   Dispatcher* dispatcher_;
372 
373   // Copy and assign allowed.
374 };
375 
376 }  // namespace system
377 }  // namespace mojo
378 
379 #endif  // MOJO_SYSTEM_DISPATCHER_H_
380