C语言栈内存与多线程：全局结构体函数指针的线程安全疑问

1. 是否会产生竞态条件？ #

竞态条件的核心不在于调用函数的方式（直接调用还是通过全局结构体里的函数指针调用），而在于函数本身是否访问了共享的可变资源——比如全局变量、堆内存、共享硬件寄存器等。

• 如果函数内部只使用线程私有的栈变量，完全不碰共享资源，那不管怎么调用，都不会产生竞态条件；
• 如果函数操作了共享可变资源，哪怕是直接调用，一样会有竞态，和是否通过结构体指针调用无关。

2. 函数的变量是否仅在应用栈中存在一份拷贝？ #

函数的普通局部自动变量（也就是没有static修饰的栈变量，比如int temp = 0;这类），每个线程调用函数时都会在自己的私有栈上创建独立的拷贝，和调用方式毫无关系。
只有以下两类变量才会被所有线程共享：

• 全局变量；
• 函数内部的静态局部变量（用static修饰的）。

3. 是否需要使用互斥锁/信号量？ #

只有当函数需要访问或修改共享可变资源的时候，才需要用互斥锁、信号量这类同步机制来保护。

• 如果函数是线程安全的（只操作自身栈变量，不涉及任何共享资源），不管是直接调用还是通过全局结构体的函数指针调用，都不需要加锁；
• 如果函数涉及共享资源的读写操作，那不管调用方式是什么，都必须加同步锁来避免竞态。

举个简单的代码例子辅助理解：

// 全局结构体，包含函数指针
typedef struct {
    void (*process)(int);
} GlobalOps;

GlobalOps g_ops;

// 线程安全的函数：仅使用栈变量
void safe_process(int val) {
    int local_val = val * 2;
    // 仅操作local_val，无共享资源
}

// 非线程安全的函数：操作全局变量
int g_total = 0;
void unsafe_process(int val) {
    // 修改全局变量，多线程调用会引发竞态
    g_total += val;
}

• 调用g_ops.process(5)和直接调用safe_process(5)效果完全一致，每个线程的local_val都是独立的，不会有竞态；
• 但调用unsafe_process时，不管是直接调用还是通过结构体指针调用，都会因为g_total是全局共享变量产生竞态，必须加锁保护。

内容的提问来源于stack exchange，提问作者NorthStar