Linux平台下的可执行程序以ELF（Executable and Linkable Format）格式存储于磁盘，启动的核心本质是将ELF文件从磁盘加载至内存，完成进程初始化与指令执行；程序退出则是反向流程，核心是终止指令执行、彻底回收系统资源，避免资源泄漏。整个流程涉及系统调用、内存管理、进程调度、动态链接等核心机制。本文将按步骤拆解Linux平台下可执行程序的启动及退出流程。
步骤1：触发启动指令（用户态触发与系统调用）
程序启动的触发源于用户操作，本质是通过系统调用向内核发起进程创建请求，常见触发方式及底层逻辑如下：
– 终端启动：通过shell（bash、zsh等）输入可执行程序路径（如./test、/usr/bin/ls），shell解析路径后调用exec系列系统调用（如execve），发起程序启动请求；
– 图形界面启动：双击桌面图标（本质是.desktop文件），桌面环境（如GNOME、KDE）解析.desktop文件中的Exec字段，获取程序路径，调用execve系统调用触发启动；
– 其他触发方式：通过进程间通信（IPC，如管道、信号）、服务启动（systemctl start 服务名）、调试器（如gdb）附加启动，本质均是通过exec系列系统调用触发ELF文件加载。
核心要点：所有启动方式最终都会映射到execve系统调用（内核态入口为sys_execve），execve会替换当前进程的地址空间（若由shell启动，shell进程会先调用fork创建子进程，再在子进程中执行execve，避免shell进程被替换）；若启动时需要提升权限（如sudo启动），会触发setuid/setgid校验，通过后以目标用户（如root）权限启动进程。
步骤2：ELF文件定位与路径解析
系统接收到execve系统调用后，首要任务是定位目标ELF文件，完成路径解析与初步校验，核心流程如下：
1. 路径解析：若输入的程序路径为相对路径（如./test），系统会结合当前工作目录（cwd）拼接完整路径；若为绝对路径（如/usr/bin/ls），直接定位磁盘文件；若未指定路径（如ls），系统会按环境变量PATH的顺序，遍历所有指定目录，查找对应的ELF文件；
2. 初步校验：确认文件存在且具有可执行权限（用户/组/其他用户的x权限，通过stat系统调用获取文件权限位），排除非可执行文件、无权限文件；同时校验文件魔数（ELF文件魔数为0x7f454c46，即“\x7fELF”），确认是合法ELF格式文件。
核心要点：路径解析依赖环境变量PATH、PWD等，环境变量由父进程继承（如shell启动程序，会继承shell的环境变量）；若路径解析失败（如文件不存在）或无执行权限，execve会返回-1，启动流程终止，shell会提示“command not found”或“Permission denied”。
步骤3：ELF文件合法性与安全性校验（内核态校验）
定位到ELF文件后，内核会在sys_execve函数中完成ELF文件的合法性与安全性校验，避免恶意文件、损坏文件启动，核心校验内容如下：
1. ELF文件完整性校验：解析ELF文件头（Elf32_Ehdr/Elf64_Ehdr）、程序头表（Elf32_Phdr/Elf64_Phdr），校验文件结构是否完整，是否存在文件截断、篡改等问题；
2. 权限与安全校验：校验ELF文件的setuid/setgid位，若设置了setuid位，启动后进程的有效用户ID（euid）会变为文件所有者ID（如root），执行完核心逻辑后需手动降权，避免权限滥用；同时结合selinux/apparmor安全策略，检测文件是否符合系统安全规则；
3. 动态链接校验：若为动态链接ELF文件（依赖ld.so动态链接器），校验是否存在动态链接器路径（ELF文件头中指定的INTERP段），若缺失动态链接器，会返回启动失败。
补充说明：第三方安全工具（如AppArmor、SELinux）会额外拦截校验过程，对可疑ELF文件（如无签名、异常权限）进行拦截，终止启动流程；校验失败则execve返回错误码，启动终止。
步骤4：进程创建与系统资源分配
ELF文件校验通过后，内核会创建新的进程，为程序运行分配必要的系统资源，核心操作如下：
1. 进程创建：内核调用do_fork函数（sys_fork的底层实现），创建进程控制块（PCB，即task_struct结构体），分配进程ID（PID）、线程ID（TID，Linux中进程与线程本质是task_struct，线程为轻量级进程，共享进程地址空间）；设置进程状态为“就绪”（TASK_RUNNING），等待CPU调度；
2. 地址空间分配：通过mm_struct结构体创建进程专属的虚拟地址空间，划分代码段（.text）、数据段（.data/.bss）、堆、栈、共享库区域等，其中栈初始化为指定大小（默认由系统配置，可通过ulimit调整），堆用于程序运行时动态申请内存；
3. 资源分配与继承：进程继承父进程的文件描述符表（管理打开的内核对象，如文件、管道）、环境变量、信号掩码等；内核为进程分配文件描述符0（标准输入）、1（标准输出）、2（标准错误），默认关联终端设备；
4. 动态链接器加载：若为动态链接ELF文件，内核会加载ELF文件中INTERP段指定的动态链接器（如/lib64/ld-linux-x86-64.so.2），将动态链接器加载至进程虚拟地址空间，由动态链接器负责后续ELF加载与依赖解析。
核心要点：Linux中“进程是task_struct的集合”，线程（轻量级进程）与进程共享mm_struct（虚拟地址空间），仅拥有独立的栈和寄存器；资源分配以进程为单位，调度以task_struct为单位。
步骤5：ELF文件加载与动态链接解析
进程与资源分配完成后，由动态链接器（ld.so）主导，完成ELF文件加载与依赖解析，核心流程如下：
1. ELF文件映射：通过mmap系统调用，将ELF文件的代码段、数据段等从磁盘映射至进程虚拟地址空间（采用内存映射机制，提升加载效率，避免一次性读取整个文件）；根据程序头表（Phdr）中的权限设置，为各段设置虚拟内存权限（如代码段为只读可执行，数据段为可读可写）；
2. 动态依赖解析：遍历ELF文件的动态段（.dynamic），解析依赖的共享库（.so文件），若共享库存在依赖链（如liba.so依赖libb.so），会递归加载所有依赖共享库；动态链接器维护共享库的引用计数，每加载一次计数加1，卸载一次减1，计数为0时彻底释放内存；
3. 重定位与符号解析：通过ELF重定位表（.rela.text/.rela.data），完成代码段、数据段的重定位，解决绝对地址偏移问题，确保指令能正确执行；解析ELF符号表（.dynsym），将共享库中导出函数的地址填充至程序的导入符号表，确保程序能正常调用共享库函数；
4. 静态链接补充：若为静态链接ELF文件（不依赖共享库），会将所有依赖的代码、数据整合至自身，无需加载动态链接器，直接完成ELF映射与重定位，启动速度更快，但程序体积更大。
核心要点：动态链接器（ld.so）是动态链接ELF启动的核心，负责共享库加载、符号解析、重定位等操作；静态链接与动态链接的核心区别的是“是否依赖外部共享库”，静态链接可独立运行，动态链接依赖共享库存在。
步骤6：主线程启动与程序入口执行
ELF文件加载与动态链接完成后，内核调度主线程（进程的初始线程）启动，执行程序核心逻辑，流程如下：
1. 线程调度：CPU调度器（CFS调度器，完全公平调度器）根据进程优先级（nice值），将主线程从“就绪”状态切换为“运行”状态，加载线程寄存器上下文（如程序计数器PC，指向ELF入口地址）；
2. 入口执行：ELF文件头中指定的入口地址（e_entry）为程序启动入口，对于C/C++编写的程序，入口并非用户编写的main函数，而是动态链接器初始化后的_start函数（由glibc提供）；
3. 程序初始化：_start函数会完成glibc初始化、全局变量/静态变量初始化、线程局部存储（TLS）初始化、标准输入/输出流初始化等操作，调用main函数，执行用户编写的核心逻辑；若为图形界面程序，会加载对应的图形库（如GTK+），创建窗口并显示，启动完成。
补充缺失点：_start函数执行前，动态链接器会完成PLT（过程链接表）与GOT（全局偏移表）的修复，将共享库函数的占位地址替换为实际地址；初始化完成后，若程序注册了初始化函数（如constructor属性修饰的函数），会先执行该类函数，再进入main函数。
步骤7：进程运行与系统监控
程序启动完成后进入运行状态，内核与系统会全程监控进程运行，核心操作如下：
– 进程调度：CFS调度器根据进程nice值（优先级），动态分配CPU时间片，实现多进程、多线程并发运行；线程可通过pthread_create创建，与主线程共享进程地址空间，仅拥有独立栈和寄存器；
– 异常处理：若程序出现异常（如内存访问越界、除零错误），会触发信号（如SIGSEGV、SIGFPE），若程序未注册自定义信号处理函数，内核会执行默认处理（终止进程并生成核心转储文件core dump）；
– 资源管理：进程可通过brk、mmap等系统调用动态申请/释放虚拟内存，内核会根据物理内存使用情况，进行页面置换（LRU算法），确保进程正常运行；同时监控文件描述符使用，避免句柄泄漏。
补充缺失点：运行过程中，内核会通过task_struct实时记录进程状态（运行、就绪、睡眠等），若进程调用sleep、wait等函数，会切换为睡眠状态（TASK_INTERRUPTIBLE/TASK_UNINTERRUPTIBLE），等待事件触发后重新进入就绪状态。
步骤8：程序退出流程（核心操作与资源回收）
程序退出是启动流程的反向操作，核心目标是终止指令执行、彻底回收所有系统资源，避免资源泄漏，分为“正常退出”和“异常退出”两种场景，底层操作统一且严谨，具体步骤如下：
1. 触发退出指令（两种场景）：
– 正常退出：由用户主动操作（如终端输入Ctrl+C、点击图形界面关闭按钮）或程序自身逻辑触发（如main函数执行完毕返回），最终调用exit（用户态）或_exit（内核态）系统调用，发起退出请求；
– 异常退出：程序运行中出现未处理信号（如SIGSEGV内存崩溃、SIGKILL强制终止）、断言失败，或被其他进程通过kill系统调用终止，由内核触发exit_group系统调用，强制终止进程。
2. 线程终止与用户态资源清理：
– 主线程终止：正常退出时，main函数执行完毕后调用exit函数，exit会执行用户编写的退出逻辑（如保存配置、关闭文件流），再调用_exit系统调用；异常退出时，直接终止主线程，不执行用户退出逻辑；
– 子线程清理：内核遍历进程所有子线程，若子线程处于可终止状态，发送SIGTERM信号通知终止，等待子线程执行收尾逻辑（正常退出）或强制终止（异常退出），避免子线程残留；
– 用户态资源释放：释放程序动态申请的资源，如堆内存（free、delete）、文件描述符（close）、网络连接（close）、GDI资源、COM组件（Linux下为共享库资源）等；glibc会自动清理自身分配的资源（如glibc堆），异常退出时无法完成该操作，需内核兜底。
3. 共享库卸载与依赖清理：
动态链接器按共享库加载顺序的逆序，卸载所有依赖的共享库，卸载过程中调用共享库的析构函数（如destructor属性修饰的函数），执行共享库自身的清理逻辑；同时递减共享库引用计数，引用计数为0时，通过munmap系统调用释放共享库占用的虚拟内存。
4. 进程终止与内核态资源回收：
– 进程状态切换：内核调用exit_group系统调用，将进程所有线程状态切换为“终止”（EXIT_ZOMBIE），标记进程为可回收；
– 内核资源回收：销毁进程控制块（task_struct），回收进程ID（PID）、虚拟地址空间（mm_struct）、文件描述符表、信号掩码等内核资源；释放进程占用的物理内存、页表等资源，确保无内核级资源泄漏；
– 调试器通知（若有）：若程序被gdb等调试器附加，内核会通知调试器进程已终止，调试器可获取进程退出状态，用于调试分析。
5. 退出状态反馈：
进程终止后，会返回一个退出码（0表示正常退出，非0表示异常退出，不同非0值对应不同异常原因）；父进程可通过wait、waitpid系统调用获取子进程退出码，判断子进程是否正常退出，进而执行后续逻辑；若父进程未及时获取退出码，子进程会变为僵尸进程（Zombie），直至父进程获取退出码或父进程终止，僵尸进程由init进程（PID=1）回收。
核心要点：正常退出与异常退出的核心区别是“是否执行用户态清理逻辑”，正常退出会完整执行收尾代码，异常退出则直接强制终止，依赖内核兜底回收资源；Linux下僵尸进程是退出流程的常见场景，需通过wait/waitpid避免其残留。
总结：启动-退出完整流程核心链路
用户触发启动指令（execve系统调用）→ ELF文件定位与路径解析 → 内核态ELF合法性与安全校验 → 进程创建（task_struct初始化）与资源分配 → 动态链接器加载与共享库解析 → ELF文件映射、重定位与符号解析 → 主线程调度与入口执行（_start→main） → 程序运行与系统监控 → 触发退出指令（exit/_exit/exit_group） → 线程清理与用户态资源释放 → 共享库卸载 → 进程终止与内核资源回收 → 退出码反馈。
整个流程覆盖Linux平台ELF格式、动态链接、进程调度、信号机制等核心底层技术，补充了静态/动态链接差异、僵尸进程、核心转储、信号处理等易遗漏要点；理解这一完整闭环，有助于排查程序启动失败（如共享库缺失、权限不足、ELF损坏）和退出异常（如资源泄漏、僵尸进程、崩溃退出）等问题，也能为程序优化（如启动速度、资源占用、退出稳定性）提供方向。