[리눅스커널] 프로세스: 프로세스는 어떻게 생성하나?

이번 절에서는 프로세스가 생성하는 과정에 대해 설명을 드리겠습니다.

     "프로세스 생성 과정을 왜 알아야 할까?"

리눅스 커널에서 프로세스를 생성하는 함수를 분석하면 자연히 다음 내용을 알게 됩니다.

  - 프로세스가 부모 프로세스로부터 어떻게 복제되는가 

  - 생성된 프로세스가 실행을 시작하는가

  - 프로세스 자료구조는 어떻게 처리하는가

그런데 리눅스에서 구동되는 프로세스는 크게 유저 레벨에서 생성된 프로세스와 커널 레벨에서 생성된 프로세스로 분류할 수 있습니다. 각 프로세스 타입 별로 프로세스 생성 과정이 다릅니다.

  - 유저 프로세스: 유저 공간에서 프로세스를 생성하는 라이브러리(glibc) 도움을 받아 커널에게 프로세스 생성 요청을 한다.

  - 커널 프로세스: 커널 내부 kthread_create() 함수를 호출해서 커널 프로세스를 생성한다.

프로세스 종류에 따라 프로세스를 생성하는 흐름은 다르나 한 가지 공통점이 있습니다.

     "프로세스를 생성할 때 _do_fork() 함수를 호출한다."

이번 절에서는 _do_fork() 함수를 중심으로 프로세스 생성 과정을 살펴보겠습니다.

Reference(프로세스 관리)

4.1 프로세스 소개

   4.1.1 프로세스란/ 4.1.2 태스크란/ 4.1.3 스레드란

4.2 프로세스 확인하기

4.3 프로세스는 어떻게 생성하나?

   4.3.1 do_fork() 함수 소개

   4.3.2 유저 레벨 프로세스 생성 시 _do_fork() 함수 흐름

   4.3.3 커널 프로세스 생성 시 do_fork() 함수 흐름

4.4 유저 레벨 프로세스 실행 실습

   4.4.1 기본 유저 레벨 프로세스 실행 실습 및 ftrace 로그 분석

   4.4.2 부모 자식 프로세스 생성 실습 및 ftrace 로그 분석  

4.5 커널 스레드

   4.5.1 커널 스레드란 4.5.2 커널 스레드 종류 4.5.3 커널 스레드는 어떻게 생성하나? 

4.6 커널 프로세스 생성 및 종료 함수 분석

   4.6.1 _do_fork() 함수 분석

   4.6.2 copy_process() 함수 분석

   4.6.3 do_exit() 함수 분석 

4.7 태스크 디스크립터(struct task_struct)

   4.7.1 프로세스를 식별하는 멤버 / 4.7.2 프로세스 상태 저장 

   4.7.3 프로세스 간 관계 / 4.7.4 프로세스 연결 리스트

   4.7.5 프로세스 실행 시각 정보

4.8 스레드 정보(struct thread_info)

   4.8.1 프로세스는 스택을 어떻게 쓸까?

   4.8.2 struct thread_info 구조체 소개

   4.8.3 실행 중인 CPU 번호 확인하기

   4.8.4 struct thread_info 초기화 코드 분석 

4.9 프로세스 컨택스트 정보는 어떻게 저장할까?

 4.9.1 컨택스트 소개

 4.9.2 인터럽트 컨택스트 정보 확인하기

 4.9.3 Soft IRQ 컨택스트 정보 확인하기

 4.9.4 선점 스케줄링 여부 정보 저장

4.10 프로세스 디스크립터 접근 매크로 함수

 4.10.1 current_thread_info()

 4.10.2 current 매크로란

4.11 프로세스 디버깅

 4.11.1 glibc fork 함수 gdb 디버깅

 4.11.2 유저 프로그램 실행 추적 

리눅스 커널 레시피 전체 목차