扫一扫
分享文章到微信
扫一扫
关注官方公众号
至顶头条
看了Linux代码,感觉其对内核内存的保护做得不是很好,还有感觉大家有些地方理解不对(主要是 Linux的代码看起来的样子和实际的样子不太一样),所以谈谈我对Linux系统内核空间的保护和用户空间与系统空间数据传递的代码看法。注意我说的都是I386体系结构,别的体系结构可以看相应的代码,不敢保证结果是否是如我所说。
Linux建立进程的时候建立了两套段描述符,在文件Segment.h有说明。
|
一个用于内核代码,一个用于用户代码。运行内核代码的时候用内核的段描述符号就可以直接访问用户空间,但运行用户代码的时候用户段描述符不能访问内核空间,这是用的保护模式一些机制,具体代码不再介绍。不懂的就得看看介绍保护模式的一些书籍了。
在用户代码调用系统函数的时候,程序进入了系统内核代码,描述符也已经切换到了内核的描述符,这时可以直接访问用户空间或者内核空间,两者的参数数据传递也很简单,可以直接拷贝等。但看了Linux代码的都知道,系统函数代码里面的用户空间与内核空间参数传递是没有这么直接拷贝的,那是为什么呢?大家想一想,用户调用的一些指针参数等,可以指向内核空间,如果不加以检测直接拷贝,那么用户空间代码就可以通过系统调用读写内核空间了,这显然是不准许的。所以内核代码里面就采用了统一的一些函数:copy_from_user/copy_to_user和 __generic_copy_from_user/__gerneric_copy_to_user等,而在这些函数里面实现用户调用传递的指针合法性检测,用户参数提供的指针等不能指向系统空间,这样编写内核代码的时候只要调用这些函数就能实现了对内核空间的保护,编写也比较方便。这就提醒大家自己编写内核代码的时候,千万不要图方便直接用户空间与内核空间的参数拷贝,其实那些COPY函数并不是说用户空间与内核空间要怎么切换才能拷贝,这点我看很多人都没有真正的理解。
我们再仔细看看那些COPY函数是怎么实现的内核空间保护呢。原来是在每个进程的进程数据结构里面保存了一个用户空间范围, current- >addr_limit,因为内核空间在用户空间上面,所以只要简单检测用户传递参数访问的空间是不是小于等于这个范围就是了。下面是相关的几个文件的相关内容。
|
大家看那get_ds()、get_fs()、set_fs()等函数可能不是你刚看到时想的那么一回事吧?他们看来好象是访问或者设置段,其实只是访问或者设置一个进程变量罢了。
你看那些COPY函数使得传递的一些参数只能是指向用户空间,那么内核代码对系统一些函数的调用怎么办呢,因为那时的参数都在内核空间里面呀。你仔细看看上面不是有个set_fs(x)调用吗,那就是设置这个用户空间限制的调用,只要临时设置用户空间限制为内核空间的范围,调用完了过后恢复就是了。你再看下面代码就对那几个set_fs()的作用清楚了吧。
|
好了,原理讲完了,代码大家也看明白了,我们再看看这种编程好不好呢?其实这种编程显然不好。 缺点如下:
1、还没有形成统一的保护方式,对内核空间的保护不好。内核代码编程不注意的话就可能使得用户程序突破内核空间的保护。这点编写内核代码的同志一定得注意用户空间与系统空间的拷贝一定得用那些COPY函数,不要自己简单的直接拷贝。
2、内核代码对系统函数调用时设置用户空间限制不好。这点如果设置了哪个进程的用户空间限制还没有设置回去的时候如果进程用户代码得到运行(应该不太可能吧)那么就突破了内核空间限制。还有如果内核代码不注意忘了恢复用户空间限制那么也使得内核空间保护失效。
其实有好的办法,实现也很简单。就是用一个内核全局变量保存用户空间范围,这个启动的时候根据配置计算好,内核调用的时候可以很方便的引用这个变量对用户代码的调用参数实现检测,用另一个内核全局变量来区分程序是在内核态还是用户态运行,如果在内核态再调用系统函数就可以不用检测系统调用的参数是在内核空间还是用户空间。这样就可以避免修改那个全局变量的麻烦。
如果您非常迫切的想了解IT领域最新产品与技术信息,那么订阅至顶网技术邮件将是您的最佳途径之一。
现场直击|2021世界人工智能大会
直击5G创新地带,就在2021MWC上海
5G已至 转型当时——服务提供商如何把握转型的绝佳时机
寻找自己的Flag
华为开发者大会2020(Cloud)- 科技行者