메모리 관리는 운영체제에서 어려운 부분 중에 하나이다 (나는 제일 어려운 부분이라 생각한다). 커널 엔트리 포인트로 가기 전에 마지막 준비 작업 에서는 start_kernel 함수 직전까지 설명하였다. 이 함수는 커널이 init 프로세스가 동작하기 전에, 커널의 모든 기능(아키택쳐 의존적인 기능까지 포함)을 초기화한다. 커널은 early page table, fixmap page table 그리고 identity page table을 만든다. 아직 복작한 메모리 관리는 들어가지 않았다. start_kernel 함수를 본격적으로 보기 시작하면 메모리 관리를 위한 복잡한 자료구조와 테크닉들을 보게 될 것이다. 커널의 초기화 과정을 좀 더 잘 이해하기 위해서는 이러한 테크닉에 대해서 명확히 이해할 필요가 있다. 이 챕터는 리눅스 memblock을 시작으로, 커널의 메모리 관리에 있어서 다양한 프레임워크나 API들에 대해서 알아볼 것이다.
Memblock은 초기 부팅 단계에서 커널의 메모리 할당자가 초기화가 되지 않아 제대로 동작하기 전에, 메모리를 관리하는 방법 중 하나이다. 원래는 Logical Memory Block이라는 이름으로 사용되었으나, Yinghai Lu 라는 사람이 만든 패치 이후에 memblock으로 변경되었다. x86_64 아케택쳐를 사용하는 커널이 memblock를 사용하기에 커널 엔트리 포인트로 가기 전에 마지막 준비 작업에서 봤던 적이 있다. 이번에는 어떻게 구현되어있는지 알아보겠다.
먼저 memblock를 자료구조 입장에서 시작해보겠다. 논리 메모리 블락 관련 자료구조는 include/linux/memblock.h헤더 파일에 정의되어 있다.
첫 번째 자료구조는 memblock이라는 이름 그대로 구조체가 정의되어 있다:
struct memblock {
bool bottom_up;
phys_addr_t current_limit;
struct memblock_type memory; --> array of memblock_region
struct memblock_type reserved; --> array of memblock_region
#ifdef CONFIG_HAVE_MEMBLOCK_PHYS_MAP
struct memblock_type physmem;
#endif
};이 구조체에는 5개 변수가 선언되어 있다. 첫 번째 bottom_up는 메모리를 아래에서 위로 할당 해 줄 수 있는지 여부를 결정하는 변수이며 맞다면, true이다. 다음 변수는 current_limit는 메모리 블락의 제한된 크기를 나타낸다. 다음 세 개의 변수들은, 메모리 블락 타입(reserved, memory 그리고 physical memory)을 나타낸다. (타입 중에 physical memory는 CONFIG_HAVE_MEMBLOCK_PHYS_MAP 설정이 활성화 되어있어야 가능하다.)
지금부터 memblock_type 자료구조를 보자.
struct memblock_type {
unsigned long cnt;
unsigned long max;
phys_addr_t total_size;
struct memblock_region *regions;
};이 구조체는 메모리의 타입에 대해서 나타낸다. 각 변수들은 한 메모리 블락내에 있는 메모리 영역의 갯수, 모든 메모리 영역들의 총 사이즈 그리고 할당 된 메모리 영역의 배열 크기를 나타낸다. 마지막으로는 memblock_region 구조체의 배열에 대한 포인터를 나타내는 변수가 있다. memblock_region 구조체는 메모리 영역을 표현하는 구조체로 아래와 같이 정의되어 있다.
struct memblock_region {
phys_addr_t base;
phys_addr_t size;
unsigned long flags;
#ifdef CONFIG_HAVE_MEMBLOCK_NODE_MAP
int nid;
#endif
};memblock_region은 메모리 영역의 시작주소와 크기를 나타내고 있으며, 아래의 값들을 갖는 플래그를 변수로 갖고 있다.
enum {
MEMBLOCK_NONE = 0x0, /* No special request */
MEMBLOCK_HOTPLUG = 0x1, /* hotpluggable region */
MEMBLOCK_MIRROR = 0x2, /* mirrored region */
MEMBLOCK_NOMAP = 0x4, /* don't add to kernel direct mapping */
};또한 만약 CONFIG_HAVE_MEMBLOCK_NODE_MAP 설정이 활성화 되어 있다면, memblock_region은 정수 타입의 변수인 numa를 포함하게 된다.
위에서 간략하게 본 구조체들의 관계를 의미론 적으로 표현하면 아래와 같이 나타낼 수 있다.
+---------------------------+ +---------------------------+
| memblock | | |
| _______________________ | | |
| | memory | | | Array of the |
| | memblock_type |-|-->| memblock_region |
| |_______________________| | | |
| | +---------------------------+
| _______________________ | +---------------------------+
| | reserved | | | |
| | memblock_type |-|-->| Array of the |
| |_______________________| | | memblock_region |
| | | |
+---------------------------+ +---------------------------+
Memblock에서는 memblock 구조체, memblock_type 구조체 그리고 memblock_region 구조체가 제일 주된 구조체들이다. 이제 부터는 메모리 블락의 초기화 과정에 대해서 알아보자.
memblock에 관련된 API들에 대해서 선언은 include/linux/memblock.h 헤더파일에서, 정의는 . mm/memblock.c 파일에서 찾아 볼 수 있다. 소스코드의 처음 시작 부분을 보면, memblock구조체의 초기화관련 코드를 찾아 볼 수 있다:
struct memblock memblock __initdata_memblock = {
.memory.regions = memblock_memory_init_regions,
.memory.cnt = 1,
.memory.max = INIT_MEMBLOCK_REGIONS,
.reserved.regions = memblock_reserved_init_regions,
.reserved.cnt = 1,
.reserved.max = INIT_MEMBLOCK_REGIONS,
#ifdef CONFIG_HAVE_MEMBLOCK_PHYS_MAP
.physmem.regions = memblock_physmem_init_regions,
.physmem.cnt = 1,
.physmem.max = INIT_PHYSMEM_REGIONS,
#endif
.bottom_up = false,
.current_limit = MEMBLOCK_ALLOC_ANYWHERE,
};여기 memblock구조체 이름과 같은 객체 memblock의 초기화를 볼 수 있다. 그 전에 __initdata_memblock에 대해서 먼저 보면, 이 매크로는 이렇게 정의되어 있다:
#ifdef CONFIG_ARCH_DISCARD_MEMBLOCK
#define __init_memblock __meminit
#define __initdata_memblock __meminitdata
#else
#define __init_memblock
#define __initdata_memblock
#endif매크로는 CONFIG_ARCH_DISCARD_MEMBLOCK에 의존하고 있다. 이 설정이 활성화되면, memblock 코드들은 .init 섹션에 위치하게 되고, 커널이 부팅이 끝나고 나면 해제됩니다.
다음으로는 memblock 구조체의 변수들인 memblock_type memory, memblock_type reserved 그리고 memblock_type physmem의 초기화 과정을 볼 수 있습니다. 여기서 memblock_type.regions의 초기화 과정에만 관심이 있다. memblock_type의 모든 변수들은 memblock_region의 배열로 초기화를 한다.
static struct memblock_region memblock_memory_init_regions[INIT_MEMBLOCK_REGIONS] __initdata_memblock;
static struct memblock_region memblock_reserved_init_regions[INIT_MEMBLOCK_REGIONS] __initdata_memblock;
#ifdef CONFIG_HAVE_MEMBLOCK_PHYS_MAP
static struct memblock_region memblock_physmem_init_regions[INIT_PHYSMEM_REGIONS] __initdata_memblock;
#endif모든 배열들은 128개(INIT_MEMBLOCK_REGIONS)의 memblock_region을 갖습니다.
#define INIT_MEMBLOCK_REGIONS 128그리고 또한 모든 배열들은 __initdata_memblock 매크로와 함께 정의 되어있습니다.
이 매크로는 위에서 memblock 초기화 과정에서 본 적이있는데 기억이 안나면 위를 한 번 다시 읽어보세요.
초기화 과정에서 마지막 두 개 변수를 보면, bottom_up 할당은 비활성화 되어있고, 현재 Memblock의 한계를 보면:
#define MEMBLOCK_ALLOC_ANYWHERE (~(phys_addr_t)0)이 값은 0xffffffffffffffff 이다.
이로써 memblock 구조체 초기화 과정은 마무리하고, Memblock의 API에 대해서 살펴보도록 하겠습니다.
memblock 구조체의 초기화를 살펴보았고, 지금부터는 Memblock의 API가 어떻게 구현되어있는지에 대해서 살펴보겠습니다. 위에서 언급한것 처럼, memblock의 구현은 mm/memblock.c 에 되어있습니다. memblock이 어떻게 동작하는지 그리고 어떻게 구현되어있는지를 이해하기 위해서는 어떻게 사용되는지를 살펴보겠습니다. 커널에는 memblock이 몇 차례 사용되고 있습니다. 예를 들어, arch/x86/kernel/e820.c에 있는 memblock_x86_fill 함수가 있겠습니다. 이 함수는 e820에서 제공하는 메모리 맵을 따르고 있고, 커널은 reserved에 해당하는 memory region들을 memblock에 memblock_add 함수를 이용하여 추가하고 있습니다. 우리가 memblock_add함수를 처음으로 만났으니, 이 함수부터 시작해보겠습니다.
이 함수는 물리 메모리의 시작 주소 그리고 사이즈를 함수인자로 받아 memblock에 추가합니다. memblock_add 함수는 자체적으로는 하는 것이 없고 아래 함수를 호출합니다:
memblock_add_range(&memblock.memory, base, size, MAX_NUMNODES, 0);이 함수의 인자로 메모리 블락 타입을 memory로 전달하고 있습니다. 그리고 물리 메모리의 시작 주소와 사이즈, 그리고 노드 갯수의 최대인 1(CONFIG_NODES_SHIFT가 비활성화 되어있으면 1, 활성화 되어있다면 1 << CONFIG_NODES_SHIFT)을 마지막으로는 플레그를 전달하고 있습니다. memblock_add_range 함수는 새로운 메모리 영역을 메모리 블락에 추가해주는 함수입니다. 함수는 인자로 넘어온 사이즈를 체크(사이즈가 0인지 확인 후 0이라면 바로 리턴)하는 것부터 시작합니다. 그리고 memblock_add_range함수는 memblock구조체에 넘어온 memblock_type의 존재 여부를 체크합니다. 만약 존재하지 않는다면(비어있다면), 하나의 노드를 추가하고 바로 리턴해버립니다. (이미 이 부현부분은 First touch of the linux kernel memory manager framework에서 확인한 적이 있습니다.) 만약 memblock_type이 비어있지 않다면, 새로운 메모리 영역을 memblock에 주어진 memblock_type으로 추가합니다.
무엇보다도, 우리는 메모리의 마지막 주소를 아래의 방법으로 얻을 수 있습니다:
phys_addr_t end = base + memblock_cap_size(base, &size);memblock_cap_size 는 base + size가 오버플로우가 발생하지 않도록 size를 잘 조절합니다. 구현은 생각보다 쉽습니다:
static inline phys_addr_t memblock_cap_size(phys_addr_t base, phys_addr_t *size)
{
return *size = min(*size, (phys_addr_t)ULLONG_MAX - base);
}memblock_cap_size함수는 주어진 사이즈와 ULLONG_MAX - base 중에 더 작은 값을 리턴합니다.
새로운 메모리 영역의 마지막 주소를 계산해 낸 다음에, memblock_add_range 함수는 새로운 메모리 영역과 기존에 추가된 영역사이에 겹쳐지는 부분 그리고 합쳐지는 조건을 확인한다. memblock에 새로운 메모리 영역을 추가하는 것은 두 단계로 나누어 진다:
- 겹쳐지는 영역이 없는 메모리에 대해서 새로운 메모리 영역으로 추가한다.
- 인접한 메모리 영역에 대해서는 하나로 합친다.
우리는 이미 추가된 메모리 영역에 대해서 새로운 메모리 영역 사이에 겹쳐지는 부분이 있는 지 살펴볼 것이다:
for (i = 0; i < type->cnt; i++) {
struct memblock_region *rgn = &type->regions[i];
phys_addr_t rbase = rgn->base;
phys_addr_t rend = rbase + rgn->size;
if (rbase >= end)
break;
if (rend <= base)
continue;
...
...
...
}memblock에 이미 추가된 메모리 영역과 새로 더해 질 메모리 영역 사이에 겹쳐지는 영역이 없다면, 기존의 영역과는 다른 메모리 영역으로 추가해주는 것이 첫 번재 단계이다. 그리고 새로운 메모리 영역이 메모리 블락에 알맞은지 확인한다. 그리고 memblock_double_array함수를 다른 방법으로 호출한다:
while (type->cnt + nr_new > type->max)
if (memblock_double_array(type, obase, size) < 0)
return -ENOMEM;
insert = true;
goto repeat;memblock_double_array 함수는 영역들의 배열의 크기를 두 배로 만들어줍니다. 그리고 insert변수를 true 로 설정해주고, repeat 라벨로 이동합니다. 두 번째 단계로는 repeat 라벨부터 시작해서 같은 반복문을 실행하고, 현재 메모리 영역을 memblock_insert_region함수로 메모리 블락에 삽입해줍니다:
if (base < end) {
nr_new++;
if (insert)
memblock_insert_region(type, i, base, end - base,
nid, flags);
}insert를 true로 첫 번재 단계에서 변경해주었기 때문에, memblock_insert_region함수는 호출될 것입니다. memblock_insert_region함수는 위에서 설명했던 비어 있는 memblock_type에 새로운 메모리 영역을 추가하는 것과 매우 유사하게 구현되어 있습니다. (위 코드들을 참조)
이 함수는 마지막 메모리 영역을 얻어 냅니다:
struct memblock_region *rgn = &type->regions[idx];그리고 memmove함수로 메모리를 복사합니다:
memmove(rgn + 1, rgn, (type->cnt - idx) * sizeof(*rgn));그 후에는 memblock_region함수로 새로운 메모리 영역의 시작주소, 크기 등을 체웁니다. 그리고 memblock_type의 크기를 증가시킵니다. 수행의 마지막에는 memblock_add_range함수는 두 번째 단계에 해당하는 근접한 메모리들을 합치는 memblock_merge_regions함수를 호출합니다.
두 번째 단계에서 새로운 메모리 영역은 다른 기존의 영역과 겹쳐질 수 있습니다. 예를 들어 memblock에 region1영역이 존재하고 있었다고 한다면:
0 0x1000
+-----------------------+
| |
| |
| region1 |
| |
| |
+-----------------------+
memblock에 아래와 같은 region2를 추가하려한다고 해보겠습니다.
0x100 0x2000
+-----------------------+
| |
| |
| region2 |
| |
| |
+-----------------------+
이런 경우, 새로운 메모리 영역의 시작주소를 인접하는 영역의 끝 주소로 설정합니다:
base = min(rend, end);그래서 우리의 경우 0x1000번지가 새로운 메모리 영역의 시작주소가 됩니다. 그리고 두 번째 단계에서 우리가 했던 것처럼 추가해줍니다:
if (base < end) {
nr_new++;
if (insert)
memblock_insert_region(type, i, base, end - base, nid, flags);
}
이 경우에 우리는 overlapping portion(아랫 부분의 메모리는 이미 겹쳐져 있기 때문에 윗 부분에 대해서만 삽입합니다)를 삽입합니다. 그 다음은 남은 부분을 추가하고, memblock_merge_regions함수로 두 메모리 영역을 합칩니다. 위에서 언급했듯이, memblock_merge_regions함수는 이웃한 같은 메모리 영역을 합칩니다. 제공된 memblock_type으로부터 모든 메모리 영역들을 하나 씩 확인하면서, 이웃한 메모리 영역들을 병합합니다. type->regions[i] 그리고 type->regions[i + 1] 그리고 이웃한 메모리 영역들의 플래그가 같은지 그리고 같은 노드(첫 번째 메모리 영역의 끝 주소와 두 번째 메모리 영역의 시작 주소가 같은지 여부)에 해당하는지 확인합니다:
while (i < type->cnt - 1) {
struct memblock_region *this = &type->regions[i];
struct memblock_region *next = &type->regions[i + 1];
if (this->base + this->size != next->base ||
memblock_get_region_node(this) !=
memblock_get_region_node(next) ||
this->flags != next->flags) {
BUG_ON(this->base + this->size > next->base);
i++;
continue;
}이 조건 중 하나라도 true가 아니면, 첫 번째 메모리 영역의 사이즈를 두 번째 메모리 영역의 사이즈로 업데이트한다:
this->size += next->size;첫 번재 메모리 영역의 사이즈를 다음 번 메모리 영역의 사이즈로 업데이트함에 따라서, 우리는 (next) 메모리 영역 뒤의 모든 메모리 영역을memmove 함수로 역순으로 하나의 인덱스로 이동시킵니다 :
memmove(next, next + 1, (type->cnt - (i + 2)) * sizeof(*next));memmove 함수는next 영역 다음에 위치하는 모든 영역을 next 영역의 시작 주소로 이동시킵니다. 마지막으로memblock_type에 속한 메모리 영역의 수를 줄입니다.:
type->cnt--;이 후에는 두 메모리 영역을 하나로 합칩니다.
0 0x2000
+------------------------------------------------+
| |
| |
| region1 |
| |
| |
+------------------------------------------------+
As we decreased counts of regions in a memblock with certain type, increased size of the this region and shifted all regions which are located after next region to its place.
That's all. This is the whole principle of the work of the memblock_add_range function.
There is also memblock_reserve function which does the same as memblock_add, but with one difference. It stores memblock_type.reserved in the memblock instead of memblock_type.memory.
Of course this is not the full API. Memblock provides APIs not only for adding memory and reserved memory regions, but also:
- memblock_remove - removes memory region from memblock;
- memblock_find_in_range - finds free area in given range;
- memblock_free - releases memory region in memblock;
- for_each_mem_range - iterates through memblock areas.
and many more....
Memblock also provides an API for getting information about allocated memory regions in the memblock. It is split in two parts:
- get_allocated_memblock_memory_regions_info - getting info about memory regions;
- get_allocated_memblock_reserved_regions_info - getting info about reserved regions.
Implementation of these functions is easy. Let's look at get_allocated_memblock_reserved_regions_info for example:
phys_addr_t __init_memblock get_allocated_memblock_reserved_regions_info(
phys_addr_t *addr)
{
if (memblock.reserved.regions == memblock_reserved_init_regions)
return 0;
*addr = __pa(memblock.reserved.regions);
return PAGE_ALIGN(sizeof(struct memblock_region) *
memblock.reserved.max);
}First of all this function checks that memblock contains reserved memory regions. If memblock does not contain reserved memory regions we just return zero. Otherwise we write the physical address of the reserved memory regions array to the given address and return aligned size of the allocated array. Note that there is PAGE_ALIGN macro used for align. Actually it depends on size of page:
#define PAGE_ALIGN(addr) ALIGN(addr, PAGE_SIZE)Implementation of the get_allocated_memblock_memory_regions_info function is the same. It has only one difference, memblock_type.memory used instead of memblock_type.reserved.
There are many calls to memblock_dbg in the memblock implementation. If you pass the memblock=debug option to the kernel command line, this function will be called. Actually memblock_dbg is just a macro which expands to printk:
#define memblock_dbg(fmt, ...) \
if (memblock_debug) printk(KERN_INFO pr_fmt(fmt), ##__VA_ARGS__)For example you can see a call of this macro in the memblock_reserve function:
memblock_dbg("memblock_reserve: [%#016llx-%#016llx] flags %#02lx %pF\n",
(unsigned long long)base,
(unsigned long long)base + size - 1,
flags, (void *)_RET_IP_);And you will see something like this:
Memblock also has support in debugfs. If you run the kernel on another architecture than X86 you can access:
- /sys/kernel/debug/memblock/memory
- /sys/kernel/debug/memblock/reserved
- /sys/kernel/debug/memblock/physmem
to get a dump of the memblock contents.
This is the end of the first part about linux kernel memory management. If you have questions or suggestions, ping me on twitter 0xAX, drop me an email or just create an issue.
Please note that English is not my first language and I am really sorry for any inconvenience. If you found any mistakes please send me a PR to linux-insides.