2019年11月24日
MIT 6.828 - 1.2 __acquires() 和 __releases()
摘要： 在对 dup / dup2 的源码分析中，我遇到了一对 annotation ，即 和 经查阅，此为内核代码静态分析工具 Sparse 的 annotation 。Sparse 通过 gcc 的扩展属性 以及自己定义的 来对代码进行静态检查 。 其他可见 "内核文档" 或 "一篇博客" 。 阅读全文
posted @ 2019-11-24 18:02 nlp-in-shell 阅读(442) 评论(0) 推荐(0) 编辑