linux内核中的get_user和put_user


内核空间和用户空间交换数据时,get_user和put_user是两个两用的函数。相对于copy_to_user和
copy_from_user(将在另一篇博客中分析),这两个函数主要用于完成一些简单类型变量(char、int、long等)的拷贝任务,对于一些
复合类型的变量,比如数据结构或者数组类型,get_user和put_user函数还是无法胜任,这两个函数内部将对指针指向的对象长度进行检查,在
arm平台上只支持长度为1,2,4,8的变量。下面我具体分析,首先看get_user的定义(linux/include/asm-arm
/uaccess.h):

  1. extern int __get_user_1(void *);
  2. extern int __get_user_2(void *);
  3. extern int __get_user_4(void *);
  4. extern int __get_user_8(void *);
  5. extern int __get_user_bad(void);
  6. #define __get_user_x(__r2,__p,__e,__s,__i...)               \
  7. __asm__ __volatile__ (                   \
  8. __asmeq("%0", "r0") __asmeq("%1", "r2")         \ //
    进行判断(#define __asmeq(x, y)  ".ifnc " x "," y " ; .err ; .endif\n\t")
  9. "bl __get_user_" #__s               \ //根据参数调用不同的函数,此时r0=指向用户空间的指针,r2=内核空间的变量
  10. : "=&r" (__e), "=r" (__r2)              \
  11. : "0" (__p)                     \
  12. : __i, "cc")
  13. #define get_user(x,p)                           \
  14. ({                              \
  15. const register typeof(*(p)) __user *__p asm("r0") = (p);\ //__p的数据类型和*(p)的指针数据类型是一样的,__p = p,且存放在r0寄存器中
  16. register typeof(*(p)) __r2 asm("r2");           \ //__r2的数据类型和*(p)的数据类型是一样的,且存放在r2寄存器中
  17. register int __e asm("r0");             \ //定义__e,存放在寄存器r0,作为返回值
  18. switch (sizeof(*(__p))) {               \ //对__p所指向的对象长度进行检查,并根据长度调用响应的函数
  19. case 1:                         \
  20. __get_user_x(__r2, __p, __e, 1, "lr");      \
  21. break;                      \
  22. case 2:                         \
  23. __get_user_x(__r2, __p, __e, 2, "r3", "lr");    \
  24. break;                      \
  25. case 4:                         \
  26. __get_user_x(__r2, __p, __e, 4, "lr");      \
  27. break;                      \
  28. case 8:                         \
  29. __get_user_x(__r2, __p, __e, 8, "lr");      \
  30. break;                      \
  31. default: __e = __get_user_bad(); break;         \ //默认处理
  32. }                           \
  33. x = __r2;                       \
  34. __e;                            \
  35. })


面的源码涉及到gcc的内联汇编,不太了解的朋友可以参考前面的博客(http://blog.csdn.net/ce123/article
/details/8209702)。继续,跟踪__get_user_1等函数的执行,它们的定义如下(linux/arch/arm/lib
/getuser.S)。

  1. .global __get_user_1
  2. __get_user_1:
  3. 1:  ldrbt   r2, [r0]
  4. mov r0, #0
  5. mov pc, lr
  6. .global __get_user_2
  7. __get_user_2:
  8. 2:  ldrbt   r2, [r0], #1
  9. 3:  ldrbt   r3, [r0]
  10. #ifndef __ARMEB__
  11. orr r2, r2, r3, lsl #8
  12. #else
  13. orr r2, r3, r2, lsl #8
  14. #endif
  15. mov r0, #0
  16. mov pc, lr
  17. .global __get_user_4
  18. __get_user_4:
  19. 4:  ldrt    r2, [r0]
  20. mov r0, #0
  21. mov pc, lr
  22. .global __get_user_8
  23. __get_user_8:
  24. 5:  ldrt    r2, [r0], #4
  25. 6:  ldrt    r3, [r0]
  26. mov r0, #0
  27. mov pc, lr
  28. __get_user_bad_8:
  29. mov r3, #0
  30. __get_user_bad:
  31. mov r2, #0
  32. mov r0, #-EFAULT
  33. mov pc, lr
  34. .section __ex_table, "a"
  35. .long   1b, __get_user_bad
  36. .long   2b, __get_user_bad
  37. .long   3b, __get_user_bad
  38. .long   4b, __get_user_bad
  39. .long   5b, __get_user_bad_8
  40. .long   6b, __get_user_bad_8
  41. .previous


段代码都是单条汇编指令实现的内存操作,就不进行详细注解了。如果定义__ARMEB__宏,则是支持EABI的大端格式代码
(http://blog.csdn.net/ce123/article/details/8457491),关于大端模式和小端模式的详细介绍,可以
参考http://blog.csdn.net/ce123/article/details/6971544。这段代码在.section
__ex_table, "a"之前都是常规的内存拷贝操纵,特殊的地方在于后面定义“__ex_table”section 。


号1,2,...,6处是内存访问指令,如果mov的源地址位于一个尚未被提交物理页面的空间中,将产生缺页异常,内核会调用do_page_fault
函数处理这个异常,因为异常发生在内核空间,do_page_fault将调用search_exception_tables在“ __ex_table”中查找异常指令的修复指令,在上面这段带面的最后,“__ex_table”section 中定义了如下数据:

  1. .section __ex_table, "a"
  2. .long   1b, __get_user_bad //其中1b对应标号1处的指令,__get_user_bad是1处指令的修复指令。
  3. .long   2b, __get_user_bad
  4. .long   3b, __get_user_bad
  5. .long   4b, __get_user_bad
  6. .long   5b, __get_user_bad_8
  7. .long   6b, __get_user_bad_8

当标号1处发生缺页异常时,系统将调用do_page_fault提交物理页面,然后跳到__get_user_bad继续执行。get_user函数如果成果执行则返回1,否则返回-EFAULT。

put_user用于将内核空间的一个简单类型变量x拷贝到p所指向的用户空间。该函数可以自动判断变量的类型,如果执行成功则返回0,否则返回-EFAULT。下面给出它们的定义(linux/include/asm-arm/uaccess.h)。

  1. extern int __put_user_1(void *, unsigned int);
  2. extern int __put_user_2(void *, unsigned int);
  3. extern int __put_user_4(void *, unsigned int);
  4. extern int __put_user_8(void *, unsigned long long);
  5. extern int __put_user_bad(void);
  6. #define __put_user_x(__r2,__p,__e,__s)                  \
  7. __asm__ __volatile__ (                   \
  8. __asmeq("%0", "r0") __asmeq("%2", "r2")         \
  9. "bl __put_user_" #__s               \
  10. : "=&r" (__e)                       \
  11. : "0" (__p), "r" (__r2)                 \
  12. : "ip", "lr", "cc")
  13. #define put_user(x,p)                           \
  14. ({                              \
  15. const register typeof(*(p)) __r2 asm("r2") = (x);   \
  16. const register typeof(*(p)) __user *__p asm("r0") = (p);\
  17. register int __e asm("r0");             \
  18. switch (sizeof(*(__p))) {               \
  19. case 1:                         \
  20. __put_user_x(__r2, __p, __e, 1);        \
  21. break;                      \
  22. case 2:                         \
  23. __put_user_x(__r2, __p, __e, 2);        \
  24. break;                      \
  25. case 4:                         \
  26. __put_user_x(__r2, __p, __e, 4);        \
  27. break;                      \
  28. case 8:                         \
  29. __put_user_x(__r2, __p, __e, 8);        \
  30. break;                      \
  31. default: __e = __put_user_bad(); break;         \
  32. }                           \
  33. __e;                            \
  34. })

__put_user_1等函数的的定义如下(linux/arch/arm/lib/putuser.S)。

  1. .global __put_user_1
  2. __put_user_1:
  3. 1:  strbt   r2, [r0]
  4. mov r0, #0
  5. mov pc, lr
  6. .global __put_user_2
  7. __put_user_2:
  8. mov ip, r2, lsr #8
  9. #ifndef __ARMEB__
  10. 2:  strbt   r2, [r0], #1
  11. 3:  strbt   ip, [r0]
  12. #else
  13. 2:  strbt   ip, [r0], #1
  14. 3:  strbt   r2, [r0]
  15. #endif
  16. mov r0, #0
  17. mov pc, lr
  18. .global __put_user_4
  19. __put_user_4:
  20. 4:  strt    r2, [r0]
  21. mov r0, #0
  22. mov pc, lr
  23. .global __put_user_8
  24. __put_user_8:
  25. 5:  strt    r2, [r0], #4
  26. 6:  strt    r3, [r0]
  27. mov r0, #0
  28. mov pc, lr
  29. __put_user_bad:
  30. mov r0, #-EFAULT
  31. mov pc, lr
  32. .section __ex_table, "a"
  33. .long   1b, __put_user_bad
  34. .long   2b, __put_user_bad
  35. .long   3b, __put_user_bad
  36. .long   4b, __put_user_bad
  37. .long   5b, __put_user_bad
  38. .long   6b, __put_user_bad
  39. .previous

put_user函数就不具体分析了。get_user和put_user仅能完成一些简单类型变量的拷贝任务,后面我们将分析copy_to_user和copy_from_user。

linux内核中的get_user和put_user的更多相关文章

  1. (笔记)Linux内核中内存相关的操作函数

    linux内核中内存相关的操作函数 1.kmalloc()/kfree() static __always_inline void *kmalloc(size_t size, gfp_t flags) ...

  2. Linux 内核中的 Device Mapper 机制

    本文结合具体代码对 Linux 内核中的 device mapper 映射机制进行了介绍.Device mapper 是 Linux 2.6 内核中提供的一种从逻辑设备到物理设备的映射框架机制,在该机 ...

  3. 向linux内核中添加外部中断驱动模块

    本文主要介绍外部中断驱动模块的编写,包括:1.linux模块的框架及混杂设备的注册.卸载.操作函数集.2.中断的申请及释放.3.等待队列的使用.4.工作队列的使用.5.定时器的使用.6.向linux内 ...

  4. Linux内核中双向链表的经典实现

    概要 前面一章"介绍双向链表并给出了C/C++/Java三种实现",本章继续对双向链表进行探讨,介绍的内容是Linux内核中双向链表的经典实现和用法.其中,也会涉及到Linux内核 ...

  5. Linux内核中的fastcall和asmlinkage宏

    代码中看见:#define _fastcall 所以了解下fastcall -------------------------------------------------------------- ...

  6. Linux内核中的GPIO系统之(3):pin controller driver代码分析

    一.前言 对于一个嵌入式软件工程师,我们的软件模块经常和硬件打交道,pin control subsystem也不例外,被它驱动的硬件叫做pin controller(一般ARM soc的datash ...

  7. (十)Linux内核中的常用宏container_of

    Container_of在Linux内核中是一个常用的宏,用于从包含在某个结构中的指针获得结构本身的指针,通俗地讲就是通过结构体变量中某个成员的首地址进而获得整个结构体变量的首地址. Containe ...

  8. Apparmor——Linux内核中的强制访问控制系统

      AppArmor 因为最近在研究OJ(oline judge)后台的安全模块的实现,所以一直在研究Linux下沙箱的东西,同时发现了Apparmor可以提供访问控制. AppArmor(Appli ...

  9. KSM剖析——Linux 内核中的内存去耦合

    简介: 作为一个系统管理程序(hypervisor),Linux® 有几个创新,2.6.32 内核中一个有趣的变化是 KSM(Kernel Samepage Merging)  允许这个系统管理程序通 ...

随机推荐

  1. javascript 特性

    作用域: javascript的作用域称为静态作用域,在定义语法上就能确认了,而不是运行时. if (true) { var i = 'moersing' } console.log(i); //可以 ...

  2. asp.net获取select值的方法

    如何使用asp.net获取select值?搜索中发现一个不错的例子,在此与大家分享. 代码: <select runat="server" class="xgxxb ...

  3. Houdini FX 14 重磅推出!(附下载方式)

    把之前发布在新浪的博客搬过来了,新浪广告太多,影响阅读和观感,博客园很清净~ SideFX于2015年1月在官网发布Houdini FX 14,喜爱尝鲜.充满好奇心的我迫不及待的装上Apprentic ...

  4. MyFragment

    手机横竖屏自动切换不同的View: Landscape-Horizontal-横屏 Portrait-Vertical-竖屏 package com.example.shad_fnst.myfragm ...

  5. android ListView下拉刷新 上拉加载更多

    背景 最近在公司的项目中要使用到ListView的下拉刷新和上拉加载更多(貌似现在是个项目就有这个功能!哈哈),其实这个东西GitHub上很多,但是我感觉那些框架太大,而且我这个项目只用到了ListV ...

  6. js中的相等与不等运算

    如果其中一个操作数的类型为 Boolean ,那么,首先将它转换为数字类型,false 转换为 0, true 将转换为 1. 如果其中一个操作数的类型是字符串,另外一个为数字类型,那么,将字符串转换 ...

  7. linux 用户打开进程数和文件数调整

    1 查看nproc(max user processes)命令 [root@vm-cdh4 ~]# ulimit -u 14866 2 修改nproc 临时修改, 重登录或重启后失效: [root@v ...

  8. 研究validation插件到现在的感受

    1.比较累 2.看了几十个页面参考是有的,要抓住问题的实质,实质在于要改插件代码.因为它本身不提供这个方法. 3.对了,还没有描述这个问题,问题就是再次验证时,成功的样式不消失.解决方法如下: 修改了 ...

  9. CustomTabBarViewController

    // AppDelegate.m // CustomTabBar // // Created by qianfeng on 15/7/9. // Copyright (c) 2015年 qianfen ...

  10. POJ 1285 确定比赛名次

    Problem Description 有N个比赛队(1<=N<=500),编号依次为1,2,3,....,N进行比赛,比赛结束后,裁判委员会要将所有参赛队伍从前往后依次排名,但现在裁判委 ...