task_struct와 thread_info, kernel stack의 실제 가상공간에서의 질문

안녕하세요.

리눅스 커널 이론에 관해서 공부하던도중 도무지 이해가 안가서 질문드립니다.

위 제목과 같은 질문입니다.

task_struct와 thread_info, kernel stack 이것이 실제로 가상주소공간의 커널 영역에 어떻게 위치하는지 모르겠습니다.

task_stuct 같은 경우는 실행단위가 생성될때마다 디스크립터가 형성된다고들었습니다. 그리고 그 디스크립터들은 환형 링크드 리스트로 구성된다고 하죠.

거기에 더불어 다른 필드를 이용하여 우선순위 별로 또다른 링크드 리스트를 구성하여 실행큐에서 참조한다고 알고 있습니다.

딱히 책에서는 언급된 부분을 찾을수 없지만 , 추측컨데 해당 task_struct가 커널 영역에서 단순히 하나만 존재하는 것이 아니라 시스템상에 존재하는 모든 실행중인 디스크립터들이

모두 올라와있다고 생각했습니다. <이것이 옳은 것인이 아닌지 궁금합니다.>

또한 커널 스텍과 더불어 thread_info 구조체가 8k 즉, 2페이지에 할당된다고 하던데, 자료를 찾아보니 이것도 커널 영역에 있더군요.

문제는 이것 같은 경우 위의 task_struct와 같이 여러개가 동시에 올라와있다고 추측할 만한 증거가 충분치 않습니다.

모두 올라와있어서 컨텍스트 스위칭할때 커널 스텍을 가르키는 포인터 값만을 바꾸는 것인지

아니면 페이지 아웃을 통해서 프로세스 영역을 내릴때 같이 내리고 교환하는 것인지 모르겠습니다.

그리고 커널 영역에서도 페이지 아웃되는 경우가 어느때인지 궁금합니다.

그리고 또 한가지 의문이 드는 것은

쓰레드 그룹과 프로세스 그룹입니다. 개념을 알아본 책이 리눅스 커널의 이해, 리눅스 커널 구조와 원리

이 두책인데 둘다 애매모호하게만 나와있고 정확하게 집합적으로 설명이 나와있지 않습니다.

서로간의 관계에 대해서 정확하게 비교해서 설명되있다면 명확했을 텐데 이랬다 저랬다 하는 표현 방식을

쓰니까 전혀 알아먹지 못하겠습니다...

도움 부탁드립니다.