커널 코드를보다가.. lock과 관련해서
__attribute__(__context__()) 과같은 구문을 보게 되었다.
리누즈 토발즈가 만든 Sparse라는 정적분석 도구에 관련된 내용이었다.
자세한 내용은
http://en.wikipedia.org/wiki/Sparse#cite_note-3
를 참조하면된다.

Sparse는 gcc의 __attribute__ 를 이용해서 '문제의 소지가있고 주의깊게 관찰해야할 특정부분의' 소스코드내에 __context__()와 같은 코드를 껴넣음으로써, 컴파일 타임에 개발자에게 '포인터가 어떤 어드레스 스페이스에 속하는지' 혹은 '함수가 어떤 lock을 얻고 반환했는지' 에대한 정보를 제공한다.

.

WRITTEN BY
RootFriend
개인적으로... 나쁜 기억력에 도움되라고 만들게되었습니다.

,