红茶一杯话Binder

（传输机制篇_下）

侯 亮

1 事务的传递和处理

从IPCThreadState的角度看，它的transact()函数是通过向binder驱动发出BC_TRANSACTION语义，来表达其传输意图的，而后如有必要，它会等待从binder发回的回馈，这些回馈语义常常以“BR_”开头。另一方面，当IPCThreadState作为处理命令的一方需要向发起方反馈信息的话，它会调用sendReply()函数，向binder驱动发出BC_REPLY语义。当BC_语义经由binder驱动递送到目标端时，会被binder驱动自动修改为相应的BR_语义，这个我们在后文再细说。

当语义传递到binder驱动后，会走到binder_ioctl()函数，该函数又会调用到binder_thread_write()和binder_thread_read()：

在上一篇文章中，我们大体阐述了一下binder_thread_write()和binder_thread_read()的唤醒与被唤醒关系，而且还顺带在“传输机制的大体运作”小节中提到了todo队列的概念。本文将在此基础上再补充一些知识。需要强调的是，我们必须重视binder_thread_write()和binder_thread_read()，因为事务的传递和处理就位于这两个函数中，它们的调用示意图如下：

binder_thread_write()的代码截选如下。因为本文主要关心传输方面的问题，所以只摘取了case BC_TRANSACTION、case BC_REPLY部分的代码：

  1. int binder_thread_write(struct binder_proc *proc, struct binder_thread *thread,
  2.                         void __user *buffer, int size, signed long *consumed)
  3. {
  4.     . . . . . .
  5.     while (ptr < end && thread->return_error == BR_OK)
  6.     {
  7.         . . . . . .
  8.         switch (cmd)
  9.         {
  10.         . . . . . .
  11.         . . . . . .
  12.         case BC_TRANSACTION:
  13.         case BC_REPLY: {
  14.             struct binder_transaction_data tr;
  16.             if (copy_from_user(&tr, ptr, sizeof(tr)))
  17.                 return -EFAULT;
  18.             ptr += sizeof(tr);
  19.             binder_transaction(proc, thread, &tr, cmd == BC_REPLY);
  20.             break;
  21.         }
  22.         . . . . . .
  23.         . . . . . .
  24.         }
  25.         *consumed = ptr - buffer;
  26.     }
  27.     return 0;
  28. }

这部分代码比较简单，主要是从用户态拷贝来binder_transaction_data数据，并传给binder_transaction()函数进行实际的传输。而binder_transaction()可是需要我们费一点儿力气去分析的，大家深吸一口气，准备开始。

1.1 BC_TRANSACTION事务（携带TF_ONE_WAY标记）的处理

首先我们要认识到，同样是BC_TRANSACTION事务，带不带TF_ONE_WAY标记还是有所不同的。我们先看相对简单的携带TF_ONE_WAY标记的BC_TRANSACTION事务，这种事务是不需要回复的。

1.1.1 binder_transaction()

此时，binder_transaction()所做的工作大概有：

  1. 找目标binder_node；
  2. 找目标binder_proc；
  3. 分析并插入红黑树节点；（我们在上一篇文章中已在说过这部分的机理了，只是当时没有贴出相应的代码）
  4. 创建binder_transaction节点，并将其插入目标进程的todo列表；
  5. 尝试唤醒目标进程。

binder_transaction()代码截选如下：

  1. static void binder_transaction(struct binder_proc *proc,
  2.                    struct binder_thread *thread,
  3.                    struct binder_transaction_data *tr, int reply)
  4. {
  5.     struct binder_transaction *t;
  6.     . . . . . .
  7.     struct binder_proc *target_proc;
  8.     struct binder_thread *target_thread = NULL;
  9.     struct binder_node *target_node = NULL;
  10.     struct list_head *target_list;
  11.     wait_queue_head_t *target_wait;
  12.     . . . . . .
  13.     . . . . . .
  14.     {
  15.         // 先从tr->target.handle句柄值，找到对应的binder_ref节点，及binder_node节点
  16.          if (tr->target.handle)
  17.         {
  18.             struct binder_ref *ref;
  19.             ref = binder_get_ref(proc, tr->target.handle);
  20.             . . . . . .
  21.             target_node = ref->node;
  22.         }
  23.         else
  24.         {
  25.             // 如果句柄值为0，则获取特殊的binder_context_mgr_node节点，
  26.             // 即Service Manager Service对应的节点
  27.             target_node = binder_context_mgr_node;
  28.             . . . . . .
  29.         }
  30.         // 得到目标进程的binder_proc
  31.         target_proc = target_node->proc;
  32.         . . . . . .
  33.     }
  35.     // 对于带TF_ONE_WAY标记的BC_TRANSACTION来说，此时target_thread为NULL，
  36.     // 所以准备向binder_proc的todo中加节点
  37.     . . . . . .
  38.         target_list = &target_proc->todo;
  39.         target_wait = &target_proc->wait;
  40.     . . . . . .
  42.     // 创建新的binder_transaction节点。
  43.     t = kzalloc(sizeof(*t), GFP_KERNEL);
  44.     . . . . . .
  45.     t->from = NULL;
  47.     t->sender_euid  = proc->tsk->cred->euid;
  48.     t->to_proc      = target_proc;
  49.     t->to_thread    = target_thread;
  51.     // 将binder_transaction_data的code、flags域记入binder_transaction节点。
  52.     t->code     = tr->code;
  53.     t->flags    = tr->flags;
  54.     t->priority = task_nice(current);
  56.     t->buffer = binder_alloc_buf(target_proc, tr->data_size, tr->offsets_size,
  57.                                  !reply && (t->flags & TF_ONE_WAY));
  58.     . . . . . .
  59.     t->buffer->transaction = t;
  60.     t->buffer->target_node = target_node;
  61.     . . . . . .
  63.     // 下面的代码分析所传数据中的所有binder对象，如果是binder实体的话，要在红黑树中添加相应的节点。
  64.     // 首先，从用户态获取所传输的数据，以及数据里的binder对象的偏移信息
  65.     offp = (size_t *)(t->buffer->data + ALIGN(tr->data_size, sizeof(void *)));
  66.     if (copy_from_user(t->buffer->data, tr->data.ptr.buffer, tr->data_size))
  67.     . . . . . .
  68.     if (copy_from_user(offp, tr->data.ptr.offsets, tr->offsets_size))
  69.         . . . . . .
  70.     . . . . . .
  71.     // 遍历每个flat_binder_object信息，创建必要的红黑树节点 ....
  72.     for (; offp < off_end; offp++)
  73.     {
  74.         struct flat_binder_object *fp;
  75.         . . . . . .
  76.         fp = (struct flat_binder_object *)(t->buffer->data + *offp);
  78.         switch (fp->type)
  79.         {
  80.         case BINDER_TYPE_BINDER:
  81.         case BINDER_TYPE_WEAK_BINDER:
  82.         {
  83.             // 如果是binder实体
  84.             struct binder_ref *ref;
  85.             struct binder_node *node = binder_get_node(proc, fp->binder);
  86.             if (node == NULL)
  87.             {
  88.                 // 又是“没有则创建”的做法，创建新的binder_node节点
  89.                node = binder_new_node(proc, fp->binder, fp->cookie);
  90.                 . . . . . .
  91.             }
  92.             . . . . . .
  93.             // 必要时，会在目标进程的binder_proc中创建对应的binder_ref红黑树节点
  94.             ref = binder_get_ref_for_node(target_proc, node);
  95.             . . . . . .
  96.             // 修改所传数据中的flat_binder_object信息，因为远端的binder实体到了目标
  97.             // 端，就变为binder代理了，所以要记录下binder句柄了。
  98.             fp->handle = ref->desc;
  99.             . . . . . .
  100.         } break;
  102.         case BINDER_TYPE_HANDLE:
  103.         case BINDER_TYPE_WEAK_HANDLE: {
  104.             struct binder_ref *ref = binder_get_ref(proc, fp->handle);
  105.             // 有时候需要对flat_binder_object做必要的修改，比如将BINDER_TYPE_HANDLE
  106.             // 改为BINDER_TYPE_BINDER
  107.             . . . . . .
  108.         } break;
  110.         case BINDER_TYPE_FD: {
  111.             . . . . . .
  112.         } break;
  113.         . . . . . .
  114.     }
  116.     . . . . . .
  117.     {
  118.         . . . . . .
  119.         if (target_node->has_async_transaction)
  120.         {
  121.             target_list = &target_node->async_todo;
  122.             target_wait = NULL;
  123.         }
  124.         else
  125.             target_node->has_async_transaction = 1;
  126.     }
  128.     t->work.type = BINDER_WORK_TRANSACTION;
  130.     // 终于把binder_transaction节点插入target_list（即目标todo队列）了。
  131.     list_add_tail(&t->work.entry, target_list);
  132.     . . . . . .
  133.     list_add_tail(&tcomplete->entry, &thread->todo);
  135.     // 传输动作完毕，现在可以唤醒系统中其他相关线程了，wake up!
  136.     if (target_wait)
  137.         wake_up_interruptible(target_wait);
  138.     return;
  139.     . . . . . .
  140.     . . . . . .
  141. }

虽然已经是截选，代码却仍然显得冗长。这也没办法，Android frameworks里的很多代码都是这个样子，又臭又长，大家凑合着看吧。我常常觉得google的工程师多少应该因这样的代码而感到脸红，不过，哎，这有点儿说远了。

我们画一张示意图，如下：

上图体现了从binder_ref找到“目标binder_node”以及“目标binder_proc”的意思，其中“A端”表示发起方，“B端”表示目标方。可以看到，携带TF_ONE_WAY标记的事务，其实是比较简单的，驱动甚至不必费心去找目标线程，只需要创建一个binder_transaction节点，并插入目标binder_proc的todo链表即可。

另外，在将binder_transaction节点插入目标todo链表之前，binder_transaction()函数用一个for循环分析了需要传输的数据，并为其中包含的binder对象生成了相应的红黑树节点。

再后来，binder_transaction节点成功插入目标todo链表，此时说明目标进程有事情可做了，于是binder_transaction()函数会调用wake_up_interruptible()唤醒目标进程。

1.1.2 binder_thread_read()

当目标进程被唤醒时，会接着执行自己的binder_thread_read()，尝试解析并执行那些刚收来的工作。无论收来的工作来自于“binder_proc的todo链表”，还是来自于某“binder_thread的todo链表”，现在要开始从todo链表中摘节点了，而且在完成工作之后，会彻底删除binder_transaction节点。

binder_thread_read()的代码截选如下：

  1. static int binder_thread_read(struct binder_proc *proc,
  2.                   struct binder_thread *thread,
  3.                   void  __user *buffer, int size,
  4.                   signed long *consumed, int non_block)
  5. {
  6.     . . . . . .
  7. retry:
  8.     // 优先考虑thread节点的todo链表中有没有工作需要完成
  9.     wait_for_proc_work = thread->transaction_stack == NULL
  10.                          && list_empty(&thread->todo);
  11.     . . . . . .
  12.     . . . . . .
  13.     if (wait_for_proc_work)
  14.     {
  15.         . . . . . .
  16.         ret = wait_event_interruptible_exclusive(proc->wait,
  17.         binder_has_proc_work(proc, thread));
  18.     }
  19.     else
  20.     {
  21.         . . . . . .
  22.         ret = wait_event_interruptible(thread->wait, binder_has_thread_work(thread));
  23.     }
  24.     . . . . . .
  25.     thread->looper &= ~BINDER_LOOPER_STATE_WAITING;
  27.     // 如果是非阻塞的情况，ret值非0表示出了问题，所以return。
  28.  // 如果是阻塞（non_block）情况，ret值非0表示等到的结果出了问题，所以也return。
  29.     if (ret)
  30.         return ret;
  32.  while (1)
  33.     {
  34.         . . . . . .
  35.         // 读取binder_thread或binder_proc中todo列表的第一个节点
  36.         if (!list_empty(&thread->todo))
  37.             w = list_first_entry(&thread->todo, struct binder_work, entry);
  38.         else if (!list_empty(&proc->todo) && wait_for_proc_work)
  39.             w = list_first_entry(&proc->todo, struct binder_work, entry);
  40.         . . . . . .
  42.  switch (w->type)
  43.         {
  44.         case BINDER_WORK_TRANSACTION: {
  45.             t = container_of(w, struct binder_transaction, work);
  46.         } break;
  48.         case BINDER_WORK_TRANSACTION_COMPLETE: {
  49.             cmd = BR_TRANSACTION_COMPLETE;
  50.             . . . . . .
  51.               // 将binder_transaction节点从todo队列摘下来
  52.             list_del(&w->entry);
  53.             kfree(w);
  54.             binder_stats_deleted(BINDER_STAT_TRANSACTION_COMPLETE);
  55.         } break;
  56.           . . . . . .
  57.           . . . . . .
  58.         }
  60.         if (!t)
  61.             continue;
  63.         . . . . . .
  64.         if (t->buffer->target_node)
  65. {
  66.             struct binder_node *target_node = t->buffer->target_node;
  67.             tr.target.ptr = target_node->ptr;
  68.             // 用目标binder_node中记录的cookie值给binder_transaction_data的cookie域赋值，
  69.               // 这个值就是目标binder实体的地址
  70.               tr.cookie =  target_node->cookie;
  71.             t->saved_priority = task_nice(current);
  72.             . . . . . .
  73.             cmd = BR_TRANSACTION;
  74.         }
  75.         . . . . . .
  76.         tr.code = t->code;
  77.         tr.flags = t->flags;
  78.         tr.sender_euid = t->sender_euid;
  79.         . . . . . .
  80.         tr.data_size = t->buffer->data_size;
  81.         tr.offsets_size = t->buffer->offsets_size;
  82.          // binder_transaction_data中的data只是记录了binder缓冲区中的地址信息，并再做copy动作
  83.         tr.data.ptr.buffer = (void *)t->buffer->data +
  84.                     proc->user_buffer_offset;
  85.         tr.data.ptr.offsets = tr.data.ptr.buffer +
  86.                     ALIGN(t->buffer->data_size,
  87.                         sizeof(void *));
  89.          // 将cmd命令写入用户态，此时应该是BR_TRANSACTION
  90.         if (put_user(cmd, (uint32_t __user *)ptr))
  91.             return -EFAULT;
  92.         ptr += sizeof(uint32_t);
  93.          // 当然，binder_transaction_data本身也是要copy到用户态的
  94.         if (copy_to_user(ptr, &tr, sizeof(tr)))
  95.             return -EFAULT;
  96.         . . . . . .
  97.         . . . . . .
  98.  // 将binder_transaction节点从todo队列摘下来
  99.         list_del(&t->work.entry);
  100.         t->buffer->allow_user_free = 1;
  101.         if (cmd == BR_TRANSACTION && !(t->flags & TF_ONE_WAY)) {
  102.             t->to_parent = thread->transaction_stack;
  103.             t->to_thread = thread;
  104.             thread->transaction_stack = t;
  105.         } else {
  106.             t->buffer->transaction = NULL;
  107.             // TF_ONE_WAY情况，此时会删除binder_transaction节点
  108.             kfree(t);
  109.             binder_stats_deleted(BINDER_STAT_TRANSACTION);
  110.         }
  111.         break;
  112.     }
  113.     . . . . . .
  114.     . . . . . .
  115.     return 0;
  116. }

简单说来就是，如果没有工作需要做，binder_thread_read()函数就进入睡眠或返回，否则binder_thread_read()函数会从todo队列摘下了一个节点，并把节点里的数据整理成一个binder_transaction_data结构，然后通过copy_to_user()把该结构传到用户态。因为这次传输带有TF_ONE_WAY标记，所以copy完后，只是简单地调用kfree(t)把这个binder_transaction节点干掉了。

binder_thread_read()尝试调用wait_event_interruptible()或wait_event_interruptible_exclusive()来等待待处理的工作。wait_event_interruptible()是个宏定义，和wait_event()类似，不同之处在于前者不但会判断“苏醒条件”，还会判断当前进程是否带有挂起的系统信号，当“苏醒条件”满足时（比如binder_has_thread_work(thread)返回非0值），或者有挂起的系统信号时，表示进程有工作要做了，此时wait_event_interruptible()将跳出内部的for循环。如果的确不满足跳出条件的话，wait_event_interruptible()会进入挂起状态。

请注意给binder_transaction_data的cookie赋值的那句：

  1. tr.cookie =  target_node->cookie;

binder_node节点里储存的cookie值终于发挥作用了，这个值反馈到用户态就是目标binder实体的BBinder指针了。

另外，在调用copy_to_user()之前，binder_thread_read()先通过put_user()向上层拷贝了一个命令码，在当前的情况下，这个命令码是BR_TRANSACTION。想当初，内核态刚刚从用户态拷贝来的命令码是BC_TRANSACTION，现在要发给目标端了，就变成了BR_TRANSACTION。

1.2 BC_TRANSACTION事务（不带TF_ONE_WAY标记）

1.2.1 再说binder_transaction()

然而，对于不带TF_ONE_WAY标记的BC_TRANSACTION事务来说，情况就没那么简单了。因为binder驱动不仅要找到目标进程，而且还必须努力找到一个明确的目标线程。正如我们前文所说，binder驱动希望可以充分复用目标进程中的binder工作线程。

那么，哪些线程（节点）是可以被复用的呢？我们再整理一下binder_transaction()代码，本次主要截选不带TF_ONE_WAY标记的代码部分：

  1. static void binder_transaction(struct binder_proc *proc,
  2.                    struct binder_thread *thread,
  3.                    struct binder_transaction_data *tr, int reply)
  4. {
  5.     struct binder_transaction *t;
  6.     . . . . . .
  7.     . . . . . .
  8.  if (tr->target.handle)
  9.         {
  10.             . . . . . .
  11.             target_node = ref->node;
  12.         }
  13.         else
  14.         {
  15.             target_node = binder_context_mgr_node;
  16.             . . . . . .
  17.         }
  18.         . . . . . .
  19.         // 先确定target_proc
  20.         target_proc = target_node->proc;
  21.         . . . . . .
  22.  if (!(tr->flags & TF_ONE_WAY) && thread->transaction_stack)
  23.         {
  24.  struct binder_transaction *tmp;
  25.             tmp = thread->transaction_stack;
  26.             . . . . . .
  27.             // 找到from_parent这条链表中，最后一个可以和target_proc匹配
  28.  // 的binder_transaction节点，
  29.             // 这个节点的from就是我们要找的“目标线程”
  30.  while (tmp)
  31.             {
  32.  if (tmp->from && tmp->from->proc == target_proc)
  33.                     target_thread = tmp->from;
  34.                 tmp = tmp->from_parent;
  35.             }
  36.         }
  37.     . . . . . .
  38.     // 要确定target_list和target_wait了，如果能找到“目标线程”，它们就来自目标线程，否则
  39.     // 就只能来自目标进程了。
  40.     if (target_thread)
  41.     {
  42.         e->to_thread = target_thread->pid;
  43.         target_list = &target_thread->todo;
  44.         target_wait = &target_thread->wait;
  45.     }
  46.     else {
  47.         target_list = &target_proc->todo;
  48.         target_wait = &target_proc->wait;
  49.     }
  50.     . . . . . .
  51.     // 创建新的binder_transaction节点。
  52.     t = kzalloc(sizeof(*t), GFP_KERNEL);
  53.     . . . . . .
  54.     . . . . . .
  56.     t->from = thread;   // 新节点的from域记录事务的发起线程
  58.     t->sender_euid = proc->tsk->cred->euid;
  59.     t->to_proc = target_proc;
  60.     t->to_thread = target_thread;   // 新节点的to_thread域记录事务的目标线程
  62.     t->code = tr->code;
  63.     t->flags = tr->flags;
  64.     t->priority = task_nice(current);
  65.     // 从binder buffer中申请一个区域，用于存储待传输的数据
  66.     t->buffer = binder_alloc_buf(target_proc, tr->data_size,
  67.                                  tr->offsets_size,
  68.                                  !reply && (t->flags & TF_ONE_WAY));
  69.     . . . . . .
  70.     t->buffer->transaction = t;
  71.     t->buffer->target_node = target_node;
  72.     . . . . . .
  73.     // 从用户态拷贝来待传输的数据
  74.     if (copy_from_user(t->buffer->data, tr->data.ptr.buffer, tr->data_size)) {
  75.         . . . . . .
  76.     }
  77.     if (copy_from_user(offp, tr->data.ptr.offsets, tr->offsets_size)) {
  78.         . . . . . .
  79.     }
  80.     // 遍历每个flat_binder_object信息，创建必要的红黑树节点 ....
  81.     for (; offp < off_end; offp++)
  82.     {
  83.         struct flat_binder_object *fp;
  84.         . . . . . .
  85.         . . . . . .
  86.     }
  88.     . . . . . .
  89.         t->need_reply = 1;
  90.         // 新binder_transaction节点成为发起端transaction_stack栈的新栈顶
  91.         t->from_parent = thread->transaction_stack;
  92.         thread->transaction_stack = t;
  93.     . . . . . .
  94.     t->work.type = BINDER_WORK_TRANSACTION;
  96.     // 终于把binder_transaction节点插入target_list（即目标todo队列）了。
  97.     list_add_tail(&t->work.entry, target_list);
  98.     tcomplete->type = BINDER_WORK_TRANSACTION_COMPLETE;
  99.     list_add_tail(&tcomplete->entry, &thread->todo);
  100.     if (target_wait)
  101.         wake_up_interruptible(target_wait);
  102.     return;
  103.     . . . . . .
  104.     . . . . . .
  105. }

其中，获取目标binder_proc的部分和前一小节没什么不同，但是因为本次传输不再携带TF_ONE_WAY标记了，所以函数中会尽力去查一个合适的“目标binder_thread”，此时会用到binder_thread里的“事务栈”（transaction_stack）概念。

那么，怎么找“目标binder_thread”呢？首先，我们很清楚“发起端”的binder_thread节点是哪个，而且也可以找到“目标端”的binder_proc，这就具有了搜索的基础。在binder_thread节点的transaction_stack域里，记录了和它相关的若干binder_transaction，这些binder_transaction事务在逻辑上具有类似堆栈的属性，也就是说“最后入栈的事务”会最先处理。

从逻辑上说，线程节点的transaction_stack域体现了两个方面的意义：

  1. 这个线程需要别的线程帮它做某项工作；
  2. 别的线程需要这个线程做某项工作；

因此，一个工作节点（即binder_transaction节点）往往会插入两个transaction_stack堆栈，示意图如下：

当binder_transaction节点插入“发起端”的transaction_stack栈时，它是用from_parent域来连接堆栈中其他节点的。而当该节点插入“目标端”的transaction_stack栈时，却是用to_parent域来连接其他节点的。关于插入目标端堆栈的动作，位于binder_thread_read()中，我们在后文会看到。

这么看来，from_parent域其实将一系列逻辑上有先后关系的若干binder_transaction节点串接起来了，而且这些binder_transaction节点可能是由不同进程、线程发起的。那么我们只需遍历一下这个堆栈里的事务，看哪个事务的“from线程所属的进程”和“目标端的binder_proc”一致，就说明这个from线程正是我们要找的目标线程。为什么这么说呢？这是因为我们的新事务将成为binder_transaction的新栈顶，而这个堆栈里其他事务一定是在新栈顶事务处理完后才会处理的，因此堆栈里某个事务的发起端线程可以理解为正处于等待状态，如果这个发起端线程所从属的进程恰恰又是我们新事务的目标进程的话，那就算合拍了，这样就找到“目标binder_thread”了。我把相关的代码再抄一遍：

  1. struct binder_transaction *tmp;
  2. tmp = thread->transaction_stack;
  4. while (tmp) {
  5.     if (tmp->from && tmp->from->proc == target_proc)
  6.         target_thread = tmp->from;
  7.     tmp = tmp->from_parent;
  8. }

代码用while循环来遍历thread->transaction_stack，发现tmp->from->proc == target_proc，就算找到了。

如果能够找到“目标binder_thread”的话，binder_transaction事务就会插到它的todo队列去。不过有时候找不到“目标binder_thread”，那么就只好退而求其次，插入binder_proc的todo队列了。再接下来的动作没有什么新花样，大体上会尝试唤醒目标进程。

1.2.2 再说binder_thread_read()

目标进程在唤醒后，会接着当初阻塞的地方继续执行，这个已在前一小节阐述过，我们不再赘述。值得一提的是binder_thread_read()中的以下句子：

  1.  // 将binder_transaction节点从todo队列摘下来
  2.         list_del(&t->work.entry);
  3.         t->buffer->allow_user_free = 1;
  4.         if (cmd == BR_TRANSACTION && !(t->flags & TF_ONE_WAY)) {
  5.             t->to_parent = thread->transaction_stack;
  6.             t->to_thread = thread;
  7.             thread->transaction_stack = t;
  8.         } else {
  9.             t->buffer->transaction = NULL;
  10.               // TF_ONE_WAY情况，此时会删除binder_transaction节点
  11.             kfree(t);
  12.             binder_stats_deleted(BINDER_STAT_TRANSACTION);
  13.         }

因为没有携带TF_ONE_WAY标记，所以此处会有一个入栈操作，binder_transaction节点插入了目标线程的transaction_stack堆栈，而且是以to_thread域来连接堆栈中的其他节点的。

总体说来，binder_thread_read()的动作大体也就是：

1） 利用wait_event_xxxx()让自己挂起，等待下一次被唤醒； 
2） 唤醒后找到合适的待处理的工作节点，即binder_transaction节点； 
3） 把binder_transaction中的信息整理到一个binder_transaction_data中； 
4） 整理一个cmd整数值，具体数值或者为BR_TRANSACTION，或者为BR_REPLY； 
5） 将cmd数值和binder_transaction_data拷贝到用户态； 
6） 如有必要，将得到的binder_transaction节点插入目标端线程的transaction_stack堆栈中。

1.2.3 目标端如何处理传来的事务

binder_thread_read()本身只负责读取数据，它并不解析得到的语义。具体解析语义的动作并不在内核态，而是在用户态。

我们再回到用户态的IPCThreadState::waitForResponse()函数。

  1. status_t IPCThreadState::waitForResponse(Parcel *reply, status_t *acquireResult)
  2. {
  3.     while (1)
  4.     {
  5.         // talkWithDriver()内部会完成跨进程事务
  6.         if ((err = talkWithDriver()) < NO_ERROR)
  7.             break;
  9.         // 事务的回复信息被记录在mIn中，所以需要进一步分析这个回复
  10.         . . . . . .
  11.         cmd = mIn.readInt32();
  12.         . . . . . .
  14.             err = executeCommand(cmd);
  15.         . . . . . .
  16.     }
  17.     . . . . . .
  18. }

当发起端调用binder_thread_write()唤醒目标端的进程时，目标进程会从其上次调用binder_thread_read()的地方苏醒过来。辗转跳出上面的talkWithDriver()函数，并走到executeCommand()一句。

因为binder_thread_read()中已经把BR_命令整理好了，所以executeCommand()当然会走到case BR_TRANSACTION分支：

  1. status_t IPCThreadState::executeCommand(int32_t cmd)
  2. {
  3.     BBinder* obj;
  4.     RefBase::weakref_type* refs;
  5.     . . . . . .
  6.     . . . . . .
  8.     case BR_TRANSACTION:
  9.         {
  10.             binder_transaction_data tr;
  11.             result = mIn.read(&tr, sizeof(tr));
  12.             . . . . . .
  13.             mCallingPid = tr.sender_pid;
  14.             mCallingUid = tr.sender_euid;
  15.             mOrigCallingUid = tr.sender_euid;
  16.             . . . . . .
  17.             Parcel reply;
  18.             . . . . . .
  19.             if (tr.target.ptr) {
  20.                 sp<BBinder> b((BBinder*)tr.cookie);
  21.                 const status_t error = b->transact(tr.code, buffer, &reply, tr.flags);
  22.                 if (error < NO_ERROR) reply.setError(error);
  24.             } else {
  25.                 const status_t error = the_context_object->transact(tr.code, buffer, &reply, tr.flags);
  26.                 if (error < NO_ERROR) reply.setError(error);
  27.             }
  28.             . . . . . .
  29.             if ((tr.flags & TF_ONE_WAY) == 0)
  30.             {
  31.                 LOG_ONEWAY("Sending reply to %d!", mCallingPid);
  32.                 sendReply(reply, 0);
  33.             }
  34.             . . . . . .
  35.             . . . . . .
  36.         }
  37.         break;
  39.     . . . . . .
  40.     . . . . . .
  41.     return result;
  42. }

最关键的一句当然是b->transact()啦，此时b的值来自于binder_transaction_data的cookie域，本质上等于驱动层所记录的binder_node节点的cookie域值，这个值在用户态就是BBinder指针。

在调用完transact()动作后，executeCommand()会判断tr.flags有没有携带TF_ONE_WAY标记，如果没有携带，说明这次传输是需要回复的，于是调用sendReply()进行回复。

2 小结

至此，《红茶一杯话Binder（传输机制篇）》的上、中、下三篇文章总算写完了。限于个人水平，文中难免有很多细节交代不清，还请各位看官海涵。作为我个人而言，只是尽力尝试把一些底层机制说得清楚一点儿，奈何Android内部的代码细节繁杂，逻辑交叠，往往搞得人头昏脑涨，所以我也只是针对其中很小的一部分进行阐述而已。因为本人目前的主要兴趣已经不在binder了，所以这篇文章耽误了好久才写完，呵呵，见谅见谅。

 

转自http://my.oschina.net/youranhongcha/blog/167314

红茶一杯话Binder （传输机制篇_下）的更多相关文章

  1. 红茶一杯话Binder （传输机制篇_中）

    红茶一杯话Binder (传输机制篇_中) 侯 亮 1 谈谈底层IPC机制吧 在上一篇文章的最后,我们说到BpBinder将数据发到了Binder驱动.然而在驱动层,这部分数据又是如何传递到BBind ...

  2. 红茶一杯话Binder（传输机制篇_上）

    红茶一杯话Binder (传输机制篇_上) 侯 亮 1 Binder是如何做到精确打击的? 我们先问一个问题,binder机制到底是如何从代理对象找到其对应的binder实体呢?难道它有某种制导装置吗 ...

  3. 红茶一杯话Binder （初始篇）

    1 什么是Binder? 简单地说,Binder是Android平 台上的一种跨进程交互技术.该技术最早并不是由Google公司提出的,它的前身是Be Inc公司开发的OpenBinder,而且在Pa ...

  4. 红茶一杯话Binder （ServiceManager篇）

    1.先说一个大概 Android平台的一个基本设计理念是构造一个相对平坦的功能集合,这些功能可能会身处于不同的进程中,然而却可以高效地整合到一起,实现不同的用户需求.这就必须打破过去各个孤立App所形 ...

  5. Binder通信机制介绍

    1.Binder通信机制介绍 这篇文章会先对比Binder机制与Linux的通信机制的差别,了解为什么Android会另起炉灶,采用Binder.接着,会根据 Binder的机制,去理解什么是Serv ...

  6. Handler消息机制与Binder IPC机制完全解析

    1.Handler消息机制 序列 文章 0 Android消息机制-Handler(framework篇) 1 Android消息机制-Handler(native篇) 2 Android消息机制-H ...

  7. 浅议Grpc传输机制和WCF中的回调机制的代码迁移

    浅议Grpc传输机制和WCF中的回调机制的代码迁移 一.引子 如您所知,gRPC是目前比较常见的rpc框架,可以方便的作为服务与服务之间的通信基础设施,为构建微服务体系提供非常强有力的支持. 而基于. ...

  8. android binder 进程间通信机制1-binder 驱动程序

    以下内容只大概列个提纲,若要明白其中细节,还请看源码: 申明:本人菜鸟,希望得到大神指点一二,余心足已 binder 设备:/dev/binder binder 进程间通信涉及的四个角色: Clien ...

  9. android binder 进程间通信机制6-Binder进程间通信机制的JAVA接口

    Binder间进程通信的JAVA层接口,主要是通过JNI方法来调用Binder库的C/C++接口 在JAVA层,将Service组件称为JAVA服务,Service组件的代理称为JAVA服务代理. 一 ...

随机推荐

  1. 数字 function

    SELECT TRUNC(15.79), TRUNC(), ROUND(15.79), ), ), FLOOR(26.983), CEIL(26.123), ), ), ), MOD(,) FROM ...

  2. 【数论】【枚举约数】【友好数】CODEVS 2632 非常好友

    O(sqrt(n))枚举约数,根据定义暴力判断友好数. #include<cstdio> #include<cmath> using namespace std; int n; ...

  3. 【莫队算法】【权值分块】bzoj2223 [Coci 2009]PATULJCI

    不带修改主席树裸题<=>莫队+权值分块裸题. 复杂度O(m*sqrt(n)). P.S.题目描述坑爹,第二个数是权值的范围. #include<cstdio> #include ...

  4. 【字符串哈希】【BKDRhash】【Rabin-Karp算法】模板

    #include<cstdio> #include<iostream> #include<cstring> #include<string> #incl ...

  5. 重写规则为什么要options +followsymlinks

    重写规则为什么要options +followsymlinks Web服务器的Apache安装编译成功mod_rewrite编译成模块,但当我在网站根目录下放了一个.htaccess配置文件,却得到了 ...

  6. 调试SQLSERVER （二）使用Windbg调试SQLSERVER的环境设置 ------符号文件

    http://www.cnblogs.com/lyhabc/p/4184708.html

  7. Error (10663): Verilog HDL Port Connection error at led_demo.v(6): output or inout port "led" must be connected to a structural net expression

    错误现象:

  8. iOS开发笔记_5.线程，HTTP请求，定时器

    说起线程,不会陌生了,操作系统课程里已经详细介绍了这个东东,这里就不解释了,想要了解的问问百度或者翻翻书. 线程的创建 总结了昨天的学习,有下面几种创建的方式. //第一种 NSThread *t = ...

  9. Texygen文本生成,交大计算机系14级的朱耀明

    文本生成哪家强?上交大提出基准测试新平台 Texygen 2018-02-12 13:11测评 新智元报道 来源:arxiv 编译:Marvin [新智元导读]上海交通大学.伦敦大学学院朱耀明, 卢思 ...

  10. JS中的import和require区别

    1.import xx from yy的方式是静态编译,即编译时加载,要写在文件的最上头,但是import()函数可以实现动态加载,写在任何地方 2.require是动态加载,即运行时加载,理论上可以 ...