종료 태스크에서 주소 공간 연결을 해제합니다

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

태스크가 끝날 때 사용자 주소 공간과의 관계도 정리해야 합니다. 연결을 NULL로 만드는 것만으로 모든 참조가 사라지는 것은 아닙니다. 다른 태스크의 공유, TLB와 메모리 장벽, mm의 최종 수명을 고려하며 단계를 나누어 처리합니다.

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

먼저 알아둘 개념

mm과 active_mm

사용자 주소 공간 소유 관계와 현재 CPU의 주소 변환 문맥 관계를 구분하기 위해 별도 필드가 있습니다.

mmput

사용자 mm 참조를 내려놓습니다. 마지막 사용자인지에 따라 실제 정리 범위가 달라집니다.

처음 읽을 때

코드를 읽을 때 대상 mm을 찾고 필요한 참조와 잠금을 확보합니다. 그다음 어느 상태가 바뀌는지 각 줄에서 확인하세요.

더 깊이 살펴볼 때

exit_mm 주석의 membarrier 규칙을 따라가 보세요. 이전 사용자 메모리 접근, current->mm 제거와 CPU의 membarrier 상태 변경 순서가 핵심입니다. mm 사용자 참조와 lazy TLB 수명 참조도 별도로 추적하셔야 합니다.

그림으로 보는 변화

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

1단계 고정

GIF 원본 열기

1. 종료 통지와 보호

대상 mm을 찾고 필요한 참조와 잠금을 확보합니다.

화살표는 정리 순서입니다.

2. 태스크 연결 해제

장벽과 IRQ 제어 아래 current->mm을 NULL로 바꿉니다.

단순 포인터 변경에도 관찰 순서가 중요합니다.

3. 참조 해제

잠금을 풀고 소유자 정보와 mm 참조를 정리합니다.

태스크 종료가 곧바로 모든 공유 페이지 해제를 뜻하지 않습니다.

exit_mm를 한 줄씩 읽기

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

static void exit_mm(void)
{
	struct mm_struct *mm = current->mm;

	exit_mm_release(current, mm);
	if (!mm)
		return;
	mmap_read_lock(mm);
	mmgrab_lazy_tlb(mm);
	BUG_ON(mm != current->active_mm);
	/* more a memory barrier than a real lock */
	task_lock(current);
	/*
	 * When a thread stops operating on an address space, the loop
	 * in membarrier_private_expedited() may not observe that
	 * tsk->mm, and the loop in membarrier_global_expedited() may
	 * not observe a MEMBARRIER_STATE_GLOBAL_EXPEDITED
	 * rq->membarrier_state, so those would not issue an IPI.
	 * Membarrier requires a memory barrier after accessing
	 * user-space memory, before clearing tsk->mm or the
	 * rq->membarrier_state.
	 */
	smp_mb__after_spinlock();
	local_irq_disable();
	current->user_dumpable = (get_dumpable(mm) == SUID_DUMP_USER);
	current->mm = NULL;
	membarrier_update_current_mm(NULL);
	enter_lazy_tlb(mm, current);
	local_irq_enable();
	task_unlock(current);
	mmap_read_unlock(mm);
	mm_update_next_owner(mm);
	mmput(mm);
	if (test_thread_flag(TIF_MEMDIE))
		exit_oom_victim();
}

static void exit_mm(void)

	struct mm_struct *mm = current->mm;

	exit_mm_release(current, mm);

	if (!mm)

		return;

	mmap_read_lock(mm);

	mmgrab_lazy_tlb(mm);

	BUG_ON(mm != current->active_mm);

	task_lock(current);

	smp_mb__after_spinlock();

	local_irq_disable();

	current->user_dumpable = (get_dumpable(mm) == SUID_DUMP_USER);

	current->mm = NULL;

	membarrier_update_current_mm(NULL);

	enter_lazy_tlb(mm, current);

	local_irq_enable();

	task_unlock(current);

	mmap_read_unlock(mm);

	mm_update_next_owner(mm);

	mmput(mm);

	if (test_thread_flag(TIF_MEMDIE))

		exit_oom_victim();

함께 생각해 볼 질문

출처와 읽은 범위

Linux stable v6.18.37 · kernel/exit.c

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