其实我本来只是想搞懂为什么memcpy()函数的参数类型是void *的:

我以为会在memcpy()源码中能找到答案,其实并没有,void *只是在传递参数的时候起了作用,可以让memcpy()接受不同的指针类型,比如char *,double *,struct stu *等等,没错,只是这样,至于memcpy()内部的工作原理,请继续往下看。

没办法,我只好去找找memcpy的源码。代码如下。
备注:glibc-2.8 memcpy.c

#include <string.h>
#include <memcopy.h>
#include <pagecopy.h> #undef memcpy void *
memcpy (dstpp, srcpp, len)
void *dstpp;
const void *srcpp;
size_t len;
{
unsigned long int dstp = (long int) dstpp;
unsigned long int srcp = (long int) srcpp; /* Copy from the beginning to the end. */ /* If there not too few bytes to copy, use word copy. */
if (len >= OP_T_THRES) //OP_T_THRES=16
{
/* Copy just a few bytes to make DSTP aligned. */
len -= (-dstp) % OPSIZ; //OPSIZ=sizeof(unsigned long int)=8
BYTE_COPY_FWD (dstp, srcp, (-dstp) % OPSIZ); /* Copy whole pages from SRCP to DSTP by virtual address manipulation,
as much as possible. */ PAGE_COPY_FWD_MAYBE (dstp, srcp, len, len); /* Copy from SRCP to DSTP taking advantage of the known alignment of
DSTP. Number of bytes remaining is put in the third argument,
i.e. in LEN. This number may vary from machine to machine. */ WORD_COPY_FWD (dstp, srcp, len, len); /* Fall out and copy the tail. */
} /* There are just a few bytes to copy. Use byte memory operations. */
BYTE_COPY_FWD (dstp, srcp, len); return dstpp;
}
libc_hidden_builtin_def (memcpy)

整个函数的处理流程如下所示:

1:函数参数

void *
memcpy (dstpp, srcpp, len)
void *dstpp;
const void *srcpp;
size_t len;

忽略这种传参的形式,传入的三个参数分别是目的地址(void *dstpp)源地址(const void *srcpp)长度(size_t len)

2:地址被转换成unsigned long int保存。

 unsigned long int dstp = (long int) dstpp;
unsigned long int srcp = (long int) srcpp;

8个字节的地址被转换成unsigned long int保存,因为sizeof(unsigned long int) = 8,刚好是8字节,如果还是不能理解把地址转成unsigned long int,看下面的程序:

#include<stdio.h>

int main(int argc,char *argv[])
{
int a = 256;
int *p = &a;
unsigned long int ds = (long int)p;
printf("%d %d\n",*(int *)ds,sizeof(unsigned long int)); return 0;
}

地址只有一个唯一的ds,上面的程序是将ds转成int*,是因为我们将它按照int对待了,那如果我想以字节char处理它呢,那是不是转成char *就行了,我们用下面这张图先分析下上面代码的情况。

a 变量的值为256,是一个int 类型的,4 个字节,在内存中的分布就像上面所示。我们将地址转成int *,那么接着我就会处理四个字节,如果我将地址转成char *,那我只处理一个字节不就好了。代码变成这样:

#include<stdio.h>

int main(int argc,char *argv[])
{
int a = 256;
int *p = &a;
unsigned long int ds = (long int)p;
printf("%d %d\n",*(char *)ds,sizeof(unsigned long int)); return 0;
}

果然,输出的值变为了0,就是我们上面图中char *只指向第一个字节。为0。

好了,说了这么多,有什么用呢?

不要着急,我们继续往下走看源码;

3:拷贝数量较小,采用 one byte one byte拷贝。

 if (len >= OP_T_THRES)  //OP_T_THRES=16 {
......
}
BYTE_COPY_FWD (dstp, srcp, len); return dstpp;
}

如果 len >= OP_T_THRESOP_T_THRES在不同的系统或者平台有不同的值,通常为16或者8),那就按照if中的结构处理,否则执行BYTE_COPY_FWD (dstp, srcp, len)。也就是拷贝的长度如果大于16或者8,我们采用if中的策略,如果小于16或者8,就 one byte one byte拷贝。

4:如果拷贝数量较大,采用if中的策略

数量较大势必会牵扯到内存对齐的问题:

/* Copy just a few bytes to make DSTP aligned.  */
len -= (-dstp) % OPSIZ;
BYTE_COPY_FWD (dstp, srcp, (-dstp) % OPSIZ);

(-dstp) % OPSIZ这个神奇的式子可以算出来对齐需要移动的字节数,就像下面这样:

这一部分比较少的字节仍然采用 one byte one byte拷贝。

BYTE_COPY_FWD (dstp, srcp, (-dstp) % OPSIZ);  //传的参数为(-dstp) % OPSIZ),就是对齐需要拷贝的字节数

此时的len就为对齐之后的剩余大小了,之后的处理方式直接按照虚拟内存页的大小来加快拷贝效率。

 /* Copy whole pages from SRCP to DSTP by virtual address manipulation,as much as possible.  */
PAGE_COPY_FWD_MAYBE (dstp, srcp, len, len);

如果后面还有剩余部分,还可以采用一个字一个字拷贝:

 WORD_COPY_FWD (dstp, srcp, len, len);

 /* Fall out and copy the tail.  */

大家肯定注意到了源码中的三个函数:

  1. BYTE_COPY_FWD (dstp, srcp, (-dstp) % OPSIZ);
  2. PAGE_COPY_FWD_MAYBE (dstp, srcp, len, len);
  3. WORD_COPY_FWD (dstp, srcp, len, len);

其中 dstp 和 srcp 都是保存了地址的 unsigned long int类型的数。那为什么传入它们竟然能实现在按照不同的类型bytepageword来拷贝呢(忽略有没有page 这种类型的细节,我只是想说前面三种类型大小是不同的),那一定在这三个函数中做了类似与我们前面举的例子的转化,我们去找找看,果然,找到一些情况。

memcopy.h

转成 byte *再去操作,因为是one byte one byte拷贝。

pagecopy.h

转成vm_address_t类型去处理。

wordcopy.c

其中 op_t是一个宏定义,为unsigned long int

5: 总结

说了这么多,我们基本从宏观上缕清了memcpy的流程。

  • 先用unsigned long int 保存地址
  • 然后判断需要拷贝的大小,如果小于 OP_T_THRES,直接one byte one byte拷贝。
  • 如果大于 OP_T_THRES,首先对齐。然后需要对齐的部分按照one byte one byte拷贝。对齐之后的按照one page one page拷贝,最后剩余的还可以按照one word one word拷贝。

至于每种拷贝方式的细节我没有深究下去,主要是能力有限,但是还是学到了memcpy()这种鸡贼的对于地址处理方法,地址只是地址,想具体指向多大范围取决于将它转换成那种类型。看到源码里面有goto语句,我的内心几乎是崩溃的,就先写到这儿吧,欢迎大家评论交流指正~

glibc memcpy() 源码浅谈的更多相关文章

  1. 【Android测试】【第七节】Monkey——源码浅谈

    ◆版权声明:本文出自胖喵~的博客,转载必须注明出处. 转载请注明出处:http://www.cnblogs.com/by-dream/p/4713466.html 前言 根据上一篇我们学会了Monke ...

  2. 【Android测试】【第三节】ADB——源码浅谈

    ◆版权声明:本文出自carter_dream的博客,转载必须注明出处. 转载请注明出处:http://www.cnblogs.com/by-dream/p/4651724.html 前言 由于本人精力 ...

  3. 源码浅谈(一):java中的 toString()方法

    前言: toString()方法 相信大家都用到过,一般用于以字符串的形式返回对象的相关数据. 最近项目中需要对一个ArrayList<ArrayList<Integer>> ...

  4. 源码浅谈(二):java中的 Integer.parseInt(String str)方法

    这个方法是将字符串转换为整型 一.parseInt方法 ,可以看到默认又调用了parseInt(s,10) ,  第二个参数为基数,默认10 ,当然也可以自己设置  public static int ...

  5. 结合源码浅谈Spring容器与其子容器Spring MVC 冲突问题

    容器是整个Spring 框架的核心思想,用来管理Bean的整个生命周期. 一个项目中引入Spring和SpringMVC这两个框架,Spring是父容器,SpringMVC是其子容器,子容器可以看见父 ...

  6. Spark 源码浅读-SparkSubmit

    Spark 源码浅读-任务提交SparkSubmit main方法 main方法主要用于初始化日志,然后接着调用doSubmit方法. override def main(args: Array[St ...

  7. Handlebars模板引擎中的each嵌套及源码浅读

    若显示效果不佳,可移步到愚安的小窝 Handlebars模板引擎作为时下最流行的模板引擎之一,已然在开发中为我们提供了无数便利.作为一款无语义的模板引擎,Handlebars只提供极少的helper函 ...

  8. Backbone.js源码浅介

    终于看到一个只有一千多行的js框架了,于是抱着一定可以看懂他的逻辑的心态,查看了他的整个源码,进去之后才发现看明白怎么用容易,看懂怎么写的就难了,于是乎有了这篇博客的标题:浅介,只能粗浅的介绍下Bac ...

  9. 从极速飞艇源码 VantComponent 谈 小程序维护

    在开发极速飞艇源码详情咨询Q166848365小程序的时候,我们总是期望用以往的技术规范和语法特点来书写当前的小程序,所以才会有各色的小程序框架,例如 mpvue.taro 等这些编译型框架.当然这些 ...

随机推荐

  1. Viterbi 算法 Python实现 [NLP学习一]

    最近思考了一下未来,结合老师的意见,还是决定挑一个方向开始研究了,虽然个人更喜欢鼓捣.深思熟虑后,结合自己的兴趣点,选择了NLP方向,感觉比纯粹的人工智能.大数据之类的方向有趣多了,个人还是不适合纯粹 ...

  2. turtle color设置的几种方式

    t.colormode() 查看色彩模式,缺省1.0,即RGB范围在0-1 模式切换:参数填1.0或255 t.colormode(1.0) t.colormode(255) 设置颜色,以设置penc ...

  3. 鸿蒙内核源码分析(文件概念篇) | 为什么说一切皆是文件 | 百篇博客分析OpenHarmony源码 | v62.01

    百篇博客系列篇.本篇为: v62.xx 鸿蒙内核源码分析(文件概念篇) | 为什么说一切皆是文件 | 51.c.h.o 本篇开始说文件系统,它是内核五大模块之一,甚至有Linux的设计哲学是" ...

  4. P4707-重返现世【dp,数学期望,扩展min-max容斥】

    正题 题目链接:https://www.luogu.com.cn/problem/P4707 题目大意 \(n\)个物品,每次生成一种物品,第\(i\)个被生成的概率是\(\frac{p_i}{m}\ ...

  5. Docker安装Jenkins 从GitLab上拉取代码打包SpringBoot项目并部署到服务器

    1.  安装Jenkins 采用 Docker 方式安装 jenkins 首先,宿主机上需要安装java和maven,这里我的安装目录如下: 由于是docker安装,jenkins将来是在容器里面运行 ...

  6. WPF进阶技巧和实战04-资源

    资源集合 每个元素都有Resources属性,该属性存储了一个资源字典集合(它是ResourceDictionary类的实例).资源集合可以包含任意类型的对象,并根据字符串编写索引. 每个元素既可以访 ...

  7. 基于预计算的全局光照(Global Illumination Based On Precomputation)

    目录 基于图像的光照(Image Based Lighting,IBL) The Split Sum Approximation 过滤环境贴图 预计算BRDF积分 预计算辐射度传输(Precomput ...

  8. 一个Electron的设计缺陷及应对方案

    当你想实现阻止Electron窗口关闭,并弹出询问对话框,提示用户:"文章尚未保存,是否要关闭窗口"这类业务时,那么你99%会碰到这个BUG: https://github.com ...

  9. 实验1:SDN拓扑实践

    作业链接:实验1:SDN拓扑实践 一.实验目的 能够使用源码安装Mininet: 能够使用Mininet的可视化工具生成拓扑: 能够使用Mininet的命令行生成特定拓扑: 能够使用Mininet交互 ...

  10. QQ三国 秘制机簧去哪打?打的太慢?

    我在完成这个任务时卡了很久,因为打的效率极低,因此最后我是如何完成的. 1. 先说打谁吧,刚开始我打机簧蜘蛛,就没打出来过,,后来换了机簧车,掉率就上升了,建议打机簧车. 2. 如果你一直打不出来,建 ...