- 路径解析:
- 用户输入
./a
并按下回车。 - 终端中的 shell(如 bash、zsh 等)开始解析这个命令,确认
a
是一个可执行文件并且存在于当前目录中。
- 用户输入
- 权限检查:
- Shell 检查
a
文件是否具有执行权限。 - 如果没有执行权限,shell 会显示一个错误消息,如
Permission denied
。
- Shell 检查
- 环境变量加载:
- 当启动进程以执行程序时,操作系统会加载环境变量。
- 这些环境变量通常由操作系统的配置文件(如
/etc/profile
对于登录shell,或者当前用户的~/.bashrc
对于非登录shell)或命令行参数指定。 - Shell 在执行命令之前,会根据这些环境变量的设置来获取相应的值,以便在程序执行过程中使用。
- 动态链接库加载:
- 程序在运行时可能需要加载动态链接库(如
.dylib
或.so
文件)。 - 动态库加载的具体步骤包括读取库镜像文件、重定位镜像、绑定符号、初始化等。
- 在加载动态库时,操作系统会验证库的完整性和签名,以确保安全。
- 程序在运行时可能需要加载动态链接库(如
- 设置堆栈:
- 操作系统为进程设置堆栈空间。
- 栈用于存储局部变量、函数调用的返回地址等信息。
- 堆用于动态内存分配。
- 初始化静态存储区:
- 在程序执行任何代码之前,操作系统会初始化静态存储区。
- 这包括全局变量和静态变量的初始化。
- 程序执行:
- 完成环境变量加载、动态库加载和静态存储区初始化后,程序开始执行。
- 执行从
main
函数开始。
- 程序运行:
main
函数内的代码开始执行,使用加载的环境变量和动态库。- 程序执行各种操作,包括局部变量声明和初始化、函数调用、内存分配等。
- 系统调用:
- 在程序执行过程中,它可能会进行各种系统调用,如打开文件、读取数据、写入数据、创建进程等。这些系统调用允许程序与操作系统进行交互。
- 如果程序有输出(如通过
std::cout
),这些输出会显示在终端上。
- 程序结束:
- 当
main
函数执行完毕并返回时,程序开始退出。 - 全局变量的析构函数开始执行,释放它们占用的资源。
- 程序执行所有必要的清理操作,如释放动态分配的内存、关闭文件等。
- 程序返回一个退出状态码给操作系统。
- 当
- 返回状态:
- 程序结束时,它会返回一个状态码(通常是整数)。这个状态码可以被操作系统或脚本捕获,用于判断程序是否成功执行。
在整个过程中,操作系统和硬件协同工作,确保程序能够正确、高效地执行。同时,任何程序错误(如段错误、非法内存访问等)都可能导致程序异常终止,并可能产生相应的错误消息。