[[완료]]커널 공부중에 선언된 변수들 질문

__user 라 분류된 곳에 memcpy() 등으로 들이대는 코드를 작성하면 sparse 체크에서 걸려나올겁니다. (실험해 본 적이 없어서 확답은 못드리겠습니다)
http://kldp.org/node/96789 참고하세요.

OTL

C언어 에서는 함수를 정의한다. 함수를 선언한다. 라는 말을 많이하지요.(물론 한글로 번역하자면.)
함수를 정의만 하면 되지 와~ 선언을 할까요?
다른언어도 비슷하지만 C언어에서는 함수를 호출하기전 컴파일러는 함수에 대한 정보를 미리 알고 있어야 컴파일 할 수 있습니다.
(물론 미리 함수에 대한 정보를 컴파일러에게 제공하지 않는다면 function implicit declaration 경고가 발생하지만 링크까지 잘 진행됩니다.)
따라서 함수의 헤더는 헤더 파일에 선언하고 인클루드 해서 컴파일러에게 함수에 대한 정보를 제공합니다. 파일 지역 함수(static function)같은 경우는 그냥 소스파일에 선언을 하고요.

마찬가지로 아래 코드는 구조체의 정의가 아닌 선언입니다. 즉 컴파일러에게 구조체에 대한 정보를 제공하지요.

struct cfs_rq;
struct seq_file;
struct task_group;
struct task_struct;

위와 같이 코드를 작성하게 되면 컴파일러는 cfs_rq는 구조체 타입이라는것을 알 수 있습니다.
따라서 아래와 같은 코드를 컴파일 할 수 있습니다.

void function()
{
    struct cfs_rq * st_val = get_cfs_rq();
 
    set_cfs_rq_name(st_val, "imposno"); //cfs_rq 구조체에 name이라는 멤버 변수가 있다고 가정
}

즉 구조체 포인터 변수를 선언할 수있습니다.
하지만

void function()
{
    struct cfs_rq * st_val = get_cfs_rq();
 
    puts(cfs_rq->name); // cfs_rq 구조체에 name이라는 멤버 변수가 있다고 가정
}

정리하자면 위와같은 구조체 선언은 구조체 멤버에 대한 은닉 테크닉(?)으로 사용할 수 있습니다.
헤더파일에 구조체 선언만 해놓고 실제 소스파일에 구조체를 정의하면 멤버에 접근할 수 없기때문입니다.
그래도 멤버에 접근할 수 있도록 해야 한다면 대부분 access함수를 제공하지요.

아~ 졸려서 횡설수설했네요.

저도 커널을 공부할 수 있는 실력이 언능됬으면 좋겠습니다.

그럼 파이팅!