페이지 캐시: 메모리 한 묶음이 파일의 일부가 되려면

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

페이지 캐시는 파일 내용을 메모리에 보관해 반복 읽기의 저장장치 접근을 줄입니다. folio를 할당한 뒤에는 어느 파일의 어느 위치인지 연결하고 회수 대상 목록에도 넣어야 합니다. v6.6의 filemap_add_folio는 folio 잠금을 표시한 뒤 하위 삽입 함수에 등록을 맡기고, 성공하면 최근 재접근 이력과 LRU를 갱신합니다. 하위 함수가 수행하는 메모리 비용 청구와 현재 함수의 책임을 구분합니다.

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

먼저 알아둘 개념

address_space

한 파일의 캐시된 데이터를 인덱스로 관리하는 객체입니다. 이름에 address가 있어도 여기서는 프로세스의 전체 가상 주소 공간을 뜻하지 않습니다.

folio

한 개 이상의 물리 페이지를 함께 관리하는 메모리 단위입니다. 항상 정확히 한 페이지라고 가정하면 큰 folio를 잘못 이해하게 됩니다.

인덱스

파일의 어느 위치에 대응하는지 나타내는 페이지 단위 값입니다. 사용자 가상주소나 디스크의 LBA와 같지 않습니다.

shadow와 workingset

최근 캐시에서 쫓겨난 자리의 흔적을 남겨 다시 들어온 데이터가 자주 쓰이는지 판단합니다. 실제 파일 데이터의 백업 사본은 아닙니다.

처음 읽을 때

예를 들어 기본 페이지가 4KiB인 환경에서 인덱스 2는 파일의 8KiB 위치를 가리킵니다. 이는 설명용 환경이며 페이지 크기와 folio 크기는 구성에 따라 다릅니다. 캐시에 등록한 뒤 데이터 유효성은 별도 상태로 확인합니다.

더 깊이 살펴볼 때

이 버전의 memcg 청구·해제는 __filemap_add_folio 내부에 있고 현재 함수는 삽입 실패 때 folio 잠금 비트를 되돌립니다. 최근 회수 이력이 있어도 __GFP_WRITE인 덮어쓰기 목적이면 workingset_refault를 생략하는 이유를 살펴보십시오. 더 뒤 버전의 kernel_file 전용 분기는 여기 없습니다.

그림으로 보는 변화

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

1단계 고정

GIF 원본 열기

1. folio를 잠긴 상태로 둡니다

파일 위치에 연결하는 동안 접근 규칙을 유지하도록 folio 잠금 비트를 설정합니다.

화살표는 folio 상태 변화이며 파일의 실제 데이터 읽기가 아닙니다.

2. 파일 위치에 연결합니다

__filemap_add_folio가 메모리 비용 처리와 인덱스 삽입을 수행합니다. 실패하면 현재 함수는 잠금 표시를 되돌립니다.

화살표는 파일 인덱스에서 folio로 연결되는 참조입니다.

3. 회수 관리에 등록합니다

최근 재접근 여부를 working set 판단에 반영하고 folio를 LRU에 넣습니다.

화살표는 캐시 객체가 메모리 회수 정책의 관리 대상이 되는 순서입니다.

filemap_add_folio를 한 줄씩 읽기

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

int filemap_add_folio(struct address_space *mapping, struct folio *folio,
				pgoff_t index, gfp_t gfp)
{
	void *shadow = NULL;
	int ret;

	__folio_set_locked(folio);
	ret = __filemap_add_folio(mapping, folio, index, gfp, &shadow);
	if (unlikely(ret))
		__folio_clear_locked(folio);
	else {
		/*
		 * The folio might have been evicted from cache only
		 * recently, in which case it should be activated like
		 * any other repeatedly accessed folio.
		 * The exception is folios getting rewritten; evicting other
		 * data from the working set, only to cache data that will
		 * get overwritten with something else, is a waste of memory.
		 */
		WARN_ON_ONCE(folio_test_active(folio));
		if (!(gfp & __GFP_WRITE) && shadow)
			workingset_refault(folio, shadow);
		folio_add_lru(folio);
	}
	return ret;
}

int filemap_add_folio(struct address_space *mapping, struct folio *folio,

				pgoff_t index, gfp_t gfp)

	void *shadow = NULL;

	int ret;

	__folio_set_locked(folio);

	ret = __filemap_add_folio(mapping, folio, index, gfp, &shadow);

	if (unlikely(ret))

		__folio_clear_locked(folio);

	else {

		WARN_ON_ONCE(folio_test_active(folio));

		if (!(gfp & __GFP_WRITE) && shadow)

			workingset_refault(folio, shadow);

		folio_add_lru(folio);

	return ret;

함께 생각해 볼 질문

출처와 읽은 범위

Linux stable v6.6 · mm/filemap.c

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