strcpy重叠拷贝问题

maozone

回复 10# safedead
看过redhat6.3编译环境对应的glibc2.12的strcpy.c文件，这个是逐个字符拷贝的方式。memmove会判断重叠这个是了解的，memmove.c的实现之前也看过。
在网上也找了一些相关的帖子，确实有人指出不同环境strcpy实现方式不一样，可能以多字节拷贝。我在其他linux版本以及windows上作过测试都没有问题。
能否请教strcpy如何判断在某个环境中实现方式，或者能否以指定的方式实现？

感谢wangyb，think1008的解答，如果是p1〉p2重叠我肯定不会用strcpy，但是在p1<p2的情况下，我觉得如果是逐个字节拷贝的方式，这种重叠不会有问题。

hellioncu

maozone 发表于 2015-07-12 23:30
回复 10# safedead
看过redhat6.3编译环境对应的glibc2.12的strcpy.c文件，这个是逐个字符拷贝的方式。me ...

按照标准strcpy就是不考虑重叠的，不管谁大谁小都是重叠，老老实实用memmove，何必这么执着于strcpy？

maozone

回复 12# hellioncu

避免问题的方法我知道，之所以发这个帖是为了搞清楚问题真正原因。
既然现在找到了可能出问题的方向，为什么不继续探寻下去，希望大家不吝赐教。
另外strcpy可能有会存在问题的实现方式，我觉得memmove不见得就不会出同样的问题。

hellioncu

maozone 发表于 2015-07-13 11:34
回复 12# hellioncu

避免问题的方法我知道，之所以发这个帖是为了搞清楚问题真正原因。

标准要求memmove必须支持内存重叠的情况，实现肯定会考虑，不会有问题。而strcpy没有这个要求，内存重叠时结果如何就说不好了。
深入研究是好事，但不是像你这样的。仔细读读函数的文档吧。

selfrun

优化过的strcpy，64位环境下一次循环可以复制8个字节，所以，出这个问题就不难理解了

selfrun

-O2时被strcpy被优化这个样子了:
        movq        %rax, 128(%rsp)
        movabsq        $3186626826817907765, %rax
        leaq        128(%rsp), %rdx
        movq        %rax, 136(%rsp)
        movabsq        $3616720565545218097, %rax
        movq        %rsp, %rsi
        movq        %rax, 144(%rsp)
        movabsq        $3543264392633332012, %rax
        movb        $0, 176(%rsp)
        movq        %rax, 152(%rsp)
        movabsq        $3186069327345429557, %rax
        movb        $0, 2(%rsp)
        movq        %rax, 160(%rsp)
        movabsq        $3472886886805813297, %rax

maozone

回复 15# selfrun
多谢解答， 原谅我还有一堆问题：strcpy实现代码如何查看（是否下面列出来的代码，另外strcpy.c什么时候会用到），是根据什么参数来的确定的（编译器自己判断cpu吗），还是有参数能人为指定？
glibc
sysdeps/i386/i586/strcpy.S
sysdeps/ia64/strcpy.S
sysdeps/powerpc/powerpc32/strcpy.S
sysdeps/powerpc/powerpc64/strcpy.S
sysdeps/sparc/sparc32/strcpy.S
sysdeps/sparc/sparc64/strcpy.S
sysdeps/s390/s390-32/strcpy.S
sysdeps/s390/s390-64/strcpy.S
sysdeps/x86_64/strcpy.S
sysdeps/powerpc/powerpc64/strcpy.S
sysdeps/sparc/sparc32/strcpy.S
sysdeps/sparc/sparc64/strcpy.S

selfrun

回复 17# maozone


1,反汇编libc.so，比如用irda
2,下载binutils源码包

safedead

回复 17# maozone


   

你列的这些就是“真正的”（应该叫平台相关的）strcpy的代码，都是汇编语言编写
编译的时候CPU类型将作为参数传递给编译工具，从而选择对应的汇编代码

编译工具会检测CPU类型（如果你不指定的话），也可以指定CPU类型（常见于交叉编译环境，比如你在x86上想编译arm手机上的可执行程序）