커널 코드를보다가.. lock과 관련해서
__attribute__(__context__()) 과같은 구문을 보게 되었다.
리누즈 토발즈가 만든 Sparse라는 정적분석 도구에 관련된 내용이었다.
자세한 내용은
http://en.wikipedia.org/wiki/Sparse#cite_note-3
를 참조하면된다.
Sparse는 gcc의 __attribute__ 를 이용해서 '문제의 소지가있고 주의깊게 관찰해야할 특정부분의' 소스코드내에 __context__()와 같은 코드를 껴넣음으로써, 컴파일 타임에 개발자에게 '포인터가 어떤 어드레스 스페이스에 속하는지' 혹은 '함수가 어떤 lock을 얻고 반환했는지' 에대한 정보를 제공한다.
.
__attribute__(__context__()) 과같은 구문을 보게 되었다.
리누즈 토발즈가 만든 Sparse라는 정적분석 도구에 관련된 내용이었다.
자세한 내용은
http://en.wikipedia.org/wiki/Sparse#cite_note-3
를 참조하면된다.
Sparse는 gcc의 __attribute__ 를 이용해서 '문제의 소지가있고 주의깊게 관찰해야할 특정부분의' 소스코드내에 __context__()와 같은 코드를 껴넣음으로써, 컴파일 타임에 개발자에게 '포인터가 어떤 어드레스 스페이스에 속하는지' 혹은 '함수가 어떤 lock을 얻고 반환했는지' 에대한 정보를 제공한다.
.
'Linux' 카테고리의 다른 글
| 리눅스에서 CD 굽기기 (0) | 2011.03.04 |
|---|---|
| LIDS 내부구조(리눅스 파일 보안) (0) | 2011.02.16 |
| #define 활용, macro, preprocess (DEBUG, printf) (0) | 2010.12.07 |
| linux directory dirent.h (0) | 2010.12.05 |
| insmod,rmmod,lsmod,modprobe,depmod,modinfo (0) | 2010.12.05 |
WRITTEN BY
- RootFriend
개인적으로... 나쁜 기억력에 도움되라고 만들게되었습니다.
,
