32、Linux 调试与进程管理全解析

Linux 调试与进程管理全解析

1. 调试工具与技术

在程序开发过程中，引入调试代码（如 printf 调用）是常见的做法，不过在交付系统中保留这些消息有时并不实际。很多时候，程序运行时出现的问题并非源于编码错误，而是错误的假设。例如，一个函数可能假定其输入参数在特定范围内，若传入错误数据，可能会使整个系统失效。

为了确认系统的内部逻辑，X/Open 提供了 assert 宏，可用于测试假设是否正确，若不正确则终止程序。以下是 assert 宏的使用示例：

#include <stdio.h>
#include <math.h>
#include <assert.h>
#include <stdlib.h>

double my_sqrt(double x)
{
    assert(x >= 0.0);
    return sqrt(x);
}

int main()
{
    printf("sqrt +2 = %g\n", my_sqrt(2.0)); 
    printf("sqrt -2 = %g\n", my_sqrt(-2.0));
    exit(0);
}

当运行此程序时，若传入非法值，会出现断言违规。不同系统的断言失败消息格式可能不同。

assert 宏的定义依赖于 NDEBUG 的定义。若在处理头文件时定义了 NDEBUG <