MIT 6.828 - 1.2 __acquires() 和 __releases()

Tags: MIT 6.828

在对 dup / dup2 的源码分析中，我遇到了一对 annotation ，即 __acquires 和 __releases

1
2
3
4
5
6
static int do_dup2(struct files_struct *files,
	struct file *file, unsigned fd, unsigned flags)
__releases(&files->file_lock) // <- 这个东西
{
    // ... omitted
}

经查阅，此为内核代码静态分析工具 Sparse 的 annotation 。Sparse 通过 gcc 的扩展属性 __attribute__ 以及自己定义的 __context__ 来对代码进行静态检查 。

其他可见 内核文档 或 一篇博客 。

知识共享许可协议 2000 - 2099 MonKey's Blog | 自豪地采用 Hexo + Pandoc + KaTeX + Highlight.js