ProbeForRead/Write和MmIsAddressValid

ProbeForRead/Write

在开发驱动模块时，有时候需要处理来自用户态进程发送的IOCTL请求。在解析参数的时候，如果有用户地址空间的内存，要检测是否可以读（ProbeForRead）写（ProbeForWrite）。

看一下这两个函数的具体实现：
ProbeForRead函数就是简单的检查了一下对齐粒度，然后看这块地址是否属于用户层，即地址末尾要小于MmUserProbeAddress。

3: kd> dd MmUserProbeAddress
849ac850  7fff0000

ProbeForWrite函数在ProbeForRead函数的基础上，增加了尝试写操作，以页为单位，每页尝试写一个字节，从而检查内存是否可写。

MmIsAddressValid

在驱动程序里，通过MmIsAddressValid函数来判断一个内核地址空间的内存是否有效。
它没有进行内存读写，而是通过内存分页机制判断的。即通过虚拟地址去寻址物理地址，然后判断其是否有效。
x86下的页面映射机制在之前的文章中有介绍，感兴趣的可移步：Windows内存管理—内存映射、PAE、MmPfnDatabase
x64的内存管理比较复杂，暂未研究，后续会补充。