知识屋:更实用的电脑技术知识网站
所在位置:首页 > 操作系统 > linux

linux的宏__user

发布时间:2014-09-05 13:25:12作者:知识屋

首先来看看__user的宏定义:

 

#ifdef __CHECKER__
# define __user __attribute__((noderef, address_space(1)))
从宏定义可以看出,在配置__CHECKER__宏的条件下,__user宏定义有效,而显然可以看出宏__CHECKER__是作为检查机制出现的,所以我们可以推断宏__user应该是用来检查错误使用。

而事实上也确实如此,它是为了编译内核/模块时用 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;
}

(免责声明:文章内容如涉及作品内容、版权和其它问题,请及时与我们联系,我们将在第一时间删除内容,文章内容仅供参考)
收藏
  • 人气文章
  • 最新文章
  • 下载排行榜
  • 热门排行榜