2. probe函数执行流程

probe函数是块设备驱动从“注册”进入“就绪”的核心关卡。理解probe的触发时机、标准执行步骤以及关键数据结构的初始化顺序，是优化加载延迟的基础。本节将拆解probe函数的完整生命周期，并聚焦于与延迟直接相关的初始化环节。

2.1 probe函数的触发时机

probe函数的触发并非由驱动主动调用，而是由内核的设备模型（Driver Model）在检测到设备与驱动匹配时自动回调。触发时机主要分为以下三种场景：

2.2 probe函数的标准执行步骤

一个典型的块设备probe函数遵循“硬件确认 → 资源分配 → 数据结构初始化 → 注册就绪”的流水线。以下是标准执行步骤及其与延迟的关系：

1. 硬件探测与复位：读取设备寄存器，确认设备状态，必要时执行软复位。此步骤可能包含毫秒级延时。
2. PCI/总线资源分配：获取MMIO基地址、IRQ号、DMA掩码。调用pci_request_regions()或类似API。
3. 核心数据结构分配：分配struct request_queue、struct gendisk、struct blk_mq_tag_set等对象。
4. 队列与调度器初始化：调用blk_mq_init_queue()或blk_init_queue()，设置队列深度、IOPS限制。
5. 中断与DMA设置：注册中断处理函数，配置DMA映射。
6. gendisk注册：调用add_disk()将磁盘设备注册到块设备层，此时设备对用户可见。

2.3 probe函数中的关键数据结构初始化

probe函数的核心任务之一是初始化块设备层的关键数据结构。这些数据结构的初始化顺序和参数配置直接影响后续IO路径的性能。以下是三个最关键的数据结构及其初始化要点：

2.3.1 struct request_queue

请求队列是块设备层的核心抽象，负责管理待处理的IO请求。初始化时需指定队列深度、IO调度器、DMA参数等。

/* 典型初始化代码片段 */
struct request_queue *q;
q = blk_mq_init_queue(&tag_set);
if (IS_ERR(q))
    return PTR_ERR(q);

/* 设置队列参数 */
blk_queue_max_hw_sectors(q, max_sectors);
blk_queue_max_segments(q, max_segments);
blk_queue_io_min(q, physical_block_size);
blk_queue_io_opt(q, optimal_io_size);

2.3.2 struct gendisk

gendisk是块设备在VFS层的代表，包含分区表、设备号、容量等信息。初始化后通过add_disk()注册到系统。

/* gendisk分配与初始化 */
struct gendisk *disk;
disk = alloc_disk(minors);
if (!disk)
    goto out_free_queue;

disk->major = major;
disk->first_minor = minor;
disk->fops = &my_blkdev_ops;
disk->private_data = my_dev;
disk->queue = q;
sprintf(disk->disk_name, "mydrv%d", instance);

2.3.3 struct blk_mq_tag_set

多队列（blk-mq）的标签集，管理硬件队列、软件队列和请求池。初始化时需指定队列数、请求深度和操作函数。

/* blk-mq tag_set 初始化 */
struct blk_mq_tag_set tag_set;
memset(&tag_set, 0, sizeof(tag_set));
tag_set.ops = &my_mq_ops;
tag_set.nr_hw_queues = num_queues;
tag_set.queue_depth = queue_depth;
tag_set.numa_node = NUMA_NO_NODE;
tag_set.flags = BLK_MQ_F_SHOULD_MERGE;

ret = blk_mq_alloc_tag_set(&tag_set);
if (ret)
    goto out_free_disk;

2.4 probe函数执行时间分布参考

以下数据基于一个典型的NVMe SSD驱动（4个硬件队列，队列深度256）在x86平台上的实测结果，展示了probe函数各步骤的时间占比：