init process 실행

전체 흐름

kernel_init()은 사용자 공간의 첫 프로그램을 고르는 마지막 커널 측 분기다. Linux v6.6의 순서는 ramdisk_execute_command, 명시적 execute_command, CONFIG_DEFAULT_INIT, 네 개의 기본 경로다. 후보가 성공하면 즉시 반환하므로 뒤 후보는 시도하지 않는다.

소스 코드 위치

이 글의 선택 순서와 반환 처리는 Linux v6.6 init/main.c에서 직접 확인할 수 있다. 아래의 두 발췌는 해당 파일의 연속된 원문 구간이다.

대표 코드

static int run_init_process(const char *init_filename)
{
	const char *const *p;

	argv_init[0] = init_filename;
	pr_info("Run %s as init process\n", init_filename);
	pr_debug("  with arguments:\n");
	for (p = argv_init; *p; p++)
		pr_debug("    %s\n", *p);
	pr_debug("  with environment:\n");
	for (p = envp_init; *p; p++)
		pr_debug("    %s\n", *p);
	return kernel_execve(init_filename, argv_init, envp_init);
}

static int try_to_run_init_process(const char *init_filename)
{
	int ret;

	ret = run_init_process(init_filename);

	if (ret && ret != -ENOENT) {
		pr_err("Starting init: %s exists but couldn't execute it (error %d)\n",
		       init_filename, ret);
	}

	return ret;
}

	if (ramdisk_execute_command) {
		ret = run_init_process(ramdisk_execute_command);
		if (!ret)
			return 0;
		pr_err("Failed to execute %s (error %d)\n",
		       ramdisk_execute_command, ret);
	}

	/*
	 * We try each of these until one succeeds.
	 *
	 * The Bourne shell can be used instead of init if we are
	 * trying to recover a really broken machine.
	 */
	if (execute_command) {
		ret = run_init_process(execute_command);
		if (!ret)
			return 0;
		panic("Requested init %s failed (error %d).",
		      execute_command, ret);
	}

	if (CONFIG_DEFAULT_INIT[0] != '\0') {
		ret = run_init_process(CONFIG_DEFAULT_INIT);
		if (ret)
			pr_err("Default init %s failed (error %d)\n",
			       CONFIG_DEFAULT_INIT, ret);
		else
			return 0;
	}

	if (!try_to_run_init_process("/sbin/init") ||
	    !try_to_run_init_process("/etc/init") ||
	    !try_to_run_init_process("/bin/init") ||
	    !try_to_run_init_process("/bin/sh"))
		return 0;

	panic("No working init found.  Try passing init= option to kernel. "
	      "See Linux Documentation/admin-guide/init.rst for guidance.");
}

함수별 분석

한 후보를 시도할 때의 실행 요청과, 다음 후보를 고르는 정책은 서로 다른 층이다. 두 함수의 반환값을 분리하면 실패 로그가 찍힌 뒤에도 다음 경로를 검사하는 이유가 보인다.

구조체와 필드

이 부분의 중심은 새 구조체 생성이 아니라 후보 경로 문자열과 실행 인수다. execute_command는 init=, ramdisk_execute_command는 rdinit=에서 설정될 수 있다. v6.6 원문에서 후자의 초기값은 /init이다.

실행 단계와 상태 변화

후보 검사는 초기화와 무관하게 시작되는 것이 아니다. kernel_init()은 kthreadd_done 완료를 기다리고 kernel_init_freeable()을 거친 뒤, 아래 후보 선택 구간에 도달한다. 그 과정에서 init_eaccess(ramdisk_execute_command)가 실패하면 ramdisk 후보를 null로 바꾼다.

불변 조건과 실패 사례

/init은 초기값이지만, kernel_init_freeable()의 접근 검사 실패 시 포인터가 null이 될 수 있다. 따라서 “모든 부팅에서 /init이 실행된다”는 결론은 이 코드에서 나오지 않는다. 기본 네 경로가 모두 실패한 경우에만 마지막 No working init found panic에 도달한다.

계측과 검증

이 소스에 이미 있는 관찰 지점은 Run %s as init process, Failed to execute %s, Default init %s failed, Starting init: %s exists but couldn't execute it 로그와 두 panic 문자열이다. 해당 문구를 볼 때는 후보·반환값·다음 분기를 같이 읽어야 한다.

특히 try_to_run_init_process()는 -ENOENT에 대해 별도 오류 로그를 생략한다. 로그가 없다는 사실만으로 기본 경로 실행 성공을 단정할 수 없다. 이 글은 소스 분기만 검증했으며, 실제 부팅 로그나 실행 결과를 측정하지 않았다.

추가 확인 사항

• 사용 중인 커널 설정에서 CONFIG_DEFAULT_INIT이 비어 있는가?
• 부팅 명령줄에 rdinit= 또는 init=이 있다면 어느 후보가 먼저 도달 가능한가?
• ramdisk 후보의 접근 검사 결과와 ramdisk_execute_command의 값은 무엇인가?
• 실제 로그의 마지막 후보와 오류 번호는 어느 소스 분기에 대응하는가?