workaround for mac kernel bug

ipc/ipc_channel_reader.h

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef IPC_IPC_CHANNEL_READER_H_
 #define IPC_IPC_CHANNEL_READER_H_
 
 #include "base/basictypes.h"
 #include "ipc/ipc_channel.h"
 
@@ skipping 24 matching lines @@
   // succeeded, although there may not have been any messages processed.
   bool ProcessIncomingMessages();
 
   // Handles asynchronously read data.
   //
   // Optionally call this after returning READ_PENDING from ReadData to
   // indicate that buffer was filled with the given number of bytes of
   // data. See ReadData for more.
   bool AsyncReadComplete(int bytes_read);
 
-  // Returns true if the given message is the "hello" message sent on channel
-  // set-up.
+  // Returns true if the given message is internal to the IPC implementation,
+  // like the "hello" message sent on channel set-up.
+  bool IsInternalMessage(const Message& m) const;
+
+  // Returns true if the given message is an Hello message
+  // sent on channel set-up.
   bool IsHelloMessage(const Message& m) const;
 
  protected:
   enum ReadState { READ_SUCCEEDED, READ_FAILED, READ_PENDING };
 
   Listener* listener() const { return listener_; }
 
   // Populates the given buffer with data from the pipe.
   //
   // Returns the state of the read. On READ_SUCCESS, the number of bytes
@@ skipping 12 matching lines @@
   // on success. False means a fatal channel error.
   //
   // This will read from the input_fds_ and read more handles from the FD
   // pipe if necessary.
   virtual bool WillDispatchInputMessage(Message* msg) = 0;
 
   // Performs post-dispatch checks. Called when all input buffers are empty,
   // though there could be more data ready to be read from the OS.
   virtual bool DidEmptyInputBuffers() = 0;
 
-  // Handles the first message sent over the pipe which contains setup info.
-  virtual void HandleHelloMessage(const Message& msg) = 0;
+  // Handles internal messages, like the hello message sent on channel startup.
+  virtual void HandleInternalMessage(const Message& msg) = 0;
 
  private:
   // Takes the given data received from the IPC channel and dispatches any
   // fully completed messages.
   //
   // Returns true on success. False means channel error.
   bool DispatchInputData(const char* input_data, int input_data_len);
 
   Listener* listener_;
 
   // We read from the pipe into this buffer. Managed by DispatchInputData, do
   // not access directly outside that function.
   char input_buf_[Channel::kReadBufferSize];
 
   // Large messages that span multiple pipe buffers, get built-up using
   // this buffer.
   std::string input_overflow_buf_;
 
   DISALLOW_COPY_AND_ASSIGN(ChannelReader);
 };
 
 }  // namespace internal
 }  // namespace IPC
 
 #endif  // IPC_IPC_CHANNEL_READER_H_