독자가 빠져나왔는지 추적할 기반을 만듭니다

이 코드는 어떤 문제를 푸나요?

RCU는 읽는 쪽의 부담을 줄이는 대신, 예전 객체를 볼 수 있는 독자가 끝난 뒤에 회수하도록 시간을 나눕니다. rcu_init은 CPU별 상태와 트리, 콜백 처리 기반을 준비합니다. 초기화 함수 안에서 한 객체를 바로 해제하는 예제는 아닙니다.

읽을 범위: v6.6 · kernel/rcu/tree.c · rcu_init 4969–5012행입니다. 아래에 이 범위의 원문과 각 줄의 설명을 실었습니다. 주제 전체의 흐름과 다른 경로는 기존 분석에서 함께 읽으실 수 있습니다.

먼저 알아둘 개념

유예 기간

기존 독자들이 더 이상 예전 객체를 참조하지 않음을 확인하기 위해 기다리는 구간입니다.

콜백

유예 기간 뒤에 실행하도록 넘긴 작업입니다. 단순한 타이머 지연과는 보장하는 조건이 다릅니다.

처음 읽을 때

코드를 읽을 때 CPU들을 묶는 RCU 트리와 전역 상태를 준비합니다. 그다음 어느 상태가 바뀌는지 각 줄에서 확인하세요.

더 깊이 살펴볼 때

이 경로의 호출 문맥, 잠금·인터럽트 상태, 오류 시 남는 자원을 함께 추적해 보세요. 호출된 함수가 수행하는 작업과 현재 함수가 직접 보장하는 범위를 구분하는 것이 중요합니다.

그림으로 보는 변화

GIF 재생1단계 · 멈춰 보기2단계 · 멈춰 보기3단계 · 멈춰 보기

1단계 고정

GIF 원본 열기

1. 트리와 기본 상태

CPU들을 묶는 RCU 트리와 전역 상태를 준비합니다.

화살표는 초기화 순서입니다.

2. 부트 CPU 연결

현재 CPU를 준비·시작·온라인 단계에 등록합니다.

현재 CPU 번호와 트리 노드 주소는 다릅니다.

3. 후속 처리 기반

작업 큐·콜백과 테스트를 준비합니다.

초기화 완료가 모든 종류의 RCU 독자 종료를 뜻하지 않습니다.

rcu_init를 한 줄씩 읽기

줄 번호는 v6.6 원문 기준입니다. 주석·빈 줄을 포함한 함수 전체를 먼저 보고, 그 아래에서 각 줄을 설명합니다.

void __init rcu_init(void)
{
	int cpu = smp_processor_id();

	rcu_early_boot_tests();

	kfree_rcu_batch_init();
	rcu_bootup_announce();
	sanitize_kthread_prio();
	rcu_init_geometry();
	rcu_init_one();
	if (dump_tree)
		rcu_dump_rcu_node_tree();
	if (use_softirq)
		open_softirq(RCU_SOFTIRQ, rcu_core_si);

	/*
	 * We don't need protection against CPU-hotplug here because
	 * this is called early in boot, before either interrupts
	 * or the scheduler are operational.
	 */
	pm_notifier(rcu_pm_notify, 0);
	WARN_ON(num_online_cpus() > 1); // Only one CPU this early in boot.
	rcutree_prepare_cpu(cpu);
	rcu_cpu_starting(cpu);
	rcutree_online_cpu(cpu);

	/* Create workqueue for Tree SRCU and for expedited GPs. */
	rcu_gp_wq = alloc_workqueue("rcu_gp", WQ_MEM_RECLAIM, 0);
	WARN_ON(!rcu_gp_wq);
	rcu_alloc_par_gp_wq();

	/* Fill in default value for rcutree.qovld boot parameter. */
	/* -After- the rcu_node ->lock fields are initialized! */
	if (qovld < 0)
		qovld_calc = DEFAULT_RCU_QOVLD_MULT * qhimark;
	else
		qovld_calc = qovld;

	// Kick-start in case any polled grace periods started early.
	(void)start_poll_synchronize_rcu_expedited();

	rcu_test_sync_prims();
}

void __init rcu_init(void)

	int cpu = smp_processor_id();

	rcu_early_boot_tests();

	kfree_rcu_batch_init();

	rcu_bootup_announce();

	sanitize_kthread_prio();

	rcu_init_geometry();

	rcu_init_one();

	if (dump_tree)

		rcu_dump_rcu_node_tree();

	if (use_softirq)

		open_softirq(RCU_SOFTIRQ, rcu_core_si);

	pm_notifier(rcu_pm_notify, 0);

	WARN_ON(num_online_cpus() > 1); // Only one CPU this early in boot.

	rcutree_prepare_cpu(cpu);

	rcu_cpu_starting(cpu);

	rcutree_online_cpu(cpu);

	rcu_gp_wq = alloc_workqueue("rcu_gp", WQ_MEM_RECLAIM, 0);

	WARN_ON(!rcu_gp_wq);

	rcu_alloc_par_gp_wq();

	if (qovld < 0)

		qovld_calc = DEFAULT_RCU_QOVLD_MULT * qhimark;

	else

		qovld_calc = qovld;

	(void)start_poll_synchronize_rcu_expedited();

	rcu_test_sync_prims();

함께 생각해 볼 질문

출처와 읽은 범위

Linux stable v6.6 · kernel/rcu/tree.c

해당 버전 원본 파일 · 기존 코드 분석 · 설명 원고