在学习Linux内核驱动的时候，一开始就会碰到copy_from_user和copy_to_user这两个常用的函数。这两个函数在内核使用的非常频繁，负责将数据从用户空间拷贝到内核空间以及将数据从内核空间拷贝到用户空间。在4年半前初学Linux内核驱动程序的时候，我只是知道这个怎么用，并没有很深入的分析这两个函数。这次研究内核模块挂载的时候，又碰到了它们。决定还是认真跟踪一下函数。
 
首先这两个函数的原型在arch/arm/include/asm/uaccess.h文件中:

  1. static inline unsigned long __must_check copy_from_user(void *to, const void __user *from, unsigned long n)
  2. {
  3. if (access_ok(VERIFY_READ, from, n))
  4. n = __copy_from_user(to, from, n);
  5. else /* security hole - plug it */
  6. memset(to, 0, n);
  7. return n;
  8. }
  9. static inline unsigned long __must_check copy_to_user(void __user *to, const void *from, unsigned long n)
  10. {
  11. if (access_ok(VERIFY_WRITE, to, n))
  12. n = __copy_to_user(to, from, n);
  13. return n;
  14. }
这两个函数从结构上来分析，其实都可以分为两个部分：
1、首先检查用户空间的地址指针是否有效（难点）
2、调用__copy_from_user和__copy_to_user函数
 
在这个分析中，我们先易后难。首先看看具体数据拷贝功能的__copy_from_user和__copy_to_user函数
 
对于ARM构架，没有单独实现这两个函数，所以他们的代码位于include/asm-generic/uaccess.h

  1. /*
  2. * 带有MMU的构架应该覆盖这两个函数
  3. */
  4. #ifndef __copy_from_user
  5. static inline __must_check long __copy_from_user(void *to,
  6. const void __user * from, unsigned long n)
  7. {
  8. if (__builtin_constant_p(n)) {
  9. switch(n) {
  10. case 1:
  11. *(u8 *)to = *(u8 __force *)from;
  12. return 0;
  13. case 2:
  14. *(u16 *)to = *(u16 __force *)from;
  15. return 0;
  16. case 4:
  17. *(u32 *)to = *(u32 __force *)from;
  18. return 0;
  19. #ifdef CONFIG_64BIT
  20. case 8:
  21. *(u64 *)to = *(u64 __force *)from;
  22. return 0;
  23. #endif
  24. default:
  25. break;
  26. }
  27. }
  28. memcpy(to, (const void __force *)from, n);
  29. return 0;
  30. }
  31. #endif
  32. #ifndef __copy_to_user
  33. static inline __must_check long __copy_to_user(void __user *to,
  34. const void *from, unsigned long n)
  35. {
  36. if (__builtin_constant_p(n)) {
  37. switch(n) {
  38. case 1:
  39. *(u8 __force *)to = *(u8 *)from;
  40. return 0;
  41. case 2:
  42. *(u16 __force *)to = *(u16 *)from;
  43. return 0;
  44. case 4:
  45. *(u32 __force *)to = *(u32 *)from;
  46. return 0;
  47. #ifdef CONFIG_64BIT
  48. case 8:
  49. *(u64 __force *)to = *(u64 *)from;
  50. return 0;
  51. #endif
  52. default:
  53. break;
  54. }
  55. }
  56. memcpy((void __force *)to, from, n);
  57. return 0;
  58. }
  59. #endif

点击(此处)折叠或打开

  1. GCC的内建函数 __builtin_constant_p 用于判断一个值是否为编译时常数，如果参数值是常数，函数返回 1，否则返回 0。
    从这两个函数中可以看出其实结构是一样的，首先看看n是不是常数，如果是并为1、2、4、8（64bit）则直接就用一个赋值语句拷贝数据。如果不是常数或n过大，则使用memcpy函数。而这个memcpy函数位于lib/string.c：

  1. #ifndef __HAVE_ARCH_MEMCPY
  2. /**
  3. * memcpy - Copy one area of memory to another
  4. * @dest: Where to copy to
  5. * @src: Where to copy from
  6. * @count: The size of the area.
  7. *
  8. * You should not use this function to access IO space, use memcpy_toio()
  9. * or memcpy_fromio() instead.
  10. */
  11. void *memcpy(void *dest, const void *src, size_t count)
  12. {
  13. char *tmp = dest;
  14. const char *s = src;
  15. while (count--)
  16. *tmp++ = *s++;
  17. return dest;
  18. }
  19. EXPORT_SYMBOL(memcpy);
  20. #endif
这个函数其实就是一个简单的利用循环来数据拷贝，非常简单。
 
～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～
好了如何拷贝数据我们已经了解了，现在我们来看看前面的用户空间指针检测函数access_ok，这其实是一个宏定义，位于arch/arm/include/asm/uaccess.h文件中：

  1. /* We use 33-bit arithmetic here... */
  2. #define __range_ok(addr,size) ({ \
  3. unsigned long flag, roksum; \
  4. __chk_user_ptr(addr); \
  5. __asm__("adds %1, %2, %3; sbcccs %1, %1, %0; movcc %0, #0" \
  6. : "=&r" (flag), "=&r" (roksum) \
  7. : "r" (addr), "Ir" (size), "0" (current_thread_info()->addr_limit) \
  8. : "cc"); \
  9. flag; })
  10. ......
  11. #define access_ok(type,addr,size) (__range_ok(addr,size) == 0)
  12. ......

这个就比较麻烦了，涉及到了C语言中内联汇编，如果还不熟悉的朋友可以看看《ARM GCC 内嵌汇编手册》，我也不是很熟。

现在我们来仔细分析__range_ok这个宏：

（1）unsigned long flag, roksum;\\定义两个变量

  1. flag：保存结果的变量：非零代表地址无效，零代表地址可以访问。初始存放非零值(current_thread_info()->addr_limit)，也就是当前进程的地址上限值。
  2. roksum：保存要访问的地址范围末端，用于和当前进程地址空间限制数据做比较

（2）__chk_user_ptr(addr);\\定义是一个空函数

但是这个函数涉及到__CHECKER__宏的判断，__CHECKER__宏在通过Sparse（Semantic Parser for C）工具对内核代码进行检查时会定义的。在使用make C=1或C=2时便会调用该工具，这个工具可以检查在代码中声明了sparse所能检查到的相关属性的内核函数和变量。

如果定义了__CHECKER__，在网上的资料中这样解释的：__chk_user_ptr和__chk_io_ptr在这里只声明函数，没有函数体，目的就是在编译过程中Sparse能够捕捉到编译错误，检查参数的类型。

如果没有定义__CHECKER__，这就是一个空函数。

（3）接下来的汇编，我适当地翻译如下：

adds %1, %2, %3

roksum = addr + size 这个操作影响状态位（目的是影响是进位标志C）

以下的两个指令都带有条件CC，也就是当C=0的时候才执行。

如果上面的加法指令进位了（C=1），则以下的指令都不执行，flag就为初始值current_thread_info()->addr_limit（非零值），并返回。

如果没有进位（C=0），就执行下面的指令

    sbcccs %1, %1, %0 

roksum = roksum - flag，也就是（addr + size）- （current_thread_info()->addr_limit）,操作影响符号位。

如果（addr + size）>=（current_thread_info()->addr_limit），则C=1

如果（addr + size）<（current_thread_info()->addr_limit），则C=0

 
当C=0的时候执行以下指令，否则跳过（flag非零）。
    movcc %0, #0
    flag = 0，给flag赋值0

（4）flag; 

返回flag值

综上所诉：__range_ok宏其实等价于：

如果（addr + size）>=（current_thread_info()->addr_limit），返回非零值

如果（addr + size）<（current_thread_info()->addr_limit），返回零

而access_ok就是检验将要操作的用户空间的地址范围是否在当前进程的用户地址空间限制中。这个宏的功能很简单，完全可以用C实现，不是必须使用汇编。个人理解：由于这两个函数使用频繁，就使用汇编来实现部分功能来增加效率。

 

    从这里再次可以认识到，copy_from_user与copy_to_user的使用是结合进程上下文的，因为他们要访问“user”的内存空间，这个“user”必须是某个特定的进程。通过上面的源码就知道，其中使用了current_thread_info()来检查空间是否可以访问。如果在驱动中使用这两个函数，必须是在实现系统调用的函数中使用，不可在实现中断处理的函数中使用。如果在中断上下文中使用了，那代码就很可能操作了根本不相关的进程地址空间。

    其次由于操作的页面可能被换出，这两个函数可能会休眠，所以同样不可在中断上下文中使用。

最新文章

  1. Java-set集合
  2. ASPxCallback控件
  3. WordPress A Forms插件HTML注入漏洞和跨站请求伪造漏洞
  4. 使用WiX Toolset创建.NET程序发布Bootstrapper（安装策略管理）（二）——自定义安装
  5. kindeditor-网页文字编辑
  6. PHP关于foreach使用引用变量的坑
  7. icon大小
  8. OpenGL 图形管道（graphics pipeline）过程
  9. C++第一天学习
  10. U盘为什么还有剩余空间，但却提示说空间不够
  11. 排座椅 2008 NOIP 普及组 第二题
  12. Evensgn 捡树枝
  13. java多线程（8）---阻塞队列
  14. MVP之高级MVP架构封装
  15. 数据挖掘---Pandas的学习
  16. Systick时钟定时
  17. org.springframework.beans.TypeMismatchException: Failed to convert property value of type &#39;null&#39; to required type &#39;double&#39; for property &#39;band&#39;; nested exception is org.springframework.core.convert.Con
  18. des加密解密JAVA与.NET互通实例
  19. cf276E 两棵线段树分别维护dfs序和bfs序，好题回头再做
  20. alpha通道与混合技术

热门文章

  1. [计算机网络-传输层] 无连接传输：UDP
  2. ADO.NET中DataSet、DataTable、DataRow的数据复制方法
  3. Lucene笔记二
  4. 洛谷4643：【模板】动态dp——题解
  5. 2017 ccpc哈尔滨 A题 Palindrome
  6. C++中static用法
  7. 洛谷 P2747 [USACO5.4]周游加拿大Canada Tour 解题报告
  8. AOJ.176 两数组最短距离 (乱搞题)
  9. Tomcat启动时报org.springframework.web.context.ContextLoaderListener错误解决方案
  10. java使用POI操作XWPFDocument中的XWPFParagraph（段落）对象的属性略解