内核开发第二讲：编写Kernel程序注意事项
一、函数多线程的安全问题函数多线程安全指的是，当一个函数在被调用但尚未返回时，如果被其他线程再次调用，其执行结果仍然是可靠的。在用户层编写多线程程序时，我们通常会关注同步问题，以确保线程安全。同样地，在内核中也需要注意以下几点：可能在多线程环境中运行的函数必须保证线程安全。如果运行在单线程环境中，则不需要考虑线程安全性，因为没有其他线程操作。如果函数A调用函数B，函数B调用函数C，且A和B都运行在同一单线程中，那么C也应保证运行在单线程中。如果函数A调用函数B，函数B调用函数C，且B和C可能在多线程环境中
一、函数多线程的安全问题
函数多线程安全指的是，当一个函数在被调用但尚未返回时，如果被其他线程再次调用，其执行结果仍然是可靠的。
在用户层编写多线程程序时，我们通常会关注同步问题，以确保线程安全。同样地，在内核中也需要注意以下几点：
可能在多线程环境中运行的函数必须保证线程安全。如果运行在单线程环境中，则不需要考虑线程安全性，因为没有其他线程操作。
如果函数A调用函数B，函数B调用函数C，且A和B都运行在同一单线程中，那么C也应保证运行在单线程中。
如果函数A调用函数B，函数B调用函数C，且B和C可能在多线程环境中运行，那么A也可能在多线程环境中运行。因为A会调用B和C，所以B和C在多线程环境中运行。
如果函数A调用函数B，函数B调用函数C，且B运行在多线程环境中，那么需要采取多线程序列化为单线程的强制措施，使得函数B在单线程中运行。
内核中的“多线程序列化为单线程的强制措施”包括互斥体和自旋锁。
只使用函数内部资源，不使用全局变量、静态变量或其他全局性资源的函数是多线程安全的。
如果使用全局变量、静态变量等，那么需要使用同步函数来进行同步。
二、中断级别
这篇博客主要讨论了理论和需要注意的问题。在内核中，Kernel API有中断级别之分。
在用户层，代码都是同级别运行，因此不需要关心中断级别，但在Kernel内核中，必须关注中断级别，否则可能会导致持续的问题。
目前，中断级别有两个：
- Passive级别。
- Dispatch级别。
关于这两种级别，内核博客的前两课有简单介绍其本质。我们只需注意这两种级别的区别即可。
简单的函数运行在Dispatch级别中。因此，在调用任何Kernel API之前，都需要查询一下中断级别。
Dispatch级别比Passive级别高。
如何判断中断级别？
- 调用路径：A -> B -> C，那么C的调用路径就是A和B，因为是一条线。
- 调用源：A -> B -> C，那么一次递推到A，那么C的调用源就是A。
判断规则：
- 如果调用路径上没有特殊情况（导致中断级别提高或降低的情况），那么函数执行时的中断级别与其调用源级别相同。
- 如果调用路径上有获取自旋锁，则中断级别随之提高；如果有释放自旋锁，则中断级别降低。
内核中的中断级别：
| 调用源 | 级别 |
|---|---|
| DriverEntry | Passive级别 |
| DriverUnload | Passive级别 |
| 各种分发函数 | Passive级别 |
| 完成函数 | Dispatch级别 |
| 各种NDIS回调函数 | Dispatch级别 |
查询Kernel API时，会发现有说明该API在什么级别使用。
例如：
可以看到中断级别是...
疑问？
如果当前代码运行在DISPATCH级别，但必须调用PASSIVE级别的API，该怎么办？可以利用内核API降低当前中断级别吗？
答：
不可以。Windows代码都是在规范的级别上运行的，任意降低或提高都会影响代码的执行。因此，在需要调用这种API时，可以创建一个专门的线程来执行PASSIVE级别的代码。
解决方法很多，可以在网络上搜索相关资料。博主也是自学，所以暂时还没有接触到更多方法。
三、内核中宏代码代表的意思
在内核中查看API时，可以看到许多宏，这些宏都是空宏，用于说明。
例如：
- IN：表示这个参数是传递进去的。
- OUT：表示这个参数是传出参数。
例如：
__in_bcount(StatusBuffsize) IN PVOID statusBuffer;
这里的参数表示statusBuffer的大小依赖于StatusBuffsize这个参数来指定。
四、指定函数位置的预编译指令
这个小主题本来可以放在第三个问题中，但单独说明更重要。
#pragma alloc_text()
这个宏表示我们的函数的可执行代码编译出来之后在.sys文件中的位置。
.sys文件本质上是PE文件，PE文件有段和节，不同的节加载到内存中会有不同的处理情况。我们需要关注的有三种：
- INIT节：这个节的特点是初始化完毕后就会释放，不再占用内存空间。
- PAGE节：这个节的特点是可以进行分页交换的内存空间，即内存不够时可以临时放到磁盘上。
- PAGELK节：这是默认的节，如果不指定代码放在哪里，就会放在这个节中。特点是不能进行内存交换，即不可以和磁盘交互。
我们可以指定我们的代码放到哪个节中。
例如，入口函数只会调用一次，可以放到INIT节中，这样初始化完后就不占用内核内存，因为内核内存是共享的，用完就没了。
例如：
#pragma alloc_text(INIT,DriverEntry)
注意的问题：
如果将函数放入PAGE节中，代表该函数运行中可以放到磁盘上，这样会产生缺页中断。因此，放到PAGE节中的函数不能调用DISPATCH级别的函数。
Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核，支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换，并可通过账户在多台设备之间同步项目。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Ableton Live 是面向音乐制作人与现场表演者的数字音频工作站，提供编曲视图、独具特色的现场视图、音频录制、MIDI创作、实时变速、乐器及效果器。Mac版原生支持Apple芯片，并可连接音频接口、MIDI控制器和第三方插件。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Premiere Pro 是面向专业视频制作的非线性剪辑软件，提供多轨时间线、调色、音频处理、字幕、代理工作流和多格式输出能力，并可与 After Effects、Audition、Photoshop 及 Frame.io 协同
Photoshop 2026 是 Adobe 推出的专业图像处理与视觉设计软件，支持 Windows、macOS 和 iPad 等平台，广泛应用于摄影修图、电商设计、平面海报、数字绘画及视觉合成等创作场景。
Blender 是一款免费开源、跨平台的专业 3D 创作软件，集建模、动画、渲染、视频编辑与视觉合成等功能于一体，广泛应用于影视动画、游戏设计和建筑可视化等领域。软件支持 Cycles 物理渲染器与 Eevee 实时渲染引擎，并提供多边形建模、骨骼绑定、物理模拟等专业工具。Blender 兼容 Windows、macOS 和 Linux 系统，安装包轻巧、运行流畅，依托活跃的全球开发者社区持续更新，是从初学者到专业创作者都值得选择的正版 3D 创作工具。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。