c - 这是什么语法？ (tty_write_unlock)

Question

当我阅读 tty_io.c 时，我看到了这个定义。这个 __releases() 是什么意思？

void tty_write_unlock(struct tty_struct *tty)
    __releases(&tty->atomic_write_lock)
{
    mutex_unlock(&tty->atomic_write_lock);
    wake_up_interruptible_poll(&tty->write_wait, POLLOUT);
}

Answer 1

Apparently __releases 和 __acquires 是在 Linux 的 compiler.h 头文件中定义的两个宏，它们与 Sparse 一起使用。静态检查器，用于计算释放和获取的锁(以确保它们是平衡的)。