ARM SVE·SME Linux 상태 관리 소스 분석

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

큰 벡터 상태를 다룰 때는 데이터를 복사하는 함수뿐 아니라 지금 CPU 레지스터의 소유자가 누구인지 나타내는 표식도 중요합니다. v6.18.37의 fpsimd_flush_task_state는 task의 CPU 연결을 무효로 표시합니다. 이름의 flush를 벡터 레지스터를 모두 0으로 만드는 동작으로 해석하지 않도록 읽습니다.

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

먼저 알아둘 개념

기본 FP와 가변 상태

FPSIMD는 기본 상태이고 SVE/SME는 더 큰 가변 크기의 상태를 추가합니다. 저장 형식과 사용 조건을 함께 관리합니다.

FOREIGN_FPSTATE

현재 CPU 레지스터를 해당 task의 유효한 상태로 그대로 믿지 말아야 한다는 표식입니다.

컴파일러 barrier

이 함수의 barrier는 컴파일러의 접근 재배치를 막습니다. DSB와 같은 CPU 장벽 명령이라고 설명하면 안 됩니다.

처음 읽을 때

task의 메모리 사본과 CPU 레지스터를 연결한 선을 끊는 그림으로 이해하십시오.

더 깊이 살펴볼 때

migration·ptrace 수정·시그널 복원 뒤 언제 이 소유 관계를 무효화해야 하는지 추적하십시오.

그림으로 보는 변화

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

1단계 고정

GIF 원본 열기

1. 연결 무효화

fpsimd_cpu를 유효 CPU가 아닌 NR_CPUS로 설정합니다.

화살표는 소유 정보 변경이며 실제 레지스터 내용 삭제가 아닙니다.

2. 기능 지원 확인

FP/SIMD 미지원 시스템이면 여기서 끝납니다.

조건부 경로를 통해 사용하지 않는 상태 처리를 피합니다.

3. 복원 필요 표시

FOREIGN_FPSTATE를 설정하고 컴파일러 순서를 제한합니다.

후속 사용 경로가 안전하게 복원 여부를 판단하게 합니다.

fpsimd_flush_task_state를 한 줄씩 읽기

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

void fpsimd_flush_task_state(struct task_struct *t)
{
	t->thread.fpsimd_cpu = NR_CPUS;
	/*
	 * If we don't support fpsimd, bail out after we have
	 * reset the fpsimd_cpu for this task and clear the
	 * FPSTATE.
	 */
	if (!system_supports_fpsimd())
		return;
	barrier();
	set_tsk_thread_flag(t, TIF_FOREIGN_FPSTATE);

	barrier();
}

void fpsimd_flush_task_state(struct task_struct *t)

	t->thread.fpsimd_cpu = NR_CPUS;

	if (!system_supports_fpsimd())

		return;

	barrier();

	set_tsk_thread_flag(t, TIF_FOREIGN_FPSTATE);

	barrier();

함께 생각해 볼 질문

출처와 읽은 범위

Linux stable v6.18.37 · arch/arm64/kernel/fpsimd.c

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