发布时间:2014-09-05 13:25:12作者:知识屋
首先来看看__user的宏定义:
#ifdef __CHECKER__ # define __user __attribute__((noderef, address_space(1))) |
而事实上也确实如此,它是为了编译内核/模块时用 make C=1选项,打开静态语法检查工具sparse,来探测可能出现的错误。同时也可以看出它对文件的生成并没有影响,只是用来检查语法正确性。
进一步研究发现,sparse是一个静态的C语法检查工具,Linux下编译内核或编译module时,可以附加C=1来调用sparse检查代码.
另外,sparse定义了几个内存空间,sparse针对Linux内核定义了几个地址空间, kernel空间为默认, user空间为1, io区间为2. 这样可以检查访问地址的代码是否有问题。包括其中address_space(1)指用户空间。
例如驱动编写中,size_t hello_read(struct file *file, char __user *buff, size_t count, loff_t *offp)
{
return 0;
}
linux一键安装web环境全攻略 在linux系统中怎么一键安装web环境方法
Linux网络基本网络配置方法介绍 如何配置Linux系统的网络方法
Linux下DNS服务器搭建详解 Linux下搭建DNS服务器和配置文件
对Linux进行详细的性能监控的方法 Linux 系统性能监控命令详解
linux系统root密码忘了怎么办 linux忘记root密码后找回密码的方法
Linux基本命令有哪些 Linux系统常用操作命令有哪些
Linux必学的网络操作命令 linux网络操作相关命令汇总
linux系统从入侵到提权的详细过程 linux入侵提权服务器方法技巧
linux系统怎么用命令切换用户登录 Linux切换用户的命令是什么
在linux中添加普通新用户登录 如何在Linux中添加一个新的用户
2012-07-10
CentOS 6.3安装(详细图解教程)
Linux怎么查看网卡驱动?Linux下查看网卡的驱动程序
centos修改主机名命令
Ubuntu或UbuntuKyKin14.04Unity桌面风格与Gnome桌面风格的切换
FEDORA 17中设置TIGERVNC远程访问
StartOS 5.0相关介绍,新型的Linux系统!
解决vSphere Client登录linux版vCenter失败
LINUX最新提权 Exploits Linux Kernel <= 2.6.37
nginx在网站中的7层转发功能