Linux内核模块中是否允许在栈上分配自旋锁？

在Linux内核中，动态分配内存初始化自旋锁是常规做法：

spinlock_t *my_lock = kzalloc(sizeof(spinlock_t), GFP_KERNEL);
spin_lock_init(my_lock);

你提出的用栈空间模拟分配的方式，语法上能编译通过，但如果要将自旋锁导出或传递给其他内核代码，这种方式既不被允许也完全不安全，核心问题如下：

• 生命周期不匹配：栈内存属于当前函数的局部栈帧，函数执行完毕返回后，这块内存会被释放并可能被其他代码复用。若把指向该栈内存的锁指针传给其他内核代码，后续访问时内存已失效，必然引发内存越界、数据损坏甚至系统崩溃。

• 内存对齐风险：char spinspace[sizeof(spinlock_t)]仅保证了内存大小足够，但无法满足spinlock_t的对齐要求。内核中spinlock_t这类同步结构体通常有严格的对齐规则（如4/8字节对齐），不对齐的内存访问在ARM、PowerPC等架构上会直接触发硬件异常，导致内核panic。

• 违背内核规范：内核代码规范明确要求，跨上下文、跨函数使用的同步原语必须采用动态分配（kzalloc/kmalloc）或全局静态分配，确保内存生命周期与锁的使用周期一致。即便仅在当前函数内部使用栈锁，也应该直接声明spinlock_t变量而非用字符数组模拟，后者能自动保证对齐：

void local_only_function(void) {
    spinlock_t my_lock;
    spin_lock_init(&my_lock);

    // 仅在当前函数内使用锁，不向外传递
    spin_lock(&my_lock);
    // 临界区操作
    spin_unlock(&my_lock);
}

总结：若自旋锁需要导出或传递给其他内核代码，必须使用动态分配或全局静态分配的内存；栈分配的锁仅能用于当前函数内部的局部同步，且需用直接声明变量的方式保证内存安全。

内容的提问来源于stack exchange，提问作者Elisa K. K.