glibc memcpy() 源码浅谈
其实我本来只是想搞懂为什么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_THRES(OP_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. */
大家肯定注意到了源码中的三个函数:
- BYTE_COPY_FWD (dstp, srcp, (-dstp) % OPSIZ);
- PAGE_COPY_FWD_MAYBE (dstp, srcp, len, len);
- WORD_COPY_FWD (dstp, srcp, len, len);
其中 dstp 和 srcp 都是保存了地址的 unsigned long int类型的数。那为什么传入它们竟然能实现在按照不同的类型byte,page,word来拷贝呢(忽略有没有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() 源码浅谈的更多相关文章
- 【Android测试】【第七节】Monkey——源码浅谈
◆版权声明:本文出自胖喵~的博客,转载必须注明出处. 转载请注明出处:http://www.cnblogs.com/by-dream/p/4713466.html 前言 根据上一篇我们学会了Monke ...
- 【Android测试】【第三节】ADB——源码浅谈
◆版权声明:本文出自carter_dream的博客,转载必须注明出处. 转载请注明出处:http://www.cnblogs.com/by-dream/p/4651724.html 前言 由于本人精力 ...
- 源码浅谈(一):java中的 toString()方法
前言: toString()方法 相信大家都用到过,一般用于以字符串的形式返回对象的相关数据. 最近项目中需要对一个ArrayList<ArrayList<Integer>> ...
- 源码浅谈(二):java中的 Integer.parseInt(String str)方法
这个方法是将字符串转换为整型 一.parseInt方法 ,可以看到默认又调用了parseInt(s,10) , 第二个参数为基数,默认10 ,当然也可以自己设置 public static int ...
- 结合源码浅谈Spring容器与其子容器Spring MVC 冲突问题
容器是整个Spring 框架的核心思想,用来管理Bean的整个生命周期. 一个项目中引入Spring和SpringMVC这两个框架,Spring是父容器,SpringMVC是其子容器,子容器可以看见父 ...
- Spark 源码浅读-SparkSubmit
Spark 源码浅读-任务提交SparkSubmit main方法 main方法主要用于初始化日志,然后接着调用doSubmit方法. override def main(args: Array[St ...
- Handlebars模板引擎中的each嵌套及源码浅读
若显示效果不佳,可移步到愚安的小窝 Handlebars模板引擎作为时下最流行的模板引擎之一,已然在开发中为我们提供了无数便利.作为一款无语义的模板引擎,Handlebars只提供极少的helper函 ...
- Backbone.js源码浅介
终于看到一个只有一千多行的js框架了,于是抱着一定可以看懂他的逻辑的心态,查看了他的整个源码,进去之后才发现看明白怎么用容易,看懂怎么写的就难了,于是乎有了这篇博客的标题:浅介,只能粗浅的介绍下Bac ...
- 从极速飞艇源码 VantComponent 谈 小程序维护
在开发极速飞艇源码详情咨询Q166848365小程序的时候,我们总是期望用以往的技术规范和语法特点来书写当前的小程序,所以才会有各色的小程序框架,例如 mpvue.taro 等这些编译型框架.当然这些 ...
随机推荐
- Go学习【02】:理解Gin,搭一个web demo
Go Gin 框架 说Gin是一个框架,不如说Gin是一个类库或者工具库,其包含了可以组成框架的组件.这样会更好理解一点. 举个 下面的示例代码在这:github 利用Gin组成最基本的框架.说到框架 ...
- Java面向对象系列(10)- 什么是多态
多态 即同一方法可以根据发送对象的不同而采取不同的行为方式 一个对象的实际类型是确定的,但可以指向对象的引用类型有很多 多态存在的条件 有继承关系 子类重写父类方法 父类引用指向子类对象 注意:多态是 ...
- Laravel [1045] Access denied for user 'homestead'@'localhost' .env没有配置
laravel 连接数据库出现错误 PDOException in Connector.php line 55:SQLSTATE[HY000] [1045] Access denied for use ...
- file_get_contents('php://input') 数据如何转换成数组
前台表单页:demo01.html 后台:demo01.php 输出结果: 备注:若前台通过Ajax的post提交过来的是json数据,需要对json数据进行解析:$data = json_decod ...
- vue-cli3 取消eslint 校验代码
项目生成后会有个.eslintrc.js文件 module.exports = { root: true, env: { node: true }, 'extends': [ 'plugin:vue/ ...
- 深入理解Python切片
Python序列的切片很基础同时也很重要,最近看到一个[::-1]的表达,不明所以,查了一些资料并实际操作,对Python切片有了更深刻的认识,以下结合例子详细说明.先看下切片的基本语法,一般认为切片 ...
- allure报告中allure.title 如何去掉后方的参数化显示
1.解决方法如下 listener.py 文件位置:Lib\site-packages\allure_pytest\listener.py (第三方包所在的LIb目录) 将下图中红色部分test_re ...
- 阿里P8面试官:如何设计一个扛住千万级并发的架构?
大家先思考一个问题,这也是在面试过程中经常遇到的问题. 如果你们公司现在的产品能够支持10W用户访问,你们老板突然和你说,融到钱了,会大量投放广告,预计在1个月后用户量会达到1000W,如果这个任务交 ...
- FastAPI 学习之路(十八)表单与文件
系列文章: FastAPI 学习之路(一)fastapi--高性能web开发框架 FastAPI 学习之路(二) FastAPI 学习之路(三) FastAPI 学习之路(四) FastAPI 学习之 ...
- vue 2.0源码学习笔记—new Vue ( Vue 初始化过程 )
new Vue(Vue 初始化) 一个vue实例化到底经历了什么?已下是博主自己的总结,不正确的地方请指出,谢谢~ 一.简述 从使用角度来看,挂载的顺序如下 1. $slots 2. $scopedS ...