RISC-V 64 head.S의 hart·DTB 수신과 SATP 전환

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

MMU를 켜면 같은 PC 숫자가 다른 주소로 해석될 수 있습니다. RISC-V의 relocate_enable_mmu는 복귀 주소와 trap 벡터를 먼저 맞춘 뒤 임시 표와 정식 표를 순서대로 적재합니다. v6.18.37의 이 루틴 전체를 읽어 주소 전환 도중에도 다음 명령을 가져올 수 있어야 한다는 문제를 설명합니다.

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

먼저 알아둘 개념

SATP

주소 변환 모드·ASID·최상위 표의 물리 페이지 번호를 담는 CSR입니다.

RA 보정

나중에 ret할 주소도 가상 주소로 맞춰야 새 주소 환경에서 올바른 위치로 돌아갑니다.

trampoline 표

주소 전환을 안전하게 넘기는 최소 임시 매핑입니다. 정식 커널 주소 공간 전체를 뜻하지 않습니다.

처음 읽을 때

전환 전 PC, 전환 후 PC, trap 목적지, 복귀 주소를 네 칸으로 적어 보십시오.

더 깊이 살펴볼 때

VA와 PA가 같은 경우의 순차 진행과 다른 경우의 trap 이동, 두 SFENCE.VMA의 목적을 구분하십시오.

그림으로 보는 변화

RISC-V 64 head.S의 hart·DTB 수신과 SATP 전환의 단계별 개념 그림 — 각 단계에 화살표 의미와 생략 범위를 표시했습니다. 주소·숫자 예제는 실제 장치 값을 뜻하지 않습니다.

1단계 고정

GIF 원본 열기

1. 주소 보정

커널 가상 시작점과 현재 물리 시작점의 차이로 RA와 trap 목적지를 맞춥니다.

화살표는 주소값 계산이며 메모리 복사가 아닙니다.

2. 임시 변환 활성화

PTE 쓰기를 동기화한 뒤 trampoline SATP를 적재합니다.

VA와 PA 관계에 따라 trap으로 다음 가상 위치로 이동할 수 있습니다.

3. 정식 표로 교체

정식 SATP와 fence를 적용한 뒤 보정한 RA로 돌아갑니다.

마지막 화살표는 제어 흐름의 복귀입니다.

relocate_enable_mmu를 한 줄씩 읽기

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

	.global relocate_enable_mmu
relocate_enable_mmu:
	/* Relocate return address */
	la a1, kernel_map
	XIP_FIXUP_OFFSET a1
	REG_L a1, KERNEL_MAP_VIRT_ADDR(a1)
	la a2, _start
	sub a1, a1, a2
	add ra, ra, a1

	/* Point stvec to virtual address of intruction after satp write */
	la a2, 1f
	add a2, a2, a1
	csrw CSR_TVEC, a2

	/* Compute satp for kernel page tables, but don't load it yet */
	srl a2, a0, PAGE_SHIFT
	la a1, satp_mode
	XIP_FIXUP_OFFSET a1
	REG_L a1, 0(a1)
	or a2, a2, a1

	/*
	 * Load trampoline page directory, which will cause us to trap to
	 * stvec if VA != PA, or simply fall through if VA == PA.  We need a
	 * full fence here because setup_vm() just wrote these PTEs and we need
	 * to ensure the new translations are in use.
	 */
	la a0, trampoline_pg_dir
	XIP_FIXUP_OFFSET a0
	srl a0, a0, PAGE_SHIFT
	or a0, a0, a1
	sfence.vma
	csrw CSR_SATP, a0
.align 2
1:
	/* Set trap vector to spin forever to help debug */
	la a0, .Lsecondary_park
	csrw CSR_TVEC, a0

	/* Reload the global pointer */
	load_global_pointer

	/*
	 * Switch to kernel page tables.  A full fence is necessary in order to
	 * avoid using the trampoline translations, which are only correct for
	 * the first superpage.  Fetching the fence is guaranteed to work
	 * because that first superpage is translated the same way.
	 */
	csrw CSR_SATP, a2
	sfence.vma

	ret

원문 73행