在调试spinlock出现的恐慌问题时,我偶然发现了spinlock的定义。
包括/linux/spinlock.h
。我很难理解这个定义。为什么在__acquires(lock)函数之后使用do_raw_spin_lock?这种声明的意义是什么?
static inline void do_raw_spin_lock(raw_spinlock_t *lock) __acquires(lock)
{
__acquire(lock);
arch_spin_lock(&lock->raw_lock);
}请帮助我了解这些声明是如何解码和工作的。
发布于 2013-05-03 09:47:58
它用于静态分析。
http://en.wikipedia.org/wiki/Sparse
https://stackoverflow.com/questions/16354697
复制相似问题