1. Binder线程模型与优先级机制

1.1 原理剖析

Binder IPC 的核心交互单位是线程。任何希望对外提供 Binder 服务的进程都必须维护一个 Binder 线程池（Thread Pool）。该线程池由 Binder 驱动统一管理调度，用于处理来自其他进程的跨进程请求。理解线程模型与 Linux 优先级策略的交互，是优化响应延迟的基石。

1.2 架构流程图

下图展示了客户端发起调用后，请求穿过 Binder 驱动到达服务端线程池，并与 Linux 调度器交互的全路径。

1.3 核心实现流程

一个标准 Binder 线程从创建到处理请求的流程如下：

1. 线程创建与注册： 进程通过 ProcessState::startThreadPool() 或 Binder 驱动收到 BC_ENTER_LOOPER 创建新线程。
2. 内核态等待： 线程进入 IPCThreadState::joinThreadPool() 循环，调用 ioctl(BC_ENTER_LOOPER) 后进入休眠等待 Binder 驱动分配任务。
3. 任务唤醒： 客户端发起事务，驱动通过 binder_thread_read() 唤醒目标进程中的某个空闲线程。
4. 优先级映射： Binder 驱动根据调用方进程/线程的调度策略与优先级，设置目标线程的优先级（优先级的传递或重映射）。
5. 事务执行： 工作线程执行 onTransact() 回调，处理完毕后返回驱动，进入下一轮等待。

1.4 关键代码与API

默认情况下，Binder 线程池线程使用 SCHED_NORMAL 策略。通过 libcutils 和 pthread API 可以修改其优先级。

标准线程池循环（伪码）：

// frameworks/native/libs/binder/IPCThreadState.cpp
void IPCThreadState::joinThreadPool() {
    while (true) {
        // 发送 BC_ENTER_LOOPER 给驱动
        talkWithDriver();
        // 等待 BR_TRANSACTION 或 BR_DEAD_BINDER
        result = getAndExecuteCommand();
        if (result == TIMED_OUT) {
            // 如果线程池超出自定义上限则退出
            break;
        }
    }
    // 发送 BC_EXIT_LOOPER
}

设置工作线程优先级示例：

// 使用 libcutils 提供的 sched_policy.h
#include <cutils/sched_policy.h>

// 在 Binder 事务处理函数开头调用
void MyService::onTransact(uint32_t code, ...) {
    // 将当前线程提升至前台优先级 (SCHED_FIFO 或 CFS 中升高的 nice 值)
    set_sched_policy(0, SP_FOREGROUND); // 0 表示当前线程

    // ... 执行业务逻辑 ...

    // 处理完毕后恢复默认优先级
    set_sched_policy(0, SP_DEFAULT);
}

1.5 调试与监控

通过 adb shell ps 和 procrank 可以实时监控 Binder 线程的优先级情况。

# 查看系统中所有 Binder 线程的调度策略、优先级和 Nice 值
adb shell ps -e -o PID,TID,CLASS,PRI,NICE,COMM,NAME | grep -E "binder|Binder"

# 示例输出：
# 657   924  NORMAL  19   0  binder_1        system_server
# 657   925  NORMAL  10  -10 binder_2        system_server
# 658   1028 FIFO    1    -   binder_3        surfaceflinger

# 查看特定进程的线程优先级
adb shell ps -T -p [PID]

1.6 常见配置与错误

典型错误场景：

• 线程优先级漂移： 服务端 Binder 线程在调用了其他高优先级的 Service 后，自身的优先级被驱动“继承”并永久提升，导致后台任务优先级过高。
• 线程池耗尽： 默认线程池大小为 16，若某个请求因优先级抢占长时间阻塞在该线程，会导致其他请求无可用线程，表现为 Binder 调用 “Timed out”。
• 优先级反转： 低优先级线程持有锁，高优先级线程等待锁，中等优先级线程抢占低优先级线程导致高优先级线程无法运行。

1.7 性能影响与优化方向

默认的 SCHED_NORMAL 策略意味着线程必须与进程内其他普通线程通过 CFS 公平竞争 CPU 时间片。在 IO 密集型或高负载场景下，Binder 事务可能经历不可控的调度延迟。