1、操作系统在空载时要把函数调用次数非常多的注释掉,这里打印时不能带进程名称,高执行概率函数不同进程执行到的概率也很高,不然操作业务会增加卡死的概率;
2、卡死一般是调用次数太多导致,会卡住操作系统十多秒,乃至几十秒,得看运气;
3、验证时少看代码基于多个文件一起验证,内核文件太多,看代码来不及,偶尔看下代码是可以的;
4、验证时先空载,然后添加业务验证,增加业务的验证要慢慢增量,不然不好多文件二分查找定位,这其实很难,得看运气;
5、验证时先验证框架,把框架中日志打印太多的注释掉,不然影响内核验证性能;
6、有很多函数打印太多导致操作系统卡死,这种情况看不见具体哪些函数卡死的操作系统;
7、不同计算机性能不一样,同一套代码验证结果可能不一样;
8、drivers目录25255个文件,验证还没找到一个比较快的方法。。。继续摸索中。。。