1. 背景问题

• 当程序运行的时候，如果把可执行文件删除或者把此程序依赖的动态库删除，程序会继续正常运行还是会崩溃？
• 当程序运行的时候，如果将可执行文件覆盖或者将此程序依赖的动态库覆盖，程序会继续正常运行还是会崩溃？

这两个问题中有两个变量，一个是操作的对象，可执行文件还是依赖库；一个是操作的类型，把文件删除还是把文件覆盖。

本文通过实验的方式来记录这4种情况。

先列出结论，如下表所示：

2. 实验代码

实验代码如下：

• hello.c

#include <stdlib.h> #include <stdio.h> #include <string.h> void say_hello() { printf("hello\n"); return; }

hello.c中实现了一个函数say_hello()，将这个文件编译成一个动态库，名字为libhello.so。

• hello.h

void say_hello();

hello.h中是函数say_hello()的声明。这是使用C语言开发时常用的方式。头文件中是函数的声明，没有实现，c文件是函数的实现。引用库的时候包含头文件，然后再链接库。

编译命令如下：

gcc -shared -fPIC -o libhello.so hello.c

• main.c

#include <stdlib.h> #include <stdio.h> #include <string.h> #include <unistd.h> #include "hello.h" int main(int argc, char **argv) { say_hello(); sleep(500); return 0; }

main.c中包含了hello.h头文件，然后在编译的时候需要链接libhello.so这个动态库，否则编译会失败，提示找不到函数say_hello()的定义。如下所示：

编译命令如下：

gcc main.c libhello.so

编译完成之后，使用ldd查看a.out依赖的动态库时会提示libhello.so找不到。如下图所示：

这个时候我们还需要把 libhello.so的路径设置到LD_LIBRARY_PATH环境变量中，命令如下：

export LD_LIBRARY_PATH=/home/wyl/exelib/:$LD_LIBRARY_PATH

设置之后，再使用ldd查看a.out依赖的库，就能看到libhello.so的位置了。如下图所示：

3. 实验记录

（1）删除可执行文件

1）rm -rf删除可执行文件

程序运行之后，通过ps -ef |grep a.out可以查看进程的pid。得到进程的pid之后，就可以使用命令 cat /proc/[pid]/maps 看到进程的文件映射信息。如下图所示，能看到进程中映射的a.out信息。

然后删除a.out，再使用cat /proc/[pid]/maps查看文件映射信息，可以看到a.out信息后边增加了一个标记deleted。

这个时候程序没有崩溃，还在运行。

a.out也没有真正从磁盘删除，只有a.out退出之后，这个文件没有程序使用之后，文件才会真正从磁盘删除。

注：

什么信息能佐证文件是不是真正从磁盘删除呢，可以通过查看inode号。ls -i a.out可以查看一个文件的inode，然后使用lsof | grep xxx来过滤这个inode号，如果inode存在，说明文件没有被删除；否则，说明被删除了。

2）移动文件

通过mv命令移动文件，把文件移动到另外一个目录，程序也会继续运行，不会崩溃。

如下图所示，是程序运行只后，执行mv a.out a.out-bak，把文件重命名，这个时候能够看到系统能自动识别出来文件发生了重命名。

上边的mv，我们并没有改变a.out的目录。这次我们继续移动a.out-bak移动到其它挂载点的目录下，那么系统就显示deleted 了，跟把a.out删除现象是一样的。如下图所示：

总结：

从上边的实验可以看出来，使用mv移动文件的时候，移动的目标位置也会影响系统的显示。

a.out原本的路径是/home/wyl/exelib，第一次移动的时候是用的命令是mv a.out a.out-bak，虽然改变了文件名称，但并没有改变a.out的路径，这个时候系统是能自动识别出来的。

第二次移动的时候使用的命令是mv a.out-bak /run/，改变了a.out的路径，这个时候系统的显示和文件被删除是相同的。

这就说明：

• 在Linux中移动文件，如果是在一个挂载点之内移动，那么就相当于给文件重命名，内核中的inode保持不变，系统能自动识别；
• 如果文件的移动跨了挂载点，那么就相当于将旧文件删除，然后创建了一个新的文件。

实验用的虚拟机的挂载点如下，可以看到/home/wyl/exelib所在的挂载点和/run所在的挂载点是不一样的。

（2）覆盖可执行文件

想要文件覆盖的话，我们能想到cp new old 或者mv new old。但是我们如果想要覆盖可执行文件的话，使用cp无法操作成功，提示文件正忙。我们只能使用mv的方式。

使用mv的方式覆盖文件之后，系统显示和文件被删除是一样的，都是在a.out后边标记了deleted。如下图所示：

（3）删除或覆盖动态库

删除或者覆盖动态库的时候，和删除或者覆盖可执行文件的时候，现象是基本相同的。

只有一点不一样，就是cp old.so new.so时可以执行成功的，并且这个操作会导致程序崩溃。

mv是删除旧的，创建新的；cp是覆盖旧文件的内容。