本文分析Linux设备复位的逻辑空间,包括对实体设备(PF)和虚拟设备(VF)的相关逻辑。整个分析基于Linux Kernel 5.1。
先快速扫个盲,建立一个基本的讨论空间:
Linux的设备模型主要包括三个实体:driver,bus和device。基础的bus一般是预定义的(比如platform_bus和pci_bus),其他的bus有预定义的也有被新的device动态定义的。driver是内核模块,注册到bus上,等着驱动device。device由bus枚举来发现,也注册给bus。这样,挂在bus上的驱动和device就可以互相匹配(一般通过名字匹配一类的方法),这种匹配称为binding。最终就是一般驱动工程师能感受到的:驱动的probe函数被调用,传进来一个device,然后你爱怎么弄这个device都可以了。比如注册为一个netdev,注册为另一条总线,注册为一个sas控制器,等等。
binding过程和device和driver谁先注册无关,谁注册都会发生一个match过程,match上了就会probe,所以,无论你在内核中预先编译了driver,还是在总线找到device之后,modprobe插入一个driver,都不影响这个match的过程。
binding的driver和device可以unbinding,这个通过sysfs接口就可以做到了,VFIO就是通过这种方法,把设备的普通驱动rebinding为VFIO驱动,这样原来的比如注册给netdev的驱动,就变成注册给vfio的驱动,生成一个字符设备,由qemu这样的