__attribute__((context())属性理解

原文：http://blog.chinaunix.net/uid-14528823-id-4284946.html
另外还有一篇补充：内核工具 – Sparse 简介

看spinlock的实现代码中，会发现有如下的实现：

void __lockfunc _raw_spin_lock(raw_spinlock_t *lock) __acquires(lock);
void __lockfunc _raw_spin_unlock(raw_spinlock_t *lock) __releases(lock);
# define __acquires(x) __attribute__((context(x,0,1)))
# define __releases(x) __attribute__((context(x,1,0)))
# define __acquire(x)   __context__(x,1)
# define __release(x)   __context__(x,-1)

这个_acquire()的实现咋看起来很奇怪，__attribute__((context())，gcc好像也没见过有这个属性，查了下资料，大概弄明白了。
这个东东是给“sparse工具”的做代码静态检查用的，用来检查代码的写的是否合法，spinlock正需要做这样的检查。
这个”sparse工具“最初也是我们敬仰的Linus先生写的。
对于sparse工具中context具体是如何实现的，就不太感兴趣了，关键是用法。
在实际使用中，__acquires(x)和__releases(x)必须成对使用才算合法，否则编译时会有sparse工具报错， 而spin_lock和spin_unlock正需要这样的检查，也必须成对使用。所以正是利用了这个”属性“，可以在内核编译期间发现spin_lock和spin_unlock未配对使用的情况。
而在实际编译后运行的代码中，是不用__attribute__((context())这个东东的。
该”属性“仅用于代码的静态检查，用于编译阶段。