Linux Insides
Linux Insides
Table of Contents
1. Introduction
2. Booting
i. From bootloader to kernel
ii. First steps in the kernel setup code
iii. Video mode initialization and transition to protected mode
iv. Transition to 64-bit mode
v. Kernel decompression
3. Initialization
i. First steps in the kernel
ii. Early interrupts handler
iii. Last preparations before the kernel entry point
4. Memory management
i. Memblock
5. Data Structures in the Linux Kernel
i. Doubly linked list
6. Theory
i. Paging
ii. Elf64
iii. Per-CPU variables
iv. Lockdep
v. CPUID
vi. MSR
7. Misc
i. Kernel building and instalation
ii. Write and Submit your first Linux kernel Patch
iii. Data types in the kernel
8. Useful links
9. Contributors
linux-insides
linux-internals
A series of posts about the linux kernel and its insides.
The goal is simple - to share my modest knowledge about the internals of the linux kernel and help people who are
interested in the linux kernel, and other low-level subject matter.
Questions/Suggestions: Feel free about any questions or suggestions by pinging me at twitter @0xAX, adding issue or
just drop me email.
Support
Support If you like linux-insides you can support me with:
Contributions
Feel free to create issues or create pull-requests if you find any issues or my English is poor.
Please read CONTRIBUTING.md before pushing any changes.
Author
@0xAX
linux-insides
Booting
linux-insides
IP 0xfff0
CS selector 0xf000
CS base 0xffff0000
The processor starts working in real mode now and we need to make a little retreat for understanding memory
segmentation in this mode. Real mode is supported in all x86-compatible processors, from 8086 to modern Intel 64-bit
CPUs. The 8086 processor had a 20-bit address bus, which means that it could work with 0-2^20 bytes address space (1
megabyte). But it only had 16-bit registers, and with 16-bit registers the maximum address is 2^16 or 0xffff (64 kilobytes).
Memory segmentation was used to make use of all of the address space. All memory was divided into small, fixed-size
segments of 65535 bytes, or 64 KB. Since we cannot address memory behind 64 KB with 16 bit registers, another method
to do it was devised. An address consists of two parts: the beginning address of the segment and the offset from the
beginning of this segment. To get a physical address in memory, we need to multiply the segment part by 16 and add the
offset part:
From bootloader to kernel
linux-insides
For example CS:IP is 0x2000:0x0010 . The corresponding physical address will be:
But if we take the biggest segment part and offset: 0xffff:0xffff , it will be:
which is 65519 bytes over first megabyte. Since only one megabyte is accessible in real mode, 0x10ffef becomes
0x00ffef with disabled A20.
Ok, now we know about real mode and memory addressing. Let's get back to register values after reset.
CS register consists of two parts: the visible segment selector and hidden base address. We know predefined CS base
0xffff0000:0xfff0
In this way starting address formed by adding the base address to the value in the EIP register:
We get 0xfffffff0 which is 4GB - 16 bytes. This point is the Reset vector. This is the memory location at which CPU
expects to find the first instruction to execute after reset. It contains a jump instruction which usually points to the BIOS
entry point. For example, if we look in coreboot source code, we will see it:
.section ".reset"
.code16
.globl reset_vector
reset_vector:
.byte 0xe9
.int _start - ( . + 2 )
...
We can see here jump instruction opcode - 0xe9 to the address _start - ( . + 2) . And we can see that reset section is
16 bytes and starts at 0xfffffff0 :
SECTIONS {
_ROMTOP = 0xfffffff0;
. = _ROMTOP;
.reset . : {
*(.reset)
. = 15 ;
BYTE(0x00);
}
}
linux-insides
Now the BIOS has started to work. After initializing and checking the hardware, it needs to find a bootable device. A boot
order is stored in the BIOS configuration, controlling which devices the kernel attempts to boot. In the case of attempting to
boot a hard drive, the BIOS tries to find a boot sector. On hard drives partitioned with an MBR partition layout, the boot
sector is stored in the first 446 bytes of the first sector (512 bytes). The final two bytes of the first sector are 0x55 and
0xaa which signals the BIOS that the device as bootable. For example:
;
; Note: this example written with Intel syntax
;
[BITS 16]
[ORG 0x7c00]
boot:
mov al, '!'
mov ah, 0x0e
mov bh, 0x00
mov bl, 0x07
int 0x10
jmp $
times 510-($-$$) db 0
db 0x55
db 0xaa
This will instruct QEMU to use the boot binary we just built as a disk image. Since the binary generated by the assembly
code above fulfills the requirements of the boot sector (the origin is set to 0x7c00, and we end with the magic sequence),
QEMU will treat the binary as the master boot record of a disk image.
We will see:
linux-insides
In this example we can see that this code will be executed in 16 bit real mode and will start at 0x7c00 in memory. After the
start it calls the 0x10 interrupt which just prints ! symbol. It fills rest of 510 bytes with zeros and finish with two magic
bytes 0xaa and 0x55 .
Although you can see binary dump of it with objdump util:
A real-world boot sector has code for continuing the boot process and the partition table... instead of a bunch of 0's and an
exclamation point :) Ok, so, from this moment BIOS handed control to the bootloader and we can go ahead.
NOTE: as you can read above the CPU is in real mode. In real mode, calculating the physical address in memory is as
follows:
as I wrote above. But we have only 16 bit general purpose registers. The maximum value of 16 bit register is: 0xffff ; So if
we take the biggest values, it will be:
Where 0x10ffef is equal to 1mb + 64KB - 16b . But a 8086 processor, which was first processor with real mode, had 20 bit
address line, and 2^20 = 1048576.0 is 1MB, so it means that actually available memory amount is 1MB.
General real mode's memory map is:
But stop, at the beginning of post I wrote that first instruction executed by the CPU is located at address 0xfffffff0 , which
is much bigger than 0xfffff (1MB). How can CPU access it in real mode? As I write about and you can read in coreboot
documentation:
Bootloader
There are a number of bootloaders which can boot Linux, such as GRUB 2 and syslinux. The Linux kernel has a Boot
linux-insides
protocol which specifies the requirements for bootloaders to implement Linux support. This example will describe GRUB 2.
Now that the BIOS has chosen a boot device and transferred control to the boot sector code, execution starts from
boot.img. This code is very simple due to the limited amount of space available, and contains a pointer that it uses to jump
to the location of GRUB 2's core image. The core image begins with diskboot.img, which is usually stored immediately after
the first sector in the unused space before the first partition. The above code loads the rest of the core image into memory,
which contains GRUB 2's kernel and drivers for handling filesystems. After loading the rest of the core image, it executes
grub_main.
grub_main initializes console, gets base address for modules, sets root device, loads/parses grub configuration file, loads
modules etc... At the end of execution, grub_main moves grub to normal mode. grub_normal_execute (from grubcore/normal/main.c ) completes last preparation and shows a menu for selecting an operating system. When we select one
of grub menu entries, grub_menu_execute_entry begins to be executed, which executes grub boot command. It starts to
boot operating system.
As we can read in the kernel boot protocol, the bootloader must read and fill some fields of kernel setup header which
starts at 0x01f1 offset from the kernel setup code. Kernel header arch/x86/boot/header.S starts from:
.globl hdr
hdr:
setup_sects: .byte 0
root_flags: .word ROOT_RDONLY
syssize: .long 0
ram_size: .word 0
vid_mode: .word SVGA_MODE
root_dev: .word 0
boot_flag: .word 0xAA55
The bootloader must fill this and the rest of the headers (only marked as write in the linux boot protocol, for example this)
with values which it either got from command line or calculated. We will not see description and explanation of all fields of
kernel setup header, we will get back to it when kernel uses it. Anyway, you can find description of any field in the boot
protocol.
As we can see in kernel boot protocol, the memory map will be the following after kernel loading:
| Protected-mode kernel |
100000 +------------------------+
| I/O memory hole |
0A0000 +------------------------+
| Reserved for BIOS | Leave as much as possible unused
~ ~
| Command line | (Can also be below the X+10000 mark)
X+10000 +------------------------+
| Stack/heap | For use by the kernel real-mode code.
X+08000 +------------------------+
| Kernel setup | The kernel real-mode code.
| Kernel boot sector | The kernel legacy boot sector.
X +------------------------+
| Boot loader |
So after the bootloader transferred control to the kernel, it starts somewhere at:
0x1000 + X + sizeof(KernelBootSector) + 1
where X is the address kernel bootsector loaded. In my case X is 0x10000 (), we can see it in memory dump:
linux-insides
Ok, bootloader loaded linux kernel into memory, filled header fields and jumped to it. Now we can move directly to the
kernel setup code.
qemu-system-x86_64 vmlinuz-3.18-generic
Actually header.S starts from MZ (see image above), error message printing and following PE header:
#ifdef CONFIG_EFI_STUB
10
linux-insides
It needs this for loading operating system with UEFI. Here we will not see how it works (will look into it in the next parts).
So actual kernel setup entry point is:
Bootloader (grub2 and others) knows about this point ( 0x200 offset from MZ ) and makes a jump directly to this point,
despite the fact that header.S starts from .bstext section which prints error message:
//
// arch/x86/boot/setup.ld
//
. = 0; // current position
.bstext : { *(.bstext) } // put .bstext section to position 0
.bsdata : { *(.bsdata) }
.globl _start
_start:
.byte 0xeb
.byte start_of_setup-1f
1:
//
// rest of the header
//
Here we can see jmp instruction opcode - 0xeb to the start_of_setup-1f point. Nf notation means following: 2f refers
to the next local 2: label. In our case it is label 1 which goes right after jump. It contains rest of setup header and right
after setup header we can see .entrytext section which starts at start_of_setup label.
Actually it's first code which starts to execute besides previous jump instruction. After kernel setup got the control from
bootloader, first jmp instruction is located at 0x200 (first 512 bytes) offset from the start of kernel real mode. This we can
read in linux kernel boot protocol and also see in grub2 source code:
It means that segment registers will have following values after kernel setup starts to work:
fs = es = ds = ss = 0x1000
cs = 0x1020
11
linux-insides
As i wrote above, grub2 loads kernel setup code at 0x10000 address and cs at 0x1020 because execution doesn't start
from the start of file, but from:
_start:
.byte 0xeb
.byte start_of_setup-1f
jump, which is 512 bytes offset from the 4d 5a. Also need to align cs from 0x10200 to 0x10000 as all other segment
registers. After that we setup stack:
pushw %ds
pushw $6f
lretw
push ds value to stack, and address of 6 label and execute lretw instruction. When we call lretw , it loads address of 6
label to instruction pointer register and cs with value of ds . After it we will have ds and cs with the same values.
Stack setup
Actually, almost all of the setup code is preparation for C language environment in the real mode. The next step is checking
of ss register value and making of correct stack if ss is wrong:
12
linux-insides
Here we can see aligning of dx (contains sp given by bootloader) to 4 bytes and checking that it is not zero. If it is zero
we put 0xfffc (4 byte aligned address before maximum segment size - 64 KB) to dx . If it is not zero we continue to use
sp given by bootloader (0xf7f4 in my case). After this we put ax value to ss which stores correct segment address
0x10000 and set up correct sp . After it we have correct stack:
1. In the second case ( ss != ds ), first of all put _end (address of end of setup code) value in dx . And check loadflags
header field with testb instruction too see if we can use heap or not. loadflags is a bitmask header which is defined
as:
If CAN_USE_HEAP bit is set, put heap_end_ptr to dx which points to _end and add STACK_SIZE (minimal stack size - 512
bytes) to it. After this if dx is not carry, jump to 2 (it will be not carry, dx = _end + 512) label as in previous case and make
correct stack.
13
linux-insides
1. The last case when CAN_USE_HEAP is not set, we just use minimal stack from _end to _end + STACK_SIZE :
Bss setup
The last two steps that need to happen before we can jump to the main C code, are that we need to set up the bss area,
and check the "magic" signature. Firstly, signature checking:
This simply consists of comparing the setup_sig against the magic number 0x5a5aaa55 ; if they are not equal, a fatal error is
reported.
But if the magic number matches, knowing we have a set of correct segment registers, and a stack, we need only setup the
bss section before jumping into the C code.
The bss section is used for storing statically allocated, uninitialized, data. Linux carefully ensures this area of memory is
first blanked, using the following code:
14
linux-insides
First of all the __bss_start address is moved into di , and the _end + 3 address (+3 - aligns to 4 bytes) is moved into cx .
The eax register is cleared (using an xor instruction), and the bss section size ( cx - di ) is calculated and put into cx .
Then, cx is divided by four (the size of a 'word'), and the stosl instruction is repeatedly used, storing the value of eax
(zero) into the address pointed to by di , and automatically increasing di by four (this occurs until cx reaches zero). The
net effect of this code, is that zeros are written through all words in memory from __bss_start to _end :
Jump to main
That's all, we have stack, bss and now we can jump to main C function:
calll main
which is in arch/x86/boot/main.c. What will be there? We will see it in the next part.
Conclusion
This is the end of the first part about linux kernel internals. If you have questions or suggestions, ping me in twitter 0xAX,
drop me email or just create issue. In the next part we will see first C code which executes in linux kernel setup,
implementation of memory routines as memset, memcpy, earlyprintk implementation and early console initialization and
many more.
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 PR to linux-internals.
Links
Intel 80386 programmer's reference manual 1986
Minimal Boot Loader for Intel Architecture
8086
80386
Reset vector
Real mode
Linux kernel boot protocol
CoreBoot developer manual
Ralf Brown's Interrupt List
Power supply
From bootloader to kernel
15
linux-insides
16
linux-insides
Protected mode
Before we can move to the native Intel64 Long mode, the kernel must switch the CPU into protected mode. What is the
protected mode? The Protected mode was first added to the x86 architecture in 1982 and was the main mode of Intel
processors from 80286 processor until Intel 64 and long mode. The Main reason to move away from the real mode that
there is very limited access to the RAM. As you can remember from the previous part, there is only 2^20 bytes or 1
megabyte, sometimes even only 640 kilobytes.
Protected mode brought many changes, but the main is a different memory management.The 24-bit address bus was
replaced with a 32-bit address bus. It allows to access to 4 gigabytes of physical adress space. Also paging support was
added which we will see in the next parts.
Memory management in the protected mode is divided into two, almost independent parts:
Segmentation
Paging
Here we can only see segmentation. As you can read in the previous part, addresses consist of two parts in the real mode:
Base address of segment
Offset from the segment base
And we can get the physical address if we know these two parts by:
Memory segmentation was completely redone in the protected mode. There are no 64 kilobytes fixed-size segments. All
memory segments are described by the Global Descriptor Table (GDT) instead of segment registers.The GDT is a
structure which resides in memory. There is no fixed place for it in memory, but its address is stored in the special GDTR
register. Later we will see the GDT loading in the linux kernel code. There will be an operation for loading it into memory,
something like:
lgdt gdt
where the lgdt instruction loads the base address and limit of global descriptor table to the GDTR register. GDTR is a 48bit register and consists of two parts:
size - 16 bit of global descriptor table;
address - 32-bit of the global descriptor table.
17
linux-insides
The global descriptor table contains descriptors which describe memory segments. Every descriptor is 64-bit. General
scheme of a descriptor is:
31 24 19 16 7 0
-----------------------------------------------------------| | |B| |A| | | | |0|E|W|A| |
| BASE 31..24 |G|/|L|V| LIMIT |P|DPL|S| TYPE | BASE 23:16 | 4
| | |D| |L| 19..16| | | |1|C|R|A| |
-----------------------------------------------------------| | |
| BASE 15..0 | LIMIT 15..0 | 0
| | |
------------------------------------------------------------
Don't worry, i know that it looks a little scary after real mode, but it's easy. Let's look on it closer:
1. Limit (0 - 15 bits) defines a length_of_segment - 1 . It depends on G bit.
if G (55-bit) is 0 and segment limit is 0 - size of segment - 1 byte
if G is 1 and segment limit is 0 - size of segment 4096 bytes
if G is 0 and segment limit is 0xfffff - size of segment 1 megabyte
if G is 1 and segment limit is 0xfffff - size of segment 4 gigabytes
2. Base (0-15, 32-39 and 56-63 bits) defines the physical address of the segment's start address.
3. Type (40-47 bits) defines the type of segment and kinds of access to it. Next S flag specifies descriptor type. if S is 0
- this segment is a system segment, if S is 1 - code or data segment (Stack segments are data segments which must
be read/write segments). If the segment is a code or data segment, it can be one of the following access types:
As we can see the first bit is 0 for data segment and 1 for code segment. Next three bits EWA are expansion direction
(expand-down segment will grow down, you can read more about it here), write enable and accessed for data segments.
CRA bits are conforming (A transfer of execution into a more-privileged conforming segment allows execution to continue at
18
linux-insides
4. L flag - indicates whether a code segment contains native 64-bit code. If 1 then the code segment executes in 64 bit
mode.
5. B/D flag - default operation size/default stack pointer size and/or upper bound.
Segment registers don't contain the base address of the segment as in the real mode. Instead they contain a special
structure - segment selector . Selector is a 16-bit structure:
Where Index shows the index number of the descriptor in descriptor table. TI shows where to search for the descriptor:
in the global descriptor table or local. And RPL is the privilege level.
Every segment register has a visible and hidden part. When a selector is loaded into one of the segment registers, it will be
stored into the visible part. The hidden part contains the base address, limit and access information of the descriptor which
pointed to the selector. The following steps are nneded to get the physical address in the protected mode:
Segment selector must be loaded in one of the segment registers;
CPU tries to find (by GDT address + Index from selector) and load the descriptor into the hidden part of segment
register;
Base address (from segment descriptor) + offset will be the linear address of the segment which is the physical
address (if paging is disabled).
Schematically it will look like this:
19
linux-insides
THe algorithm for the transition from the real mode into protected mode is:
Disable interrupts;
Describe and load GDT with lgdt instruction;
Set PE (Protection Enable) bit in CR0 (Control Register 0);
Jump to protected mode code;
We will see the transition to the protected mode in the linux kernel in the next part, but before we can move to protected
mode, we need to do some preparations.
Let's look on arch/x86/boot/main.c. We can see some routines there which make keyboard initialization, heap initialization,
etc... Let's look into it.
20
linux-insides
Note that it copies hdr with memcpy function which is defined in the copy.S source file. Let's have a look inside:
GLOBAL(memcpy)
pushw %si
pushw %di
movw %ax, %di
movw %dx, %si
pushw %cx
shrw $2, %cx
rep; movsl
popw %cx
andw $3, %cx
rep; movsb
popw %di
popw %si
retl
ENDPROC(memcpy)
Yeah, we just moved to C code and now assembly again :) First of all we can see that memcpy and other routines which are
defined here, start and end with the two macros: GLOBAL and ENDPROC . GLOBAL is described in
arch/x86/include/asm/linkage.h which defines globl directive and the label for it. ENDPROC is described in
include/linux/linkage.h which marks name symbol as function name and ends with the size of the name symbol.
Implementation of the memcpy is easy. At first, it pushes values from si and di registers to the stack because their
values will change in the memcpy , so push it on the stack to preserve their values. memcpy (and other functions in copy.S)
use fastcall calling conventions. So it gets incoming parameters from the ax , dx and cx registers. Calling memcpy
looks like this:
So ax will contain the address of the boot_params.hdr , dx will contain the address of hdr and cx will contain the size of
hdr (all in bytes). memcpy puts the address of boot_params.hdr to the di register and address of hdr to si and saves
the size on the stack. After this it shifts to the right on 2 size (or divide on 4) and copies from si to di by 4 bytes. After it
we restore the size of hdr again, align it by 4 bytes and copy the rest of bytes from si to di byte by byte (if there is
rest). Restore si and di values from the stack in the end and after this copying is finished.
Console initialization
After the hdr is copied into boot_params.hdr , the next step is console initialization by calling the console_init function
which is defined in arch/x86/boot/early_serial_console.c.
It tries to find the earlyprintk option in the command line and if the search was successful, it parses the port address and
baud rate of the serial port and initializes the serial port. Value of earlyprintk command line option can be one of the:
* serial,0x3f8,115200
* serial,ttyS0,115200
* ttyS0,115200
if (cmdline_find_option_bool("debug"))
puts("early console in setup code\n");
puts definition is in tty.c. As we can see it prints character by character in the loop by calling The putchar function. Let's
21
linux-insides
__attribute__((section(".inittext"))) means that this code will be in the .inittext section. We can find it in the linker file
setup.ld.
First of all, put_char checks for the \n symbol and if it is found, prints \r before. After that it outputs the character on the
VGA screen by calling the BIOS with the 0x10 interrupt call:
Here initregs takes the biosregs structure and first fills biosregs with zeros using the memset function and then fills it
with register values.
GLOBAL(memset)
pushw %di
movw %ax, %di
movzbl %dl, %eax
imull $0x01010101,%eax
pushw %cx
shrw $2, %cx
rep; stosl
popw %cx
andw $3, %cx
rep; stosb
popw %di
retl
ENDPROC(memset)
As you can read above, it uses fastcall calling conventions like the memcpy function, which means that the function gets
parameters from ax , dx and cx registers.
22
linux-insides
Generally memset is like a memcpy implementation. It saves the value of the di register on the stack and puts the ax
value into di which is the address of the biosregs structure. Next is the movzbl instruction, which copies the dl value to
the low 2 bytes of the eax register. The remaining 2 high bytes of eax will be filled with zeros.
The next instruction multiplies eax with 0x01010101 . It needs to because memset will copy 4 bytes at the same time. For
example we need to fill a structure with 0x7 with memset. eax will contain 0x00000007 value in this case. So if we multiply
eax with 0x01010101 , we will get 0x07070707 and now we can copy these 4 bytes into the structure. memset uses rep;
stosl instructions for copying eax into es:di .
The rest of the memset function does almost the same as memcpy .
After that biosregs structure is filled with memset , bios_putchar calls the 0x10 interrupt which prints a character.
Afterwards it checks if the serial port was initialized or not and writes a character there with serial_putchar and inb/outb
instructions if it was set.
Heap initialization
After the stack and bss section were prepared in header.S (see previous part), the kernel needs to initialize the heap with
the init_heap function.
First of all init_heap checks the CAN_USE_HEAP flag from the loadflags kernel setup header and calculates the end of the
stack if this flag was set:
char *stack_end;
if (boot_params.hdr.loadflags & CAN_USE_HEAP) {
asm("leal %P1(%%esp),%0"
: "=r" (stack_end) : "i" (-STACK_SIZE));
From this moment we can use the heap in the kernel setup code. We will see how to use it and how the API for it is
implemented in next posts.
CPU validation
The next step as we can see is cpu validation by validate_cpu from arch/x86/boot/cpu.c.
It calls the check_cpu function and passes cpu level and required cpu level to it and checks that kernel launched at the right
cpu. It checks the cpu's flags, presence of long mode (which we will see more details on in the next parts) for x86_64,
checks the processor's vendor and makes preparation for certain vendors like turning off SSE+SSE2 for AMD if they are
missing and etc...
Memory detection
The next step is memory detection by the detect_memory function. It uses different programming interfaces for memory
detection like 0xe820 , 0xe801 and 0x88 . We will see only the implementation of 0xE820 here. Let's look into the
detect_memory_e820 implementation from the arch/x86/boot/memory.c source file. First of all, detect_memory_e820 function
initializes biosregs structure as we saw above and fills registers with special values for the 0xe820 call:
First steps in the kernel setup code
23
linux-insides
initregs(&ireg);
ireg.ax = 0xe820;
ireg.cx = sizeof buf;
ireg.edx = SMAP;
ireg.di = (size_t)&buf;
The ax register must contain the number of the function (0xe820 in our case), cx register contains size of the buffer
which will contain data about memory, edx must contain the SMAP magic number, es:di must contain the address of the
buffer which will contain memory data and ebx has to be zero.
Next is a loop where data about the memory will be collected. It starts from the call of the 0x15 bios interrupt, which writes
one line from the address allocation table. For getting the next line we need to call this interrupt again (which we do in the
loop). Before the next call ebx must contain the value returned previously:
Ultimately, it does iterations in the loop to collect data from the address allocation table and writes this data into the
e820entry array:
Keyboard initialization
The next step is the initialization of the keyboard with the call of the keyboard_init function. At first keyboard_init
initializes registers using the initregs function and calling the 0x16 interrupt for getting the keyboard status. After this it
calls 0x16 again to set repeat rate and delay.
Querying
The next couple of steps are queries for different parameters. We will not dive into details about these queries, but will be
back to the all of it in the next parts. Let's make a short look on this functions:
The query_mca routine calls the 0x15 BIOS interrupt to get the machine model number, sub-model number, BIOS revision
level, and other hardware-specific attributes:
int query_mca(void)
{
struct biosregs ireg, oreg;
u16 len;
24
linux-insides
initregs(&ireg);
ireg.ah = 0xc0;
intcall(0x15, &ireg, &oreg);
if (oreg.eflags & X86_EFLAGS_CF)
return -1; /* No MCA present */
set_fs(oreg.es);
len = rdfs16(oreg.bx);
if (len > sizeof(boot_params.sys_desc_table))
len = sizeof(boot_params.sys_desc_table);
copy_from_fs(&boot_params.sys_desc_table, oreg.bx, len);
return 0;
}
It fills the ah register with 0xc0 and calls the 0x15 BIOS interruption. After the interrupt execution it checks the carry flag
and if it is set to 1, BIOS doesn't support MCA . If carry flag is set to 0, ES:BX will contain a pointer to the system information
table, which looks like this:
Next we call the set_fs routine and pass the value of the es register to it. Implementation of set_fs is pretty simple:
There is inline assembly which gets the value of the seg parameter and puts it into the fs register. There are many
functions in boot.h like set_fs , for example set_gs , fs , gs for reading a value in it and etc...
In the end of query_mca it just copies the table which pointed to by es:bx to the boot_params.sys_desc_table .
The next is getting Intel SpeedStep information with the call of query_ist function. First of all it checks CPU level and if it is
correct, calls 0x15 for getting info and saves the result to boot_params .
The following query_apm_bios function gets Advanced Power Management information from the BIOS. query_apm_bios
calls the 0x15 BIOS interruption too, but with ah - 0x53 to check APM installation. After the 0x15 execution,
query_apm_bios functions checks PM signature (it must be 0x504d ), carry flag (it must be 0 if APM supported) and value of
25
linux-insides
The last is the query_edd function, which asks Enhanced Disk Drive information from the BIOS. Let's look into the
query_edd implementation.
First of all it reads the edd option from kernel's command line and if it was set to off then query_edd just returns.
If EDD is enabled, query_edd goes over BIOS-supported hard disks and queries EDD information in the following loop:
where the 0x80 is the first hard drive and the EDD_MBR_SIG_MAX macro is 16. It collects data into the array of edd_info
structures. get_edd_info checks that EDD is present by invoking the 0x13 interrupt with ah as 0x41 and if EDD is
present, get_edd_info again calls the 0x13 interrupt, but with ah as 0x48 and si contianing the address of the buffer
where EDD informantion will be stored.
Conclusion
This is the end of the second part about linux kernel internals. In the next part we will see video mode setting and the rest
of preparations before transition to protected mode and directly transitioning into it.
If you have any questions or suggestions write me a comment or ping me at twitter.
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 PR to linux-internals.
Links
Protected mode
Long mode
How to Use Expand Down Segments on Intel 386 and Later CPUs
earlyprintk documentation
Kernel Parameters
Serial console
Intel SpeedStep
APM
26
linux-insides
EDD specification
Previous part
27
linux-insides
switching into the protected mode and transition into it in this part.
NOTE If you don't know anything about protected mode, you can find some information about it in the previous part. Also
there are a couple of links which can help you.
As i wrote above, we will start from the set_video function which defined in the arch/x86/boot/video.c source code file. We
can see that it starts with getting of video mode from the boot_params.hdr structure:
which we filled in the copy_boot_params function (you can read about it in the previous post). vid_mode is an obligatory field
which filled by the bootloader. You can find information about it in the kernel boot protocol:
vga=<mode>
<mode> here is either an integer (in C notation, either
decimal, octal, or hexadecimal) or one of the strings
"normal" (meaning 0xFFFF), "ext" (meaning 0xFFFE) or "ask"
(meaning 0xFFFD). This value should be entered into the
vid_mode field, as it is used by the kernel before the command
line is parsed.
So we can add vga option to the grub or another bootloader configuration file and it will pass this option to the kernel
command line. This option can have different values as we can read from the description, for example it can be integer
number or ask . If you will pass ask , you see menu like this:
28
linux-insides
which will suggest to select video mode. We will look on it's implementation, but before we must to know about another
things.
If you will read source code of the kernel, you'll see it very often, so it will be good to remember about it.
Heap API
As we got vid_mode from the boot_params.hdr , we can see call of the RESET_HEAP in the set_video function. RESET_HEAP
is a macro which defined in the boot.h and looks as:
If you read second part, you can remember that we initialized the heap with the init_heap function. Since we can use heap,
we have a couple functions for it which defined in the boot.h . They are:
#define RESET_HEAP()...
As we saw just now. It uses for resetting the heap by setting the HEAP variable equal to _end , where _end is just:
29
linux-insides
#define GET_HEAP(type, n) \
((type *)__get_heap(sizeof(type),__alignof__(type),(n)))
Let's try to understand how GET_HEAP works. We can see here that HEAP (which equal to _end after RESET_HEAP() ) is the
address of aligned memory according to a parameter. After it we save memory address from HEAP to the tmp variable,
move HEAP to the end of allocated block and return tmp which is start address of allocated memory.
And the last function is:
which subtracts value of the HEAP from the heap_end (we calculated it in the previous part) and returns 1 if there is enough
memory for n .
That's all. Now we have simple API for heap and can setup video mode.
30
linux-insides
and calls 0x10 BIOS interruption. After interruption successfully executed, it returns row and column in the DL and DH
registers. Row and column will be stored in the orig_x and orig_y fields from the the boot_params.screen_info structure.
After store_cursor_position executed, store_video_mode function will be called. It just gets current video mode and stores
it in the boot_params.screen_info.orig_video_mode .
After this, it checks current video mode and set the video_segment . After the BIOS transfers control to the boot sector, the
following addresses are video memory:
So we set the video_segment variable to 0xb000 if current video mode is MDA, HGC, VGA in monochrome mode or
0xb800 in color mode. After setup of the address of the video segment need to store font size in the
boot_params.screen_info.orig_video_points with:
set_fs(0);
font_size = rdfs16(0x485);
boot_params.screen_info.orig_video_points = font_size;
First of all we put 0 to the FS register with set_fs function. We already saw functions like set_fs in the previous part.
They are all defined in the boot.h. Next we read value which located at address 0x485 (this memory location used to get
the font size) and save font size in the boot_params.screen_info.orig_video_points .
The next we get amount of columns and rows by address 0x44a and stores they in the
boot_params.screen_info.orig_video_cols and boot_params.screen_info.orig_video_lines . After this, execution of the
store_mode_params is finished.
The next we can see save_screen function which just saves screen content to the heap. This function collects all data
which we got in the previous functions like rows and columns amount and etc... to the saved_screen structure, which
defined as:
if (!heap_free(saved.x*saved.y*sizeof(u16)+512))
return;
and allocates space in the heap if it is enough and stores saved_screen in it.
The next call is probe_cards(0) from the arch/x86/boot/video-mode.c. It goes over all video_cards and collects number of
modes provided by the cards. Here is the interesting moment, we can see the loop:
31
linux-insides
but video_cards not declared anywhere. Answer is simple: Every video mode presented in the x86 kernel setup code has
definition like this:
struct card_info {
const char *card_name;
int (*set_mode)(struct mode_info *mode);
int (*probe)(void);
struct mode_info *modes;
int nmodes;
int unsafe;
u16 xmode_first;
u16 xmode_n;
};
is in the .videocards segment. Let's look on the arch/x86/boot/setup.ld linker file, we can see there:
.videocards : {
video_cards = .;
*(.videocards)
video_cards_end = .;
}
It means that video_cards is just memory address and all card_info structures are placed in this segment. It means that
all card_info structures are placed between video_cards and video_cards_end , so we can use it in a loop to go over all of
it. After probe_cards executed we have all structures like static __videocard video_vga with filled nmodes (number of
video modes).
After that probe_cards executed, we move to the main loop in the setup_video function. There is infinite loop which tries to
setup video mode with the set_mode function or prints menu if we passed vid_mode=ask to the kernel command line or
video mode is undefined.
The set_mode function is defined in the video-mode.c and gets only one parameter - mode which is number of video mode
(we got it or from the menu or in the start of the setup_video , from kernel setup header).
set_mode function checks the mode and calls raw_set_mode function. The raw_set_mode calls set_mode function for
selected card. We can get access to this function from the card_info structure, every video mode defines this structure
with filled value which depends on video mode (for example for vga it is video_vga.set_mode function, see above example
of card_info structure for vga ). video_vga.set_mode is vga_set_mode , which checks vga mode and call function depend
on mode:
32
linux-insides
force_x = mode->x;
force_y = mode->y;
switch (mode->mode) {
case VIDEO_80x25:
break;
case VIDEO_8POINT:
vga_set_8font();
break;
case VIDEO_80x43:
vga_set_80x43();
break;
case VIDEO_80x28:
vga_set_14font();
break;
case VIDEO_80x30:
vga_set_80x30();
break;
case VIDEO_80x34:
vga_set_80x34();
break;
case VIDEO_80x60:
vga_set_80x60();
break;
}
return 0;
}
Every function which setups video mode, just call 0x10 BIOS interruption with certain value in the AH register. After this
we have set video mode and now we can switch to the protected mode.
go_to_protected_mode defined in the arch/x86/boot/pm.c. It contains some functions which make last preparations before
we can jump into protected mode, so let's look on it and try to understand what they do and how it works.
At first we see call of realmode_switch_hook function in the go_to_protected_mode . This function invokes real mode switch
hook if it is present and disables NMI. Hooks are used if bootloader runs in a hostile environment. More about hooks you
can read in the boot protocol (see ADVANCED BOOT LOADER HOOKS). readlmode_swtich hook presents pointer to the
16-bit real mode far subroutine which disables non-maskable interruptions. After we checked realmode_switch hook (it
doesn't present for me), there is disabling of non-maskable interruptions:
asm volatile("cli");
outb(0x80, 0x70);
io_delay();
At first there is inline assembly instruction with cli instruction which clears the interrupt flag ( IF ), after this external
interrupts disabled. Next line disables NMI (non-maskable interruption). Interruption is a signal to the CPU which emitted by
hardware or software. After getting signal, CPU stops to execute current instructions sequence and transfers control to the
interruption handler. After interruption handler finished it's work, it transfers control to the interrupted instruction. Nonmaskable interruptions (NMI) - interruptions which are always processed, independently of permission. We will not dive into
details interruptions now, but will back to it in the next posts.
Let's back to the code. We can see that second line is writing 0x80 (disabled bit) byte to the 0x70 (CMOS Address
register). And call the io_delay function after it. io_delay which initiates small delay and looks like:
33
linux-insides
Outputting any byte to the port 0x80 should delay exactly 1 microsecond. Sow we can write any value (value from AL
register in our case) to the 0x80 port. After this delay realmode_switch_hook function finished execution and we can move
to the next function.
The next function is enable_a20 , which enables A20 line. This function defined in the arch/x86/boot/a20.c and it tries to
enable A20 gate with different methods. The first is a20_test_short function which checks is A20 already enabled or not
with a20_test function:
First of all we put 0x0000 to the FS register and 0xffff to the GS register. Next we read value by address A20_TEST_ADDR
(it is 0x200 ) and put this value into saved variable and ctr . Next we write updated ctr value into fs:gs with wrfs32
function, make little delay, and read value into the GS register by address A20_TEST_ADDR+0x10 , if it's not zero we already
have enabled a20 line. If A20 is disabled, we try to enabled it with different method which you can find in the a20.c . For
example with call of 0x15 BIOS interruption with AH=0x2041 and etc... If enabled_a20 function finished with fail, printed
error message and called function die . You can remember it from the first source code file where we started arch/x86/boot/header.S:
die:
hlt
jmp die
.size die, .-die
After the a20 gate successfully enabled, there are reset coprocessor and mask all interrupts. And after all of this
preparations, we can see actual transition into protected mode.
34
linux-insides
{
static const struct gdt_ptr null_idt = {0, 0};
asm volatile("lidtl %0" : : "m" (null_idt));
}
which setups Interrupt descriptor table (describes interrupt handlers and etc...). For now IDT is not installed (we will see
it later), but now we just load IDT with lidtl instruction. null_idt contains address and size of IDT, but now they are just
zero. null_idt is a gdt_ptr structure, it looks:
struct gdt_ptr {
u16 len;
u32 ptr;
} __attribute__((packed));
where we can see - 16-bit length of IDT and 32-bit pointer to it (More details about IDT and interruptions we will see in the
next posts). __attribute__((packed)) means here that size of gdt_ptr minimum as required. So size of the gdt_ptr will
be 6 bytes here or 48 bits. (Next we will load pointer to the gdt_ptr to the GDTR register and you can remember from the
previous post that it is 48-bits size).
For code, data and TSS (Task state segment). We will not use task state segment for now, it was added there to make Intel
VT happy as we can see in the comment line (if you're interesting you can find commit which describes it - here). Let's look
on boot_gdt . First of all we can note that it has __attribute__((aligned(16))) attribute. It means that this structure will be
aligned by 16 bytes. Let's look on simple example:
#include <stdio.h>
struct aligned {
int a;
}__attribute__((aligned(16)));
struct nonaligned {
int b;
};
int main(void)
{
struct aligned a;
struct nonaligned na;
printf("Not aligned - %zu \n", sizeof(na));
printf("Aligned - %zu \n", sizeof(a));
return 0;
}
Technically structure which contains one int field, must be 4 bytes, but here aligned structure will be 16 bytes:
Video mode initialization and transition to protected mode
35
linux-insides
GDT_ENTRY_BOOT_CS has index - 2 here, GDT_ENTRY_BOOT_DS is GDT_ENTRY_BOOT_CS + 1 and etc... It starts from 2, because first
is a mandatory null descriptor (index - 0) and the second is not used (index - 1).
GDT_ENTRY is a macro which takes flags, base and limit and builds GDT entry. For example let's look on the code segment
in binary. Let's try to understand what every bit means. We will go through all bits from left to right:
1 - (G) granularity bit
1 - (D) if 0 16-bit segment; 1 = 32-bit segment
0 - (L) executed in 64 bit mode if 1
0 - (AVL) available for use by system software
0000 - 4 bit length 19:16 bits in the descriptor
1 - (P) segment presence in memory
00 - (DPL) - privilege level, 0 is the highest privilege
1 - (S) code or data segment, not a system segment
101 - segment type execute/read/
1 - accessed bit
You can know more about every bit in the previous post or in the Intel 64 and IA-32 Architectures Software Developers
Manuals 3A.
After this we get length of GDT with:
gdt.len = sizeof(boot_gdt)-1;
We get size of boot_gdt and subtract 1 (the last valid address in the GDT).
Next we get pointer to the GDT with:
Here we just get address of boot_gdt and add it to address of data segment shifted on 4 (remember we're in the real mode
now).
In the last we execute lgdtl instruction to load GDT into GDTR register:
36
linux-insides
As you can read above GDT_ENTRY_BOOT_CS has index 2 and every GDT entry is 8 byte, so CS will be 2 * 8 = 16 ,
__BOOT_DS is 24 and etc... Next we set PE (Protection Enable) bit in the CR0 control register:
where 0x66 is the operand-size prefix, which allows to mix 16-bit and 32-bit code, 0xea - is the jump opcode, in_pm32 is
the segment offset and __BOOT_CS is the segment.
After this we are in the protected mode:
.code32
.section ".text32","ax"
Let's look on the first steps in the protected mode. First of all we setup data segment with:
37
linux-insides
if you read with attention, you can remember that we saved $__BOOT_DS in the cx register. Now we fill with it all segment
registers besides cs ( cs is already __BOOT_CS ). Next we zero out all general purpose registers besides eax with:
jmpl *%eax
remember that eax contains address of the 32-bit entry (we passed it as first parameter into protected_mode_jump ). That's
all we're in the protected mode and stops before it's entry point. What is happening after we joined in the 32-bit entry point
we will see in the next part.
Conclusion
It is the end of the third part about linux kernel internals. In next part we will see first steps in the protected mode and
transition into the long mode.
If you will have any questions or suggestions write me a comment or ping me at twitter.
Please note that English is not my first language, And I am really sorry for any inconvenience. If you will find any
mistakes please send me PR to linux-internals.
Links
VGA
VESA BIOS Extensions
Data structure alignment
Non-maskable interrupt
A20
GCC designated inits
GCC type attributes
Previous part
38
linux-insides
jmpl *%eax
Remind that eax register contains the address of the 32-bit entry point. We can read about this point from the linux kernel
x86 boot protocol:
And now we can make sure that it is true. Let's look on registers value in 32-bit entry point:
We can see here that cs register contains - 0x10 (as you can remember from the previous part, it is the second index in
the Global Descriptor Table), eip register is 0x100000 and base address of the all segments include code segment is
zero. So we can get physical address, it will be 0:0x100000 or just 0x100000 , as in boot protocol. Now let's start with 32-bit
entry point.
__HEAD
.code32
ENTRY(startup_32)
....
....
39
linux-insides
....
ENDPROC(startup_32)
First of all why compressed directory? Actually bzimage is a gzipped vmlinux + header + kernel setup code . We saw the
kernel setup code in the all of previous parts. So, the main goal of the head_64.S is to prepare for entering long mode,
enter into it and decompress the kernel. We will see all of these steps besides kernel decompression in this part.
Also you can note that there are two files in the arch/x86/boot/compressed directory:
head_32.S
head_64.S
We will see only head_64.S because we are learning linux kernel for x86_64 . head_32.S even not compiled in our case.
Let's look on the arch/x86/boot/compressed/Makefile, we can see there following target:
Note on $(obj)/head_$(BITS).o . It means that compilation of the head_{32,64}.o depends on value of the $(BITS) . We can
find it in the other Makefile - arch/x86/kernel/Makefile:
ifeq ($(CONFIG_X86_32),y)
BITS := 32
...
...
else
...
...
BITS := 64
endif
__HEAD
.code32
ENTRY(startup_32)
SECTIONS
{
. = 0;
.head.text : {
40
linux-insides
_head = . ;
HEAD_TEXT
_ehead = . ;
}
Note on . = 0; . . is a special variable of linker - location counter. Assigning a value to it, is an offset relative to the offset
of the segment. As we assign zero to it, we can read from comments:
Ok, now we know where we are, and now the best time to look inside the startup_32 function.
In the start of the startup_32 we can see the cld instruction which clears DF flag. After this, string operations like stosb
and other will increment the index registers esi or edi .
The Next we can see the check of KEEP_SEGMENTS flag from loadflags . If you remember we already saw loadflags in the
arch/x86/boot/head.S (there we checked flag CAN_USE_HEAP ). Now we need to check KEEP_SEGMENTS flag. We can find
and if KEEP_SEGMENTS is not set, we need to set ds , ss and es registers to flat segment with base 0. That we do:
remember that __BOOT_DS is 0x18 (index of data segment in the Global Descriptor Table). If KEEP_SEGMENTS is not set, we
jump to the label 1f or update segment registers with __BOOT_DS if this flag is set.
If you read previous the part, you can remember that we already updated segment registers in the
arch/x86/boot/pmjump.S, so why we need to set up it again? Actually linux kernel has also 32-bit boot protocol, so
startup_32 can be first function which will be executed right after a bootloader transfers control to the kernel.
As we checked KEEP_SEGMENTS flag and put the correct value to the segment registers, next step is calculate difference
between where we loaded and compiled to run (remember that setup.ld.S contains . = 0 at the start of the section):
Here esi register contains address of the boot_params structure. boot_params contains special field scratch with offset
0x1e4 . We are getting address of the scratch field + 4 bytes and put it to the esp register (we will use it as stack for
these calculations). After this we can see call instruction and 1f label as operand of it. What does it mean call ? It means
Transition to 64-bit mode
41
linux-insides
that it pushes ebp value in the stack, next esp value, next function arguments and return address in the end. After this we
pop return address from the stack into ebp register ( ebp will contain return address) and subtract address of the previous
label 1 .
After this we have address where we loaded in the ebp - 0x100000 .
Now we can setup the stack and verify CPU that it has support of the long mode and SSE.
boots_stack_end is in the .bss section, we can see definition of it in the end of head_64.S :
.bss
.balign 4
boot_heap:
.fill BOOT_HEAP_SIZE, 1, 0
boot_stack:
.fill BOOT_STACK_SIZE, 1, 0
boot_stack_end:
First of all we put address of the boot_stack_end into eax register and add to it value of the ebp (remember that ebp now
contains address where we loaded - 0x100000 ). In the end we just put eax value into esp and that's all, we have correct
stack pointer.
The next step is CPU verification. Need to check that CPU has support of long mode and SSE :
call verify_cpu
testl %eax, %eax
jnz no_longmode
It just calls verify_cpu function from the arch/x86/kernel/verify_cpu.S which contains a couple of calls of the cpuid
instruction. cpuid is instruction which is used for getting information about processor. In our case it checks long mode and
SSE support and returns 0 on success or 1 on fail in the eax register.
If eax is not zero, we jump to the no_longmode label which just stops the CPU with hlt instruction while any hardware
interrupt will not happen.
no_longmode:
1:
hlt
jmp 1b
We set stack, cheked CPU and now can move on the next step.
42
linux-insides
The next step is calculating relocation address for decompression if need. We can see following assembly code:
#ifdef CONFIG_RELOCATABLE
movl %ebp, %ebx
movl BP_kernel_alignment(%esi), %eax
decl %eax
addl %eax, %ebx
notl %eax
andl %eax, %ebx
cmpl $LOAD_PHYSICAL_ADDR, %ebx
jge 1f
#endif
movl $LOAD_PHYSICAL_ADDR, %ebx
1:
addl $z_extract_offset, %ebx
First of all note on CONFIG_RELOCATABLE macro. This configuration option defined in the arch/x86/Kconfig and as we can read
from it's description:
In short words, this code calculates address where to move kernel for decompression put it to ebx register if the kernel is
relocatable or bzimage will decompress itself above LOAD_PHYSICAL_ADDR .
Let's look on the code. If we have CONFIG_RELOCATABLE=n in our kernel configuration file, it just puts LOAD_PHYSICAL_ADDR to
the ebx register and adds z_extract_offset to ebx . As ebx is zero for now, it will contain z_extract_offset . Now let's try
to understand these two values.
LOAD_PHYSICAL_ADDR is the macro which defined in the arch/x86/include/asm/boot.h and it looks like this:
Here we calculates aligned address where kernel is loaded ( 0x100000 or 1 megabyte in our case). PHYSICAL_ALIGN is an
alignment value to which kernel should be aligned, it ranges from 0x200000 to 0x1000000 for x86_64. With the default
values we will get 2 megabytes in the LOAD_PHYSICAL_ADDR :
After that we got alignment unit, we adds z_extract_offset (which is 0xe5c000 in my case) to the 2 megabytes. In the end
we will get 17154048 byte offset. You can find z_extract_offset in the arch/x86/boot/compressed/piggy.S . This file
generated in compile time by mkpiggy program.
Now let's try to understand the code if CONFIG_RELOCATABLE is y .
First of all we put ebp value to the ebx (remember that ebp contains address where we loaded) and kernel_alignment
field from kernel setup header to the eax register. kernel_alignment is a physical address of alignment required for the
kernel. Next we do the same as in the previous case (when kernel is not relocatable), but we just use value of the
kernel_alignment field as align unit and ebx (address where we loaded) as base address instead of
43
linux-insides
After that we calculated address, we compare it with LOAD_PHYSICAL_ADDR and add z_extract_offset to it again or put
LOAD_PHYSICAL_ADDR in the ebx if calculated address is less than we need.
After all of this calculation we will have ebp which contains address where we loaded and ebx with address where to
move kernel for decompression.
Here we put the address from ebp with gdt offset to eax register, next we put this address into ebp with offset gdt+2
and load Global Descriptor Table with the lgdt instruction.
Let's look on Global Descriptor Table definition:
.data
gdt:
.word gdt_end - gdt
.long gdt
.word 0
.quad 0x0000000000000000 /* NULL descriptor */
.quad 0x00af9a000000ffff /* __KERNEL_CS */
.quad 0x00cf92000000ffff /* __KERNEL_DS */
.quad 0x0080890000000000 /* TS descriptor */
.quad 0x0000000000000000 /* TS continued */
It defined in the same file in the .data section. It contains 5 descriptors: null descriptor, for kernel code segment, kernel
data segment and two task descriptors. We already loaded GDT in the previous part, we're doing almost the same here, but
descriptors with CS.L = 1 and CS.D = 0 for execution in the 64 bit mode.
After we have loaded Global Descriptor Table, we must enable PAE mode with putting value of cr4 register into eax ,
setting 5 bit in it and load it again in the cr4 :
Now we finished almost with all preparations before we can move into 64-bit mode. The last step is to build page tables, but
before some information about long mode.
Long mode
Long mode is the native mode for x86_64 processors. First of all let's look on some difference between x86_64 and x86 .
It provides some features as:
44
linux-insides
New 8 general purpose registers from r8 to r15 + all general purpose registers are 64-bit now
64-bit instruction pointer - RIP
New operating mode - Long mode
64-Bit Addresses and Operands
RIP Relative Addressing (we will see example if it in the next parts)
Long mode is an extension of legacy protected mode. It consists from two sub-modes:
64-bit mode
compatibility mode
To switch into 64-bit mode we need to do following things:
enable PAE (we already did it, see above)
build page tables and load the address of top level page table into cr3 register
enable EFER.LME
enable paging
We already enabled PAE with setting the PAE bit in the cr4 register. Now let's look on paging.
We put address which stored in ebx (remember that ebx contains the address where to relocate kernel for
decompression) with pgtable offset to the edi register. pgtable defined in the end of head_64.S and looks:
.section ".pgtable","a",@nobits
.balign 4096
pgtable:
.fill 6*4096, 1, 0
It is in the .pgtable section and it size is 24 kilobytes. After we put address to the edi , we zero out eax register and
writes zeros to the buffer with rep stosl instruction.
Now we can build top level page table - PML4 with:
45
linux-insides
Here we get address which stored in the ebx with pgtable offset and put it to the edi . Next we put this address with
offset 0x1007 to the eax register. 0x1007 is 4096 bytes (size of the PML4) + 7 (PML4 entry flags - PRESENT+RW+USER ) and
puts eax to the edi . After this manipulations edi will contain the address of the first Page Directory Pointer Entry with
flags - PRESENT+RW+USER .
In the next step we build 4 Page Directory entry in the Page Directory Pointer table, where first entry will be with 0x7 flags
and other with 0x8 :
We put base address of the page directory pointer table to the edi and address of the first page directory pointer entry to
the eax . Put 4 to the ecx register, it will be counter in the following loop and write the address of the first page directory
pointer table entry to the edi register.
After this edi will contain address of the first page directory pointer entry with flags 0x7 . Next we just calculates address
of following page directory pointer entries with flags 0x8 and writes their addresses to the edi .
The next step is building of 2048 page table entries by 2 megabytes:
Here we do almost the same that in the previous example, just first entry will be with flags - $0x00000183 - PRESENT + WRITE
+ MBZ and all another with 0x8 . In the end we will have 2048 pages by 2 megabytes.
Our early page table structure are done, it maps 4 gigabytes of memory and now we can put address of the high-level page
table - PML4 to the cr3 control register:
46
linux-insides
Here we put MSR_EFER flag (which defined in the arch/x86/include/uapi/asm/msr-index.h) to the ecx register and call
rdmsr instruction which reads MSR register. After rdmsr executed, we will have result data in the edx:eax which depends
on ecx value. We check EFER_LME bit with btsl instruction and write data from eax to the MSR register with wrmsr
instruction.
In next step we push address of the kernel segment code to the stack (we defined it in the GDT) and put address of the
startup_64 routine to the eax .
pushl $__KERNEL_CS
leal startup_64(%ebp), %eax
After this we push this address to the stack and enable paging with setting PG and PE bits in the cr0 register:
and call:
lret
Remember that we pushed address of the startup_64 function to the stack in the previous step, and after lret
instruction, CPU extracts address of it and jumps there.
After all of these steps we're finally in the 64-bit mode:
.code64
.org 0x200
ENTRY(startup_64)
....
....
....
That's all!
Conclusion
This is the end of the fourth part linux kernel booting process. If you have questions or suggestions, ping me in twitter
0xAX, drop me email or just create an issue.
In the next part we will see kernel decompression and many more.
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 PR to linux-internals.
Links
Transition to 64-bit mode
47
linux-insides
Protected mode
Intel 64 and IA-32 Architectures Software Developers Manual 3A
GNU linker
SSE
Paging
Model specific register
.fill instruction
Previous part
Paging on osdev.org
Paging Systems
x86 Paging Tutorial
48
linux-insides
pushl $__KERNEL_CS
leal startup_64(%ebp), %eax
...
...
...
pushl %eax
...
...
...
lret
in the previous part, startup_64 starts to work. Since we loaded the new Global Descriptor Table and there was CPU
transition in other mode (64-bit mode in our case), we can see setup of the data segments:
.code64
.org 0x200
ENTRY(startup_64)
xorl %eax, %eax
movl %eax, %ds
movl %eax, %es
movl %eax, %ss
movl %eax, %fs
movl %eax, %gs
in the start of startup_64 . All segment registers besides cs points now to the ds which is 0x18 (if you don't understand
why it is 0x18 , read the previous part).
The next step is computation of difference between where kernel was compiled and where it was loaded:
#ifdef CONFIG_RELOCATABLE
leaq startup_32(%rip), %rbp
movl BP_kernel_alignment(%rsi), %eax
decl %eax
addq %rax, %rbp
notq %rax
andq %rax, %rbp
cmpq $LOAD_PHYSICAL_ADDR, %rbp
jge 1f
#endif
movq $LOAD_PHYSICAL_ADDR, %rbp
1:
leaq z_extract_offset(%rbp), %rbx
Kernel decompression
49
linux-insides
rbp contains decompressed kernel start address and after this code executed rbx register will contain address where to
relocate the kernel code for decompression. We already saw code like this in the startup_32 ( you can read about it in the
previous part - Calculate relocation address), but we need to do this calculation again because bootloader can use 64-bit
boot protocol and startup_32 just will not be executed in this case.
In the next step we can see setup of the stack and reset of flags register:
As you can see above rbx register contains the start address of the decompressing kernel code and we just put this
address with boot_stack_end offset to the rsp register. After this stack will be correct. You can find definition of the
boot_stack_end in the end of compressed/head_64.S file:
.bss
.balign 4
boot_heap:
.fill BOOT_HEAP_SIZE, 1, 0
boot_stack:
.fill BOOT_STACK_SIZE, 1, 0
boot_stack_end:
It located in the .bss section right before .pgtable . You can look at arch/x86/boot/compressed/vmlinux.lds.S to find it.
As we set the stack, now we can copy the compressed kernel to the address that we got above, when we calculated the
relocation address of the decompressed kernel. Let's look on this code:
pushq %rsi
leaq (_bss-8)(%rip), %rsi
leaq (_bss-8)(%rbx), %rdi
movq $_bss, %rcx
shrq $3, %rcx
std
rep movsq
cld
popq %rsi
First of all we push rsi to the stack. We need save value of rsi , because this register now stores pointer to the
boot_params real mode structure (you must remember this structure, we filled it in the start of kernel setup). In the end of
this code we'll restore pointer to the boot_params into rsi again.
The next two leaq instructions calculates effective address of the rip and rbx with _bss - 8 offset and put it to the
rsi and rdi . Why we calculate this addresses? Actually compressed kernel image located between this copying code
(from startup_32 to the current code) and the decompression code. You can verify this by looking on the linker script arch/x86/boot/compressed/vmlinux.lds.S:
. = 0;
.head.text : {
_head = . ;
HEAD_TEXT
_ehead = . ;
}
.rodata..compressed : {
*(.rodata..compressed)
}
.text : {
Kernel decompression
50
linux-insides
_text = .; /* Text */
*(.text)
*(.text.*)
_etext = . ;
}
Note that .head.text section contains startup_32 . You can remember it from the previous part:
__HEAD
.code32
ENTRY(startup_32)
...
...
...
assembly
.text
relocated:
...
...
...
/*
* Do the decompression, and jump to the new kernel..
*/
...
Note that there is std instruction before data copying, it sets DF flag and it means that rsi and rdi will be decremeted
or in other words, we will crbxopy bytes in backwards.
In the end we clear DF flag with cld instruction and restore boot_params structure to the rsi .
After it we get .text section address address and jump to it:
Kernel decompression
51
linux-insides
Here we just clear eax , put RIP relative address of the _bss to the rdi and _ebss to rcx and fill it with zeros with rep
stosq instructions.
pushq %rsi
movq $z_run_size, %r9
pushq %r9
movq %rsi, %rdi
leaq boot_heap(%rip), %rsi
leaq input_data(%rip), %rdx
movl $z_input_len, %ecx
movq %rbp, %r8
movq $z_output_len, %r9
call decompress_kernel
popq %r9
popq %rsi
Again we save rsi with pointer to boot_params structure and call decompress_kernel from the
arch/x86/boot/compressed/misc.c with seven arguments. All arguments will be passed through the registers. We finished all
preparation and now can look on the kernel decompression.
Kernel decompression
As i wrote above, decompress_kernel function is in the arch/x86/boot/compressed/misc.c source code file. This function
starts with the video/console initialization that we saw in the previous parts. This calls need if bootloaded used 32 or 64-bit
protocols. After this we store pointers to the start of the free memory and to the end of it:
free_mem_ptr = heap;
free_mem_end_ptr = heap + BOOT_HEAP_SIZE;
where heap is the second parameter of the decompress_kernel function which we got with:
boot_heap:
.fill BOOT_HEAP_SIZE, 1, 0
where BOOT_HEAP_SIZE is 0x400000 if the kernel compressed with bzip2 or 0x8000 if not.
In the next step we call choose_kernel_location function from the arch/x86/boot/compressed/aslr.c. As we can understand
from the function name it chooses memory location where to decompress the kernel image. Let's look on this function.
At the start choose_kernel_location tries to find kaslr option in the command line if CONFIG_HIBERNATION is set and
nokaslr option if this configuration option CONFIG_HIBERNATION is not set:
#ifdef CONFIG_HIBERNATION
if (!cmdline_find_option_bool("kaslr")) {
debug_putstr("KASLR disabled by default...\n");
goto out;
Kernel decompression
52
linux-insides
}
#else
if (cmdline_find_option_bool("nokaslr")) {
debug_putstr("KASLR disabled by cmdline...\n");
goto out;
}
#endif
out:
return (unsigned char *)choice;
which just returns the output parameter which we passed to the choose_kernel_location without any changes. Let's try to
understand what is it kaslr . We can find information about it in the documentation:
kaslr/nokaslr [X86]
Enable/disable kernel and module base offset ASLR
(Address Space Layout Randomization) if built into
the kernel. When CONFIG_HIBERNATION is selected,
kASLR is disabled by default. When kASLR is enabled,
hibernation will be disabled.
It means that we can pass kaslr option to the kernel's command line and get random address for the decompressed
kernel (more about aslr you can read here).
Let's consider the case when kernel's command line contains kaslr option.
There is the call of the mem_avoid_init function from the same aslr.c source code file. This function gets the unsafe
memory regions (initrd, kernel command line and etc...). We need to know about this memory regions to not overlap them
with the kernel after decompression. For example:
Here we can see calculation of the initrd start address and size. ext_ramdisk_image is high 32-bits of the ramdisk_image
field from boot header and ext_ramdisk_size is high 32-bits of the ramdisk_size field from boot protocol:
Kernel decompression
53
linux-insides
...
...
0C0/004 ALL ext_ramdisk_image ramdisk_image high 32bits
0C4/004 ALL ext_ramdisk_size ramdisk_size high 32bits
...
So we're taking ext_ramdisk_image and ext_ramdisk_size , shifting they left on 32 (now they will contain low 32-bits in the
high 32-bit bits) and getting start address of the initrd and size of it. After this we store these values in the mem_avoid
array which defined as:
#define MEM_AVOID_MAX 5
static struct mem_vector mem_avoid[MEM_AVOID_MAX];
struct mem_vector {
unsigned long start;
unsigned long size;
};
The next step after we collected all unsafe memory regions in the mem_avoid array will be search of the random address
which does not overlap with the unsafe regions with the find_random_addr function.
First of all we can see allign of the output address in the find_random_addr function:
you can remember CONFIG_PHYSICAL_ALIGN configuration option from the previous part. This option provides the value to
which kernel should be aligned and it is 0x200000 by default. After that we got aligned output address, we go through the
memory and collect regions which are good for decompressed kernel image:
You can remember that we collected e820_entries in the second part of the Kernel booting process part 2.
First of all process_e820_entry function does some checks that e820 memory region is not non-RAM, that the start address
of the memory region is not bigger than Maximum allowed aslr offset and that memory region is not less than value of
kernel alignment:
After this, we store e820 memory region start address and the size in the mem_vector structure (we saw definition of this
structure above):
Kernel decompression
54
linux-insides
region.start = entry->addr;
region.size = entry->size;
As we store these values, we align the region.start as we did it in the find_random_addr function and check that we didn't
get address that bigger than original memory region:
Next we get difference between the original address and aligned and check that if the last address in the memory region is
bigger than CONFIG_RANDOMIZE_BASE_MAX_OFFSET , we reduce the memory region size that end of kernel image will be less than
maximum aslr offset:
In the end we go through the all unsafe memory regions and check that this region does not overlap unsafe ares with
kernel command line, initrd and etc...:
If memory region does not overlap unsafe regions we call slots_append function with the start address of the region.
slots_append function just collects start addresses of memory regions to the slots array:
slots[slot_max++] = addr;
After process_e820_entry will be executed, we will have array of the addressess which are safe for the decompressed
kernel. Next we call slots_fetch_random function for getting random item from this array:
if (slot_max == 0)
return 0;
return slots[get_random_long() % slot_max];
where get_random_long function checks different CPU flags as X86_FEATURE_RDRAND or X86_FEATURE_TSC and chooses
Kernel decompression
55
linux-insides
method for getting random number (it can be obtain with RDRAND instruction, Time stamp counter, programmable interval
timer and etc...). After that we got random address execution of the choose_kernel_location is finished.
Now let's back to the misc.c. After we got address for the kernel image, there need to do some checks to be sure that
gotten random address is correctly aligned and address is not wrong.
After all these checks will see the familiar message:
Decompressing Linux...
and call decompress function which will decompress the kernel. decompress function depends on what decompression
algorithm was choosen during kernel compilartion:
#ifdef CONFIG_KERNEL_GZIP
#include "../../../../lib/decompress_inflate.c"
#endif
#ifdef CONFIG_KERNEL_BZIP2
#include "../../../../lib/decompress_bunzip2.c"
#endif
#ifdef CONFIG_KERNEL_LZMA
#include "../../../../lib/decompress_unlzma.c"
#endif
#ifdef CONFIG_KERNEL_XZ
#include "../../../../lib/decompress_unxz.c"
#endif
#ifdef CONFIG_KERNEL_LZO
#include "../../../../lib/decompress_unlzo.c"
#endif
#ifdef CONFIG_KERNEL_LZ4
#include "../../../../lib/decompress_unlz4.c"
#endif
After kernel will be decompressed, the last function handle_relocations will relocate the kernel to the address that we got
from choose_kernel_location . After that kernel relocated we return from the decompress_kernel to the head_64.S . The
address of the kernel will be in the rax register and we jump on it:
jmp *%rax
Conclusion
This is the end of the fifth and the last part about linux kernel booting process. We will not see posts about kernel booting
anymore (maybe only updates in this and previous posts), but there will be many posts about other kernel internals.
Next chapter will be about kernel initialization and we will see the first steps in the linux kernel initialization code.
If you will have any questions or suggestions write me a comment or ping me in twitter.
Please note that English is not my first language, And I am really sorry for any inconvenience. If you will find any
mistakes please send me PR to linux-internals.
Kernel decompression
56
linux-insides
Links
address space layout randomization
initrd
long mode
bzip2
RDdRand instruction
Time Stamp Counter
Programmable Interval Timers
Previous part
Kernel decompression
57
linux-insides
Initialization
58
linux-insides
jmp *%rax
and now we are in the kernel. There are many things to do before the kernel will start first init process. Hope we will see
all of the preparations before kernel will start in this big chapter. We will start from the kernel entry point, which is in the
arch/x86/kernel/head_64.S. We will see first preparations like early page tables initialization, switch to a new descriptor in
kernel space and many many more, before we will see the start_kernel function from the init/main.c will be called.
So let's start.
__HEAD
.code64
.globl startup_64
startup_64:
...
...
...
We can see definition of the startup_64 routine and it defined in the __HEAD section, which is just:
We can understand default virtual and physical addresses from the linker script. Note that address of the _text is location
counter which is defined as:
. = __START_KERNEL;
for x86_64 . We can find definition of the __START_KERNEL macro in the arch/x86/include/asm/page_types.h:
First steps in the kernel
59
linux-insides
Here we can see that __START_KERNEL is the sum of the __START_KERNEL_map (which is 0xffffffff80000000 , see post about
paging) and __PHYSICAL_START . Where __PHYSICAL_START is aligned value of the CONFIG_PHYSICAL_START . So if you will not
use kASLR and will not change CONFIG_PHYSICAL_START in the configuration addresses will be following:
Physical address - 0x1000000 ;
Virtual address - 0xffffffff81000000 .
Now we know default physical and virtual addresses of the startup_64 routine, but to know actual addresses we must to
calculate it with the following code:
Here we just put the rip-relative address to the rbp register and than subtract $_text - __START_KERNEL_map from it. We
know that compiled address of the _text is 0xffffffff81000000 and __START_KERNEL_map contains 0xffffffff81000000 , so
rbp will contain physical address of the text - 0x1000000 after this calculation. We need to calculate it because kernel
can be runned not on the default address, but now we know actual physical address.
In the next step we checks that this address is aligned with:
Here we just put address to the %rax and test first bit. PMD_PAGE_MASK indicates the mask for Page middle directory (read
paging about it) and defined as:
As we can easily calculate, PMD_PAGE_SIZE is 2 megabytes. Here we use standard formula for checking alignment and if
text address is not aligned for 2 megabytes, we jump to bad_address label.
#define MAX_PHYSMEM_BITS 46
Okay, we did some early checks and now we can move on.
First steps in the kernel
60
linux-insides
Here we need to correct early_level4_pgt and other addresses because as I wrote above kernel can be runned not at the
default 0x1000000 address. rbp register contains actuall address so we add to the early_level4_pgt , level3_kernel_pgt
and level2_fixmap_pgt . Let's try to understand what this labels means. First of all let's look on their definition:
NEXT_PAGE(early_level4_pgt)
.fill 511,8,0
.quad level3_kernel_pgt - __START_KERNEL_map + _PAGE_TABLE
NEXT_PAGE(level3_kernel_pgt)
.fill L3_START_KERNEL,8,0
.quad level2_kernel_pgt - __START_KERNEL_map + _KERNPG_TABLE
.quad level2_fixmap_pgt - __START_KERNEL_map + _PAGE_TABLE
NEXT_PAGE(level2_kernel_pgt)
PMDS(0, __PAGE_KERNEL_LARGE_EXEC,
KERNEL_IMAGE_SIZE/PMD_SIZE)
NEXT_PAGE(level2_fixmap_pgt)
.fill 506,8,0
.quad level1_fixmap_pgt - __START_KERNEL_map + _PAGE_TABLE
.fill 5,8,0
NEXT_PAGE(level1_fixmap_pgt)
.fill 512,8,0
address and it equals 510 . After it we can see definition of two level3_kernel_pgt entries: level2_kernel_pgt and
level2_fixmap_pgt . First is simple, it is page table entry which contains pointer to the page middle directory which maps
61
linux-insides
access rights. The second - level2_fixmap_pgt is a virtual addresses which can refer to any physical addresses even
under kernel space.
The next level2_kernel_pgt calls PDMS macro which creates 512 megabytes from the __START_KERNEL_map for kernel text
(after these 512 megabytes will be modules memory space).
Now we know Let's back to our code which is in the beginning of the section. Remember that rbp contains actual physical
address of the _text section. We just add this address to the base address of the page tables, that they'll have correct
addresses:
At the first line we add rbp to the early_level4_pgt , at the second line we add rbp to the level2_kernel_pgt , at the third
line we add rbp to the level2_fixmap_pgt and add rbp to the level1_fixmap_pgt .
After all of this we will have:
As we corrected base addresses of the page tables, we can start to build it.
After this we store physical address of the _text in the rax and get the index of the page global directory entry which
stores _text address, by shifting _text address on the PGDIR_SHIFT :
where PGDIR_SHIFT is 39 . PGDIR_SHFT indicates the mask for page global directory bits in a virtual address. There are
macro for all types of page directories:
#define PGDIR_SHIFT 39
#define PUD_SHIFT 30
#define PMD_SHIFT 21
62
linux-insides
After this we put the address of the first level3_kernel_pgt to the rdx with the _KERNPG_TABLE access rights (see above)
and fill the early_level4_pgt with the 2 level3_kernel_pgt entries.
After this we add 4096 (size of the early_level4_pgt ) to the rdx (it now contains the address of the first entry of the
level3_kernel_pgt ) and put rdi (it now contains physical address of the _text ) to the rax . And after this we write
In the next step we write addresses of the page middle directory entries to the level2_kernel_pgt and the last step is
correcting of the kernel text+data virtual addresses:
Here we put the address of the level2_kernel_pgt to the rdi and address of the page table entry to the r8 register. Next
we check the present bit in the level2_kernel_pgt and if it is zero we're moving to the next page by adding 8 bytes to rdi
which contaitns address of the level2_kernel_pgt . After this we compare it with r8 (contains address of the page table
entry) and go back to label 1 or move forward.
In the next step we correct phys_base physical address with rbp (contains physical address of the _text ), put physical
address of the early_level4_pgt and jump to label 1 :
where phys_base mathes the first entry of the level2_kernel_pgt which is 512 MB kernel mapping.
Last preparations
After that we jumped to the label 1 we enable PAE , PGE (Paging Global Extension) and put the physical address of the
phys_base (see above) to the rax register and fill cr3 register with it:
1:
movl $(X86_CR4_PAE | X86_CR4_PGE), %ecx
movq %rcx, %cr4
addq phys_base(%rip), %rax
movq %rax, %cr3
63
linux-insides
We put 0x80000001 value to the eax and execute cpuid instruction for getting extended processor info and feature bits.
The result will be in the edx register which we put to the edi .
Now we put 0xc0000080 or MSR_EFER to the ecx and call rdmsr instruction for the reading model specific register.
The result will be in the edx:eax . General view of the EFER is following:
63 32
-------------------------------------------------------------------------------| |
| Reserved MBZ |
| |
-------------------------------------------------------------------------------31 16 15 14 13 12 11 10 9 8 7 1 0
-------------------------------------------------------------------------------| | T | | | | | | | | | |
| Reserved MBZ | C | FFXSR | LMSLE |SVME|NXE|LMA|MBZ|LME|RAZ|SCE|
| | E | | | | | | | | | |
--------------------------------------------------------------------------------
We will not see all fields in details here, but we will learn about this and other MSRs in the special part about. As we read
EFER to the edx:eax , we checks _EFER_SCE or zero bit which is System Call Extensions with btsl instruction and set it to
one. By the setting SCE bit we enable SYSCALL and SYSRET instructions. In the next step we check 20th bit in the edi ,
remember that this register stores result of the cpuid (see above). If 20 bit is set ( NX bit) we just write EFER_SCE to the
model specific register.
If NX bit is supported we enable _EFER_NX and write it too, with the wrmsr instruction.
In the next step we need to update Global Descriptor table with lgdt instruction:
lgdt early_gdt_descr(%rip)
early_gdt_descr:
.word GDT_ENTRIES*8-1
early_gdt_descr_base:
.quad INIT_PER_CPU_VAR(gdt_page)
64
linux-insides
We need to reload Global Descriptor Table because now kernel works in the userspace addresses, but soon kernel will
work in it's own space. Now let's look on early_gdt_descr definition. Global Descriptor Table contains 32 entries:
#define GDT_ENTRIES 32
for kernel code, data, thread local storage segments and etc... it's simple. Now let's look on the early_gdt_descr_base . First
of gdt_page defined as:
struct gdt_page {
struct desc_struct gdt[GDT_ENTRIES];
} __attribute__((aligned(PAGE_SIZE)));
in the arch/x86/include/asm/desc.h. It contains one field gdt which is array of the desc_struct structures which defined
as:
struct desc_struct {
union {
struct {
unsigned int a;
unsigned int b;
};
struct {
u16 limit0;
u16 base0;
unsigned base1: 8, type: 4, s: 1, dpl: 2, p: 1;
unsigned limit: 4, avl: 1, l: 1, d: 1, g: 1, base2: 8;
};
};
} __attribute__((packed));
and presents familiar to us GDT descriptor. Also we can note that gdt_page structure aligned to PAGE_SIZE which is 4096
bytes. It means that gdt will occupy one page. Now let's try to understand what is it INIT_PER_CPU_VAR . INIT_PER_CPU_VAR
is a macro which defined in the arch/x86/include/asm/percpu.h and just concats init_per_cpu__ with the given parameter:
As we got init_per_cpu__gdt_page in INIT_PER_CPU_VAR and INIT_PER_CPU macro from linker script will be expanded we will
get offset from the __per_cpu_load . After this calculations, we will have correct base address of the new GDT.
Generally per-CPU variables is a 2.6 kernel feature. You can understand what is it from it's name. When we create perCPU variable, each CPU will have will have it's own copy of this variable. Here we creating gdt_page per-CPU variable.
There are many advantages for variables of this type, like there are no locks, because each CPU works with it's own copy
of variable and etc... So every core on multiprocessor will have it's own GDT table and every entry in the table will represent
a memory segment which can be accessed from the thread which runned on the core. You can read in details about perCPU variables in the Theory/per-cpu post.
65
linux-insides
xorl %eax,%eax
movl %eax,%ds
movl %eax,%ss
movl %eax,%es
movl %eax,%fs
movl %eax,%gs
After all of these steps we set up gs register that it post to the irqstack (we will see information about it in the next parts):
movl $MSR_GS_BASE,%ecx
movl initial_gs(%rip),%eax
movl initial_gs+4(%rip),%edx
wrmsr
We need to put MSR_GS_BASE to the ecx register and load data from the eax and edx (which are point to the initial_gs )
with wrmsr instruction. We don't use cs , fs , ds and ss segment registers for addressation in the 64-bit mode, but fs
and gs registers can be used. fs and gs have a hidden part (as we saw it in the real mode for cs ) and this part
contains descriptor which mapped to Model specific registers. So we can see above 0xc0000101 is a gs.base MSR
address.
In the next step we put the address of the real mode bootparam structure to the rdi (remember rsi holds pointer to this
structure from the start) and jump to the C code with:
movq initial_code(%rip),%rax
pushq $0
pushq $__KERNEL_CS
pushq %rax
lretq
Here we put the address of the initial_code to the rax and push fake address, __KERNEL_CS and the address of the
initial_code to the stack. After this we can see lretq instruction which means that after it return address will be
extracted from stack (now there is address of the initial_code ) and jump there. initial_code defined in the same source
code file and looks:
__REFDATA
.balign 8
GLOBAL(initial_code)
.quad x86_64_start_kernel
...
...
...
As we can see initial_code contains address of the x86_64_start_kernel , which defined in the arch/x86/kerne/head64.c
and looks like this:
66
linux-insides
It has one argument is a real_mode_data (remember that we passed address of the real mode data to the rdi register
previously).
This is first C code in the kernel!
Next to start_kernel
We need to see last preparations before we can see "kernel entry point" - start_kernel function from the init/main.c.
First of all we can see some checks in the x86_64_start_kernel function:
There are checks for different things like virtual addresses of modules space is not fewer than base address of the kernel
text - __STAT_KERNEL_map , that kernel text with modules is not less than image of the kernel and etc... BUILD_BUG_ON is a
macro which looks as:
Let's try to understand this trick works. Let's take for example first condition: MODULES_VADDR < __START_KERNEL_map .
!!conditions is the same that condition != 0 . So it means if MODULES_VADDR < __START_KERNEL_map is true, we will get 1 in
the !!(condition) or zero if not. After 2*!!(condition) we will get or 2 or 0 . In the end of calculations we can get two
different behaviors:
We will have compilation error, because try to get size of the char array with negative index (as can be in our case,
because MODULES_VADDR can't be less than __START_KERNEL_map will be in our case);
No compilation errors.
That's all. So interesting C trick for getting compile error which depends on some constants.
In the next step we can see call of the cr4_init_shadow function which stores shadow copy of the cr4 per cpu. Context
switches can change bits in the cr4 so we need to store cr4 for each CPU. And after this we can see call of the
reset_early_page_tables function where we resets all page global directory entries and write new pointer to the PGT in
cr3 :
soon we will build new page tables. Here we can see that we go through all Page Global Directory Entries ( PTRS_PER_PGD is
512 ) in the loop and make it zero. After this we set next_early_pgt to zero (we will see details about it in the next post)
and write physical address of the early_level4_pgt to the cr3 . __pa_nodebug is a macro which will be expanded to:
67
linux-insides
After this we clear _bss from the __bss_stop to __bss_start and the next step will be setup of the early IDT handlers,
but it's big theme so we will see it in the next part.
Conclusion
This is the end of the first part about linux kernel initialization.
If you have questions or suggestions, feel free to ping me in twitter 0xAX, drop me email or just create issue.
In the next part we will see initialization of the early interruption handlers, kernel space memory mapping and many many
more.
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 PR to linux-internals.
Links
Model Specific Register
Paging
Previous part - Kernel decompression
NX
ASLR
68
linux-insides
from the arch/x86/kernel/head64.c source code file. But before we started to sort out this code, we need to know about
interrupts and handlers.
Some theory
Interrupt is an event caused by software or hardware to the CPU. On interrupt, CPU stops the current task and transfer
control to the interrupt handler, which handles interruption and transfer control back to the previously stopped task. We can
split interrupts on three types:
Software interrupts - when a software signals CPU that it needs kernel attention. These interrupts generally used for
system calls;
Hardware interrupts - when a hardware, for example button pressed on a keyboard;
Exceptions - interrupts generated by CPU, when the CPU detects error, for example division by zero or accessing a
memory page which is not in RAM.
Every interrupt and exception is assigned an unique number which called - vector number . Vector number can be any
number from 0 to 255 . There is common practice to use first 32 vector numbers for exceptions, and vector numbers
from 31 to 255 are used for user-defined interrupts. We can see it in the code above - NUM_EXCEPTION_VECTORS , which
defined as:
#define NUM_EXCEPTION_VECTORS 32
CPU uses vector number as an index in the Interrupt Descriptor Table (we will see description of it soon). CPU catch
interrupts from the APIC or through it's pins. Following table shows 0-31 exceptions:
69
linux-insides
To react on interrupt CPU uses special structure - Interrupt Descriptor Table or IDT. IDT is an array of 8-byte descriptors like
Global Descriptor Table, but IDT entries are called gates . CPU multiplies vector number on 8 to find index of the IDT entry.
But in 64-bit mode IDT is an array of 16-byte descriptors and CPU multiplies vector number on 16 to find index of the entry
in the IDT. We remember from the previous part that CPU uses special GDTR register to locate Global Descriptor Table, so
CPU uses special register IDTR for Interrupt Descriptor Table and lidt instruuction for loading base address of the table
into this register.
64-bit mode IDT entry has following structure:
127 96
-------------------------------------------------------------------------------| |
| Reserved |
| |
-------------------------------------------------------------------------------95 64
-------------------------------------------------------------------------------| |
| Offset 63..32 |
| |
-------------------------------------------------------------------------------63 48 47 46 44 42 39 34 32
-------------------------------------------------------------------------------| | | D | | | | | | |
| Offset 31..16 | P | P | 0 |Type |0 0 0 | 0 | 0 | IST |
| | | L | | | | | | |
-------------------------------------------------------------------------------31 15 16 0
-------------------------------------------------------------------------------| | |
| Segment Selector | Offset 15..0 |
| | |
--------------------------------------------------------------------------------
Where:
70
linux-insides
We're filling only first 32 IDT entries because all of the early setup runs with interrupts disabled, so there is no need to set
up early exception handlers for vectors greater than 32. early_idt_handlers contains generic idt handlers and we can find
it in the arch/x86/kernel/head_64.S, we will look it soon.
Now let's look on set_intr_gate implementation:
71
linux-insides
First of all it checks with that passed interrupt number is not greater than 255 with BUG_ON macro. We need to do this
check because we can have only 256 interrupts. After this it calls _set_gate which writes address of an interrupt gate to
the IDT :
At the start of _set_gate function we can see call of the pack_gate function which fills gate_desc structure with the given
values:
static inline void pack_gate(gate_desc *gate, unsigned type, unsigned long func,
unsigned dpl, unsigned ist, unsigned seg)
{
gate->offset_low = PTR_LOW(func);
gate->segment = __KERNEL_CS;
gate->ist = ist;
gate->p = 1;
gate->dpl = dpl;
gate->zero0 = 0;
gate->zero1 = 0;
gate->type = type;
gate->offset_middle = PTR_MIDDLE(func);
gate->offset_high = PTR_HIGH(func);
}
As mentioned above we fill gate descriptor in this function. We fill three parts of the address of the interrupt handler with the
address which we got in the main loop (address of the interrupt handler entry point). We are using three following macro to
split address on three parts:
With the first PTR_LOW macro we get the first 2 bytes of the address, with the second PTR_MIDDLE we get the second 2 bytes
of the address and with the third PTR_HIGH macro we get the last 4 bytes of the address. Next we setup the segment
selector for interrupt handler, it will be our kernel code segment - __KERNEL_CS . In the next step we fill Interrupt Stack
Table and Descriptor Privilege Level (highest privilege level) with zeros. And we set GAT_INTERRUPT type in the end.
Now we have filled IDT entry and we can call native_write_idt_entry function which just copies filled IDT entry to the
IDT :
static inline void native_write_idt_entry(gate_desc *idt, int entry, const gate_desc *gate)
{
memcpy(&idt[entry], gate, sizeof(*gate));
}
72
linux-insides
After that main loop will finished, we will have filled idt_table array of gate_desc structures and we can load IDT with:
You can note that there are calls of the _trace_* functions in the _set_gate and other functions. These functions fills IDT
gates in the same manner that _set_gate but with one difference. These functions use trace_idt_table Interrupt
Descriptor Table instead of idt_table for tracepoints (we will cover this theme in the another part).
Okay, now we have filled and loaded Interrupt Descriptor Table, we know how the CPU acts during interrupt. So now time to
deal with interrupts handlers.
.globl early_idt_handlers
early_idt_handlers:
i = 0
.rept NUM_EXCEPTION_VECTORS
.if (EXCEPTION_ERRCODE_MASK >> i) & 1
ASM_NOP2
.else
pushq $0
.endif
pushq $i
jmp early_idt_handler
i = i + 1
.endr
We can see here, interrupt handlers generation for the first 32 exceptions. We check here, if exception has error code then
we do nothing, if exception does not return error code, we push zero to the stack. We do it for that would stack was uniform.
After that we push exception number on the stack and jump on the early_idt_handler which is generic interrupt handler for
now. As i wrote above, CPU pushes flag register, CS and RIP on the stack. So before early_idt_handler will be
executed, stack will contain following data:
|--------------------|
| %rflags |
| %cs |
| %rip |
| rsp --> error code |
|--------------------|
Now let's look on the early_idt_handler implementation. It locates in the same arch/x86/kernel/head_64.S. First of all we
73
linux-insides
can see check for NMI, we no need to handle it, so just ignore they in the early_idt_handler :
cmpl $2,(%rsp)
je is_nmi
where is_nmi :
is_nmi:
addq $16,%rsp
INTERRUPT_RETURN
we drop error code and vector number from the stack and call INTERRUPT_RETURN which is just iretq . As we checked the
vector number and it is not NMI , we check early_recursion_flag to prevent recursion in the early_idt_handler and if it's
correct we save general registers on the stack:
pushq %rax
pushq %rcx
pushq %rdx
pushq %rsi
pushq %rdi
pushq %r8
pushq %r9
pushq %r10
pushq %r11
we need to do it to prevent wrong values in it when we return from the interrupt handler. After this we check segment
selector in the stack:
cmpl $__KERNEL_CS,96(%rsp)
jne 11f
it must be equal to the kernel code segment and if it is not we jump on label 11 which prints PANIC message and makes
stack dump.
After code segment was checked, we check the vector number, and if it is #PF , we put value from the cr2 to the rdi
register and call early_make_pgtable (well see it soon):
cmpl $14,72(%rsp)
jnz 10f
GET_CR2_INTO(%rdi)
call early_make_pgtable
andl %eax,%eax
jz 20f
If vector number is not #PF , we restore general purpose registers from the stack:
popq %r11
popq %r10
popq %r9
popq %r8
popq %rdi
popq %rsi
popq %rdx
popq %rcx
popq %rax
74
linux-insides
to add ability to load kernel above 4G and make access to boot_params structure above the 4G.
You can find implementation of the early_make_pgtable in the arch/x86/kernel/head64.c and takes one parameter - address
from the cr2 register, which caused Page Fault. Let's look on it:
It starts from the definition of some variables which have *val_t types. All of these types are just:
Also we will operate with the *_t (not val) types, for example pgd_t and etc... All of these types defined in the
arch/x86/include/asm/pgtable_types.h and represent structures like this:
For example,
Here early_level4_pgt presents early top-level page table directory which consists of an array of pgd_t types and pgd
points to low-level page entries.
After we made the check that we have no invalid address, we're getting the address of the Page Global Directory entry
which contains #PF address and put it's value to the pgd variable:
pgd_p = &early_level4_pgt[pgd_index(address)].pgd;
pgd = *pgd_p;
In the next step we check pgd , if it contains correct page global directory entry we put physical address of the page global
directory entry and put it to the pud_p with:
Early interrupts handler
75
linux-insides
or
0b1111111111111111111111111111111111111111111111
we create new page upper directory pointer which points to the current dynamic page table and writes it's physical address
with the _KERPG_TABLE access rights to the page global directory:
pud_p += pud_index(address);
pud = *pud_p;
In the next step we do the same actions as we did before, but with the page middle directory. In the end we fix address of
the page middle directory which contains maps kernel text+data virtual addresses:
After page fault handler finished it's work and as result our early_level4_pgt contains entries which point to the valid
addresses.
Conclusion
Early interrupts handler
76
linux-insides
This is the end of the second part about linux kernel internals. If you have questions or suggestions, ping me in twitter
0xAX, drop me email or just create issue. In the next part we will see all steps before kernel entry point - start_kernel
function.
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 PR to linux-internals.
Links
GNU assembly .rept
APIC
NMI
Previous part
77
linux-insides
boot_params again
In the previous part we stopped at setting Interrupt Descriptor Table and loading it in the IDTR register. At the next step
after this we can see a call of the copy_bootdata function:
copy_bootdata(__va(real_mode_data));
This function takes one argument - virtual address of the real_mode_data . Remember that we passed the address of the
boot_params structure from arch/x86/include/uapi/asm/bootparam.h to the x86_64_start_kernel function as first argument
in arch/x86/kernel/head_64.S:
where PAGE_OFFSET is __PAGE_OFFSET which is 0xffff880000000000 and the base virtual address of the direct mapping of all
physical memory. So we're getting virtual address of the boot_params structure and pass it to the copy_bootdata function,
where we copy real_mod_data to the boot_params which is declared in the arch/x86/kernel/setup.h
78
linux-insides
First of all, note that this function is declared with __init prefix. It means that this function will be used only during the
initialization and used memory will be freed.
We can see declaration of two variables for the kernel command line and copying real_mode_data to the boot_params with
the memcpy function. The next call of the sanitize_boot_params function which fills some fields of the boot_params structure
like ext_ramdisk_image and etc... if bootloaders which fail to initialize unknown fields in boot_params to zero. After this we're
getting address of the command line with the call of the get_cmd_line_ptr function:
which gets the 64-bit address of the command line from the kernel boot header and returns it. In the last step we check that
we got cmd_line_pty , getting its virtual address and copy it to the boot_command_line which is just an array of bytes:
After this we will have copied kernel command line and boot_params structure. In the next step we can see call of the
load_ucode_bsp function which loads processor microcode, but we will not see it here.
After microcode was loaded we can see the check of the console_loglevel and the early_printk function which prints
Kernel Alive string. But you'll never see this output because early_printk is not initilized yet. It is a minor bug in the
kernel and i sent the patch - commit and you will see it in the mainline soon. So you can skip this code.
clear_page(init_level4_pgt);
function and pass init_level4_pgt which defined also in the arch/x86/kernel/head_64.S and looks:
NEXT_PAGE(init_level4_pgt)
.quad level3_ident_pgt - __START_KERNEL_map + _KERNPG_TABLE
.org init_level4_pgt + L4_PAGE_OFFSET*8, 0
.quad level3_ident_pgt - __START_KERNEL_map + _KERNPG_TABLE
.org init_level4_pgt + L4_START_KERNEL*8, 0
.quad level3_kernel_pgt - __START_KERNEL_map + _PAGE_TABLE
which maps first 2 gigabytes and 512 megabytes for the kernel code, data and bss. clear_page function defined in the
arch/x86/lib/clear_page_64.S let look on this function:
ENTRY(clear_page)
CFI_STARTPROC
xorl %eax,%eax
movl $4096/64,%ecx
79
linux-insides
.p2align 4
.Lloop:
decl %ecx
#define PUT(x) movq %rax,x*8(%rdi)
movq %rax,(%rdi)
PUT(1)
PUT(2)
PUT(3)
PUT(4)
PUT(5)
PUT(6)
PUT(7)
leaq 64(%rdi),%rdi
jnz .Lloop
nop
ret
CFI_ENDPROC
.Lclear_page_end:
ENDPROC(clear_page)
As you can understart from the function name it clears or fills with zeros page tables. First of all note that this function starts
with the CFI_STARTPROC and CFI_ENDPROC which are expands to GNU assembly directives:
and used for debugging. After CFI_STARTPROC macro we zero out eax register and put 64 to the ecx (it will be counter).
Next we can see loop which starts with the .Lloop label and it starts from the ecx decrement. After it we put zero from the
rax register to the rdi which contains the base address of the init_level4_pgt now and do the same procedure seven
times but every time move rdi offset on 8. After this we will have first 64 bytes of the init_level4_pgt filled with zeros. In
the next step we put the address of the init_level4_pgt with 64-bytes offset to the rdi again and repeat all operations
which ecx is not zero. In the end we will have init_level4_pgt filled with zeros.
As we have init_level4_pgt filled with zeros, we set the last init_level4_pgt entry to kernel high mapping with the:
init_level4_pgt[511] = early_level4_pgt[511];
Remeber that we dropped all early_level4_pgt entries in the reset_early_page_table function and kept only kernel high
mapping there.
The last step in the x86_64_start_kernel function is the call of the:
x86_64_start_reservations(real_mode_data);
function with the real_mode_data as argument. The x86_64_start_reservations function defined in the same source code
file as the x86_64_start_kernel function and looks:
80
linux-insides
You can see that it is the last function before we are in the kernel entry point - start_kernel function. Let's look what it
does and how it works.
if (!boot_params.hdr.version)
copy_bootdata(__va(real_mode_data));
and if it is not we call again copy_bootdata function with the virtual address of the real_mode_data (read about about it's
implementation).
In the next step we can see the call of the reserve_ebda_region function which defined in the arch/x86/kernel/head.c. This
function reserves memory block for th EBDA or Extended BIOS Data Area. The Extended BIOS Data Area located in the
top of conventional memory and contains data about ports, disk parameters and etc...
Let's look on the reserve_ebda_region function. It starts from the checking is paravirtualization enabled or not:
if (paravirt_enabled())
return;
we exit from the reserve_ebda_region function if paravirtualization is enabled because if it enabled the extended bios data
area is absent. In the next step we need to get the end of the low memory:
We're getting the virtual address of the BIOS low memory in kilobytes and convert it to bytes with shifting it on 10 (multiply
on 1024 in other words). After this we need to get the address of the extended BIOS data are with the:
ebda_addr = get_bios_ebda();
Let's try to understand how it works. Here we can see that we converting physical address 0x40E to the virtual, where
0x0040:0x000e is the segment which contains base address of the extended BIOS data area. Don't worry that we are using
phys_to_virt function for converting a physical address to virtual address. You can note that previously we have used
__va macro for the same point, but phys_to_virt is the same:
81
linux-insides
only with one difference: we pass argument with the phys_addr_t which depends on CONFIG_PHYS_ADDR_T_64BIT :
#ifdef CONFIG_PHYS_ADDR_T_64BIT
typedef u64 phys_addr_t;
#else
typedef u32 phys_addr_t;
#endif
This configuration option is enabled by CONFIG_PHYS_ADDR_T_64BIT . After that we got virtual address of the segment which
stores the base address of the extended BIOS data area, we shift it on 4 and return. After this ebda_addr variables
contains the base address of the extended BIOS data area.
In the next step we check that address of the extended BIOS data area and low memory is not less than INSANE_CUTOFF
macro
which is:
or 128 kilobytes. In the last step we get lower part in the low memory and extended bios data area and call
memblock_reserve function which will reserve memory region for extended bios data between low memory and one
megabyte mark:
82
linux-insides
struct memblock_type {
unsigned long cnt;
unsigned long max;
phys_addr_t total_size;
struct memblock_region *regions;
};
As we need to reserve memory block for extended bios data area, the type of the current memory region is reserved where
memblock structure is:
struct memblock {
bool bottom_up;
phys_addr_t current_limit;
struct memblock_type memory;
struct memblock_type reserved;
#ifdef CONFIG_HAVE_MEMBLOCK_PHYS_MAP
struct memblock_type physmem;
#endif
};
and describes generic memory block. You can see that we initialize _rgn by assigning it to the address of the
memblock.reserved . memblock is the global variable which looks:
We will not dive into detail of this varaible, but we will see all details about it in the parts about memory manager. Just note
that memblock variable defined with the __initdata_memblock which is:
83
linux-insides
From this we can conclude that all memory blocks will be in the .meminit.data section. After we defined _rgn we print
information about it with memblock_dbg macros. You can enable it by passing memblock=debug to the kernel command line.
After debugging lines were printed next is the call of the following function:
which adds new memory block region into the .meminit.data section. As we do not initlieze _rgn but it just contains
&memblock.reserved , we just fill passed _rgn with the base address of the extended BIOS data area region, size of this
if (type->regions[0].size == 0) {
WARN_ON(type->cnt != 1 || type->total_size);
type->regions[0].base = base;
type->regions[0].size = size;
type->regions[0].flags = flags;
memblock_set_region_node(&type->regions[0], nid);
type->total_size = size;
return 0;
}
After we filled our region we can see the call of the memblock_set_region_node function with two parameters:
address of the filled memory region;
NUMA node id.
where our regions represented by the memblock_region structure:
struct memblock_region {
phys_addr_t base;
phys_addr_t size;
unsigned long flags;
#ifdef CONFIG_HAVE_MEMBLOCK_NODE_MAP
int nid;
#endif
};
#ifdef CONFIG_NODES_SHIFT
#define NODES_SHIFT CONFIG_NODES_SHIFT
#else
#define NODES_SHIFT 0
#endif
84
linux-insides
memblick_set_region_node function just fills nid field from memblock_region with the given value:
After this we will have first reserved memblock for the extended bios data area in the .meminit.data section.
reserve_ebda_region function finished its work on this step and we can go back to the arch/x86/kernel/head64.c.
We finished all preparations before the kernel entry point! The last step in the x86_64_start_reservations function is the call
of the:
start_kernel()
Conclusion
It is the end of the third part about linux kernel internals. In next part we will see the first initialization steps in the kernel
entry point - start_kernel function. It will be the first step before we will see launch of the first init process.
If you have any questions or suggestions write me a comment or ping me at twitter.
Please note that English is not my first language, And I am really sorry for any inconvenience. If you will find any
mistakes please send me PR to linux-internals.
Links
BIOS data area
What is in the extended BIOS data area on a PC?
Previous part
85
linux-insides
Memory management
86
linux-insides
time. No compilcated memory management is working yet. When the start_kernel function is called we will see the
transition to more complex data structures and techniques for memory management. For a good understanding of the
initialization process in the linux kernel we need to have clear understanding of the techniques. This chapter will provide an
overview of the different parts of the linux kernel memory management framework and its API, starting from the memblock .
Memblock
Memblock is one of methods of managing memory regions during the early bootstrap period while the usual kernel memory
allocators are not up and running yet. Previously it was called - Logical Memory Block , but from the patch by Yinghai Lu, it
was renamed to the memblock . As Linux kernel for x86_64 architecture uses this method. We already met memblock in the
Last preparations before the kernel entry point part. And now time to get acquainted with it closer. We will see how it is
implemented.
We will start to learn memblock from the data structures. Definitions of the all data structures can be found in the
include/linux/memblock.h header file.
The first structure has the same name as this part and it is:
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
};
This structure contains five fields. First is bottom_up which allows to allocate memory in bottom-up mode when it is true .
Next field is current_limit . This field describes the limit size of the memory block. The next three fields describes the type
of the memory block. It can be: reserved, memory and physical memory if CONFIG_HAVE_MEMBLOCK_PHYS_MAP configuration
option is enabled. Now we met yet another data structure - memblock_type . Let's look on its definition:
struct memblock_type {
unsigned long cnt;
unsigned long max;
phys_addr_t total_size;
struct memblock_region *regions;
};
This structure provides information about memory type. It contains fields which describe number of memory regions which
are inside current memory block, size of the all memory regions, size of the allocated array of the memory regions and
pointer to the array of the memblock_region structures. memblock_region is a structure which describes memory region. Its
definition looks:
Memblock
87
linux-insides
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 provides base address and size of the memory region, flags which can be:
Also memblock_region provides integer field - numa node selector, if CONFIG_HAVE_MEMBLOCK_NODE_MAP configuration option is
enabled.
Schematically we can imagine it as:
+---------------------------+ +---------------------------+
| memblock | | |
| _______________________ | | |
| | memory | | | Array of the |
| | memblock_type |-|-->| membock_region |
| |_______________________| | | |
| | +---------------------------+
| _______________________ | +---------------------------+
| | reserved | | | |
| | memblock_type |-|-->| Array of the |
| |_______________________| | | memblock_region |
| | | |
+---------------------------+ +---------------------------+
These three structures: memblock , memblock_type and memblock_region are main in the Memblock . Now we know about it
and can look at Memblock initialization process.
Memblock initialization
As all API of the memblock described in the include/linux/memblock.h header file, all implementation of these function is in
the mm/memblock.c source code file. Let's look on the top of source code file and we will look there initialization of the
memblock structure:
Memblock
88
linux-insides
Here we can see initialization of the memblock structure which has the same name as structure - memblock . First of all note
on __initdata_memblock . Defenition of this macro looks like:
#ifdef CONFIG_ARCH_DISCARD_MEMBLOCK
#define __init_memblock __meminit
#define __initdata_memblock __meminitdata
#else
#define __init_memblock
#define __initdata_memblock
#endif
You can note that it depends on CONFIG_ARCH_DISCARD_MEMBLOCK . If this configuration option is enabled, memblock code will
be put to the .init section and it will be released after the kernel is booted up.
Next we can see initialization of the memblock_type memory , memblock_type reserved and memblock_type physmem fields of the
memblock structure. Here we interesting only in the memblock_type.regions initialization process. Note that every
memblock_type field initialized by the arrays of the memblock_region :
Every array contains 128 memory regions. We can see it in the INIT_MEMBLOCK_REGIONS macro definition:
Note that all arrays are also defined with the __initdata_memblock macro which we already saw in the memblock strucutre
initialization (read above if you've forgot).
The last two fields describe that bottom_up allocation is disabled and the limit of the current Memblock is:
which is 0xffffffffffffffff .
On this step initialization of the memblock structure finished and we can look on the Memblock API.
Memblock API
Ok we have finished with initilization of the memblock structure and now we can look on the Memblock API and its
implementation. As i said about, all implementation of the memblock presented in the mm/memblock.c. To understand how
memblock works and implemented, let's look on it's usage first of all. There are a couple of places in the linux kernel where
memblock is used. For example let's take memblock_x86_fill function from the arch/x86/kernel/e820.c. This function goes
through the memory map provided by the e820 and adds memory regions reserved by the kernel to the memblock with the
memblock_add function. As we met memblock_add function first, let's start from it.
This function takes physical base address and size of the memory region and adds it to the memblock . memblock_add
function does not anything special in its body, but just calls:
Memblock
89
linux-insides
function. We pass memory block type - memory , physical base address and size of the memory region, maximum number
of nodes which are zero if CONFIG_NODES_SHIFT is not set in the configuration file or CONFIG_NODES_SHIFT if it is set, and flags.
memblock_add_range function adds new memory region to the memory block. It starts from check the size of the given region
and if it is zero just return. After this, memblock_add_range check existence of the memory regions in the memblock structure
with the given memblock_type . If there are no memory regions, we just fill new memory_region with the given values and
return (we already saw implementation of this in the First touch of the linux kernel memory manager framework). If
memblock_type is no empty, we start to add new memory region to the memblock with the given memblock_type .
First of all we get the end of the memory region with the:
memblock_cap_size adjusts size that base + size will not overflow. Its implementation pretty easy:
memblock_cap_size returns new size which is the smallest value between the given size and base.
After that we got end address of the new memory region, memblock_add_region checks overlap and merge condititions with
already added memory regions. Insertion of the new memory region to the memblcok consists from two steps:
Adding of non-overlapping parts of the new memory area as separate regions;
Merging of all neighbouring regions.
We are going throuth the all already stored memory regions and check overlapping:
if new memory region does not overlap regions which are already stored in the memblock , insert this region into the
memblock with and this is first step, we check that new region can fit into the memory block and call memblock_double_array
in other way:
Memblock
90
linux-insides
memblock_double_array doubles the size of the given regions array. Than we set insert to the true and go to the repeat
label. In the second step, starting from the repeat label we go through the same loop and insert current memory region
into the memory block with the memblock_insert_region function:
As we set insert to true in the first step, now memblock_insert_region will be called. memblock_insert_region has almost
the same implemetation that we saw when we insert new region to the empty memblock_type (see above). This function get
the last memory region:
After this fills memblock_region fields of the new memory region base, size and etc... and increase size of the
memblock_type . In the end of the exution, memblock_add_range calls memblock_merge_regions which merges neighboring
0 0x1000
+-----------------------+
| |
| |
| region1 |
| |
| |
+-----------------------+
And now we want to add region2 to the memblock with the following base address and size:
0x100 0x2000
+-----------------------+
| |
| |
| region2 |
| |
| |
+-----------------------+
In this case set the base address of the new memory region as the end address of the overlapped region with:
So it will be 0x1000 in our case. And insert it as we did it already in the second step with:
Memblock
91
linux-insides
In this case we insert overlapping portion (we insert only higher portion, because lower already in the overlapped memory
region), than remaining portion and merge these portions with memblock_merge_regions . As i said above
memblock_merge_regions function merges neighboring compatible regions. It goes through the all memory regions from the
given memblock_type , takes two neighboring memory regions - type->regions[i] and type->regions[i + 1] and checks
that these regions have the same flags, belong to the same node and that end address of the first regions is not equal to
the base address of the second region:
If none of these conditions are not true, we update the size of the first region with the size of the next region:
this->size += next->size;
As we update the size of the first memory region with the size of the next memory region, we copy every (in the loop)
memory region which is after the current ( this ) memory region on the one index ago with the memmove function:
And decrease the count of the memory regions which are belongs to the memblock_type :
type->cnt--;
After this we will get two memory regions merged into one:
0 0x2000
+------------------------------------------------+
| |
| |
| region1 |
| |
| |
+------------------------------------------------+
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 only with one difference. It stores
memblock_type.reserved in the memblock instead of memblock_type.memory .
Memblock
92
linux-insides
Of course it is not full API. Memblock provides API for not only 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....
First of all this function checks that memblock contains reserved memory regions. If memblock does not contain reserved
memory regions we just return zero. In other way we write physical address of the reserved memory regions array to the
given address and return aligned size of the allicated aray. Note that there is PAGE_ALIGN macro used for align. Actually it
depends on size of page:
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.memory .
Memblock debugging
There are many calls of the memblock_dbg in the memblock implementation. If you will pass memblock=debug option to the
kernel command line, this function will be called. Actually memblock_dbg is just a macro which expands to the printk :
For example you can see call of this macro in the memblock_reserve function:
Memblock
93
linux-insides
Memblock has also support in debugfs. If you run kernel not in X86 architecture you can access:
/sys/kernel/debug/memblock/memory
/sys/kernel/debug/memblock/reserved
/sys/kernel/debug/memblock/physmem
for getting dump of the memblock contents.
Conclusion
This is the end of the first part about linux kernel memory management. If you have questions or suggestions, ping me in
twitter 0xAX, drop me email or just create 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 PR to linux-internals.
Links
e820
numa
debugfs
First touch of the linux kernel memory manager framework
Memblock
94
linux-insides
95
linux-insides
struct list_head {
struct list_head *next, *prev;
};
You can note that it is different from many lists implementations which you could see. For example this doubly linked list
structure from the glib:
struct GList {
gpointer data;
GList *next;
GList *prev;
};
Usually a linked list structure contains a pointer to the item. Linux kernel implementation of the list does not. So the main
question is - where does the list store the data? . The actual implementation of lists in the kernel is - Intrusive list . An
intrusive linked list does not contain data in its nodes - A node just contains pointers to the next and previous node and list
nodes part of the data that are added to the list. This makes the data structure generic, so it does not care about entry data
type anymore.
For example:
struct nmi_desc {
spinlock_t lock;
struct list_head head;
};
Let's look at some examples, how list_head is used in the kernel. As I already wrote about, there are many, really many
different places where lists are used in the kernel. Let's look for example in miscellaneous character drivers. Misc character
drivers API from the drivers/char/misc.c for writing small drivers for handling simple hardware or virtual devices. This drivers
share major number:
#define MISC_MAJOR 10
but has own minor number. For example you can see it with:
ls -l /dev | grep 10
crw------- 1 root root 10, 235 Mar 21 12:01 autofs
drwxr-xr-x 10 root root 200 Mar 21 12:01 cpu
crw------- 1 root root 10, 62 Mar 21 12:01 cpu_dma_latency
crw------- 1 root root 10, 203 Mar 21 12:01 cuse
96
linux-insides
Now let's look how lists are used in the misc device drivers. First of all let's look on miscdevice structure:
struct miscdevice
{
int minor;
const char *name;
const struct file_operations *fops;
struct list_head list;
struct device *parent;
struct device *this_device;
const char *nodename;
mode_t mode;
};
We can see the fourth field in the miscdevice structure - list which is list of registered devices. In the beginning of the
source code file we can see definition of the:
static LIST_HEAD(misc_list);
#define LIST_HEAD(name) \
struct list_head name = LIST_HEAD_INIT(name)
and initializes it with the LIST_HEAD_INIT macro which set previous and next entries:
Now let's look on the misc_register function which registers a miscellaneous device. At the start it initializes miscdevice>list with the INIT_LIST_HEAD function:
INIT_LIST_HEAD(&misc->list);
97
linux-insides
In the next step after device created with the device_create function we add it to the miscellaneous devices list with:
list_add(&misc->list, &misc_list);
Kernel list.h provides this API for the addition of new entry to the list. Let's look on it's implementation:
Here we set new item between prev and next . So misc list which we defined at the start with the LIST_HEAD_INIT macro
will contain previous and next pointers to the miscdevice->list .
There is still only one question how to get list's entry. There is special special macro for this point:
After this we can access to the any miscdevice field with p->minor or p->name and etc... Let's look on the list_entry
implementation:
98
linux-insides
As we can see it just calls container_of macro with the same arguments. For the first look container_of looks strange:
First of all you can note that it consists from two expressions in curly brackets. Compiler will evaluate the whole block in the
curly braces and use the value of the last expression.
For example:
#include <stdio.h>
int main() {
int i = 0;
printf("i = %d\n", ({++i; ++i;}));
return 0;
}
will print 2 .
The next point is typeof , it's simple. As you can understand from its name, it just returns the type of the given varible.
When I first time saw implementation of the container_of macro, the stranges thing for me was the zero in the ((type
*)0) expression. Actually this pointers magic calculates the offset of the given field from the address of the structure, but as
we have 0 here, it will be just adds offset of the given field to zero. Let's look on the one simple example:
#include <stdio.h>
struct s {
int field1;
char field2;
char field3;
};
int main() {
printf("%p\n", &((struct s*)0)->field3);
return 0;
}
Let's summarize all about container_of macro. container_of macro returns address of the structure by the given address
of the structure's field with list_head type, the name of the structure field with list_head type and type of the container
structure. At the first line this macro declares the __mptr pointer which points to the field of the structure that ptr points to
and assigns it to the ptr . Now ptr and __mptr points have the same address. Techincally we no need in this line, it
needs for the type checking. First line ensures that that given structure ( type paramter) has a member which called
member . In the second line it calculates offset of the field from the structure with the offsetof macro and substracts it from
99
linux-insides
100
linux-insides
Paging
Introduction
In the fifth part of the series Linux kernel booting process we finished to learn what and how kernel does on the earliest
stage. In the next step kernel will initialize different things like initrd mounting, lockdep initialization, and many many
different things, before we can see how the kernel will run the first init process.
Yeah, there will be many different things, but many many and once again many work with memory.
In my view, memory management is one of the most complex part of the linux kernel and in system programming generally.
So before we will proceed with the kernel initialization stuff, we will get acquainted with the paging.
Paging is a process of translation a linear memory address to a physical address. If you have read previous parts, you can
remember that we saw segmentation in the real mode when physical address calculated by shifting a segment register on
four and adding offset. Or also we saw segmentation in the protected mode, where we used the tables of descriptors and
base addresses from descriptors with offsets to calculate physical addresses. Now we are in 64-bit mode and that we will
see paging.
As Intel manual says:
Paging provides a mech-anism for implementing a conventional demand-paged, virtual-memory system where sections of a programs executio
So... I will try to explain how paging works in theory in this post. Of course it will be closely related with the linux kernel for
x86_64 , but we will not go into deep details (at least in this post).
Enabling paging
There are three paging modes:
32-bit paging;
PAE paging;
IA-32e paging.
We will see explanation only last mode here. To enable IA-32e paging paging mode need to do following things:
set CR0.PG bit;
set CR4.PAE bit;
set IA32_EFER.LME bit.
We already saw setting of this bits in the arch/x86/boot/compressed/head_64.S:
and
Paging
101
linux-insides
Paging structures
Paging divides the linear address space into fixed-size pages. Pages can be mapped into the physical address space or
even external storage. This fixed size is 4096 bytes for the x86_64 linux kernel. For a linear address translation to a
physical address used special structures. Every structure is 4096 bytes size and contains 512 entries (this only for PAE
and IA32_EFER.LME modes). Paging structures are hierarchical and linux kernel uses 4 level paging for x86_64 . CPU uses
a part of the linear address to identify entry of the another paging structure which is at the lower level or physical memory
region ( page frame ) or physical address in this region ( page offset ). The address of the top level paging structure located
in the cr3 register. We already saw this in the arch/x86/boot/compressed/head_64.S:
We built page table structures and put the address of the top-level structure to the cr3 register. Here cr3 is used to store
the address of the top-level PML4 structure or Page Global Directory as it calls in linux kernel. cr3 is 64-bit register and
has the following structure:
63 52 51 32
-------------------------------------------------------------------------------| | |
| Reserved MBZ | Address of the top level structure |
| | |
-------------------------------------------------------------------------------31 12 11 5 4 3 2 0
-------------------------------------------------------------------------------| | | P | P | |
| Address of the top level structure | Reserved | C | W | Reserved |
| | | D | T | |
--------------------------------------------------------------------------------
the paging structure level-3, 29:21 bits stores an index into the paging structure level-2, 20:12 bits stores an index
into the paging structure level-1 and 11:0 bits provide the byte offset into the physical page.
Paging
102
linux-insides
Every access to a linear address is either a supervisor-mode access or a user-mode access. This access determined by
the CPL (current privilege level). If CPL < 3 it is a supervisor mode access level and user mode access level in other ways.
For example top level page table entry contains access bits and has the following structure:
63 62 52 51 32
-------------------------------------------------------------------------------| N | | |
| | Available | Address of the paging structure on lower level |
| X | | |
-------------------------------------------------------------------------------31 12 11 9 8 7 6 5 4 3 2 1 0
-------------------------------------------------------------------------------| | | M |I| | P | P |U|W| |
| Address of the paging structure on lower level | AVL | B |G|A| C | W | | | P |
| | | Z |N| | D | T |S|R| |
--------------------------------------------------------------------------------
Where:
63 bit - N/X bit (No Execute Bit) - presents ability to execute the code from physical pages mapped by the table entry;
62:52 bits - ignored by CPU, used by system software;
51:12 bits - stores physical address of the lower level paging structure;
12:9 bits - ignored by CPU;
MBZ - must be zero bits;
Ignored bits;
A - accessed bit indicates was physical page or page structure accessed;
PWT and PCD used for cache;
U/S - user/supervisor bit controls user access to the all physical pages mapped by this table entry;
R/W - read/write bit controls read/write access to the all physical pages mapped by this table entry;
P - present bit. Current bit indicates was page table or physical page loaded into primary memory or not.
Paging
103
linux-insides
Ok, now we know about paging structures and it's entries. Let's see some details about 4-level paging in linux kernel.
We can see 0xffffffff81efe497 here. I'm not sure that you have so big RAM. But anyway start_kernel and
x86_64_start_kernel will be executed. The address space in x86_64 is 2^64 size, but it's too large, that's why used
smaller address space, only 48-bits wide. So we have situation when physical address limited with 48 bits, but addressing
still performed with 64 bit pointers. How to solve this problem? Ok, look on the diagram:
0xffffffffffffffff +-----------+
| |
| | Kernelspace
| |
0xffff800000000000 +-----------+
| |
| |
| hole |
| |
| |
0x00007fffffffffff +-----------+
| |
| | Userspace
| |
0x0000000000000000+-----------+
This solution is sign extension . Here we can see that low 48 bits of a virtual address can be used for addressing. Bits
63:48 can be or 0 or 1. Note that all virtual address space is spliten on 2 parts:
Kernel space
Userspace
Userspace occupies the lower part of the virtual address space, from 0x000000000000000 to 0x00007fffffffffff and kernel
space occupies the highest part from the 0xffff8000000000 to 0xffffffffffffffff . Note that bits 63:48 is 0 for userspace
and 1 for kernel space. All addresses which are in kernel space and in userspace or in another words which higher 63:48
bits zero or one calls canonical addresses. There is non-canonical area between these memory regions. Together this
two memory regions (kernel space and user space) are exactly 2^48 bits. We can find virtual memory map with 4 level
page tables in the Documentation/x86/x86_64/mm.txt:
Paging
104
linux-insides
We can see here memory map for user space, kernel space and non-canonical area between. User space memory map is
simple. Let's take a closer look on the kernel space. We can see that it starts from the guard hole which reserved for
hypervisor. We can find definition of this guard hole in the arch/x86/include/asm/page_64_types.h:
Previously this guard hole and __PAGE_OFFSET was from 0xffff800000000000 to 0xffff80ffffffffff for preventing of
access to non-canonical area, but later was added 3 bits for hypervisor.
Next is the lowest usable address in kernel space - ffff880000000000 . This virtual memory region is for direct mapping of
the all physical memory. After the memory space which mapped all physical address - guard hole, it needs to be between
direct mapping of the all physical memory and vmalloc area. After the virtual memory map for the first terabyte and unused
hole after it, we can see kasan shadow memory. It was added by the commit and provides kernel address sanitizer. After
next unused hole we can se esp fixup stacks (we will talk about it in the other parts) and the start of the kernel text
mapping from the physical address - 0 . We can find definition of this address in the same file as the __PAGE_OFFSET :
Usually kernel's .text start here with the CONFIG_PHYSICAL_START offset. We saw it in the post about ELF64:
Here i checked vmlinux with the CONFIG_PHYSICAL_START is 0x1000000 . So we have the start point of the kernel .text 0xffffffff80000000 and offset - 0x1000000 , the resulted virtual address will be 0xffffffff80000000 + 1000000 =
0xffffffff81000000 .
After the kernel .text region, we can see virtual memory region for kernel modules, vsyscalls and 2 megabytes unused
hole.
We know how looks kernel's virtual memory map and now we can see how a virtual address translates into physical. Let's
take for example following address:
0xffffffff81000000
Paging
105
linux-insides
That is all. Now you know a little about paging theory and we can go ahead in the kernel source code and see first
initialization steps.
Conclusion
It's the end of this short part about paging theory. Of course this post doesn't cover all details about paging, but soon we will
see it on practice how linux kernel builds paging structures and work with it.
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 PR to linux-internals.
Links
Paging on Wikipedia
Intel 64 and IA-32 architectures software developer's manual volume 3A
MMU
ELF64
Documentation/x86/x86_64/mm.txt
Last part - Kernel booting process
Paging
106
linux-insides
107
linux-insides
All data stores in a sections in an Elf object file. Sections identified by index in the section header table. Section header
contains following fields:
Section name;
Section type;
Section attributes;
Virtual address in memory;
Offset in file;
Size of section;
Link to other section;
Miscellaneous information;
Address alignment boundary;
Size of entries, if section has table;
And presented with the following elf64_shdr structure in the linux kernel:
And ELF object file also contains other fields/structures which you can find in the Documentation. Better let's look on the
vmlinux .
vmlinux
vmlinux is relocatable ELF object file too. So we can look on it with the readelf util. First of all let's look on a header:
$ readelf -h vmlinux
Elf64
108
linux-insides
ELF Header:
Magic: 7f 45 4c 46 02 01 01 00 00 00 00 00 00 00 00 00
Class: ELF64
Data: 2's complement, little endian
Version: 1 (current)
OS/ABI: UNIX - System V
ABI Version: 0
Type: EXEC (Executable file)
Machine: Advanced Micro Devices X86-64
Version: 0x1
Entry point address: 0x1000000
Start of program headers: 64 (bytes into file)
Start of section headers: 381608416 (bytes into file)
Flags: 0x0
Size of this header: 64 (bytes)
Size of program headers: 56 (bytes)
Number of program headers: 5
Size of section headers: 64 (bytes)
Number of section headers: 73
Section header string table index: 70
Note that here is address of the startup_64 routine is not ffffffff80000000 , but ffffffff81000000 and now i'll explain
why.
We can see following definition in the arch/x86/kernel/vmlinux.lds.S:
. = __START_KERNEL;
...
...
..
/* Text and read-only data */
.text : AT(ADDR(.text) - LOAD_OFFSET) {
_text = .;
...
...
...
}
__START_KERNEL_map is the value from documentation - ffffffff80000000 and __PHYSICAL_START is 0x1000000 . That's why
109
linux-insides
readelf -l vmlinux
Elf file type is EXEC (Executable file)
Entry point 0x1000000
There are 5 program headers, starting at offset 64
Program Headers:
Type Offset VirtAddr PhysAddr
FileSiz MemSiz Flags Align
LOAD 0x0000000000200000 0xffffffff81000000 0x0000000001000000
0x0000000000cfd000 0x0000000000cfd000 R E 200000
LOAD 0x0000000001000000 0xffffffff81e00000 0x0000000001e00000
0x0000000000100000 0x0000000000100000 RW 200000
LOAD 0x0000000001200000 0x0000000000000000 0x0000000001f00000
0x0000000000014d98 0x0000000000014d98 RW 200000
LOAD 0x0000000001315000 0xffffffff81f15000 0x0000000001f15000
0x000000000011d000 0x0000000000279000 RWE 200000
NOTE 0x0000000000b17284 0xffffffff81917284 0x0000000001917284
0x0000000000000024 0x0000000000000024 4
Section to Segment mapping:
Segment Sections...
00 .text .notes __ex_table .rodata __bug_table .pci_fixup .builtin_fw
.tracedata __ksymtab __ksymtab_gpl __kcrctab __kcrctab_gpl
__ksymtab_strings __param __modver
01 .data .vvar
02 .data..percpu
03 .init.text .init.data .x86_cpu_dev.init .altinstructions
.altinstr_replacement .iommu_table .apicdrivers .exit.text
.smp_locks .data_nosave .bss .brk
Here we can see five segments with sections list. All of these sections you can find in the generated linker script at arch/x86/kernel/vmlinux.lds .
That's all. Of course it's not a full description of ELF object format, but if you are interesting in it, you can find documentation
- here
Elf64
110
linux-insides
Per-CPU variables
In Progress
Per-CPU variables are one of kernel features. You can understand what this feature mean by it's name. We can create
variable and each processor core will have own copy of this variable. We take a closer look on this feature and try to
understand how it implemented and how it work in this part.
Kernel provides API for creating per-cpu variables - DEFINE_PER_CPU macro:
This macro defined in the include/linux/percpu-defs.h as many other macros for work with per-cpu variables. Now we will
see how this feature implemented.
Take a look on DECLARE_PER_CPU definition. We see that it takes 2 paramters: type and name . So we can use it for creation
per-cpu variable, for example like this:
DEFINE_PER_CPU(int, per_cpu_n)
We pass type of our variable and name. DEFI_PER_CPU calls DEFINE_PER_CPU_SECTION macro and passes the same two
paramaters and empty string to it. Let's look on the defintion of the DEFINE_PER_CPU_SECTION :
#define __PCPU_ATTRS(sec) \
__percpu __attribute__((section(PER_CPU_BASE_SECTION sec))) \
PER_CPU_ATTRIBUTES
After all macros will be exapanded we will get global per-cpu variable:
It means that we will have per_cpu_n variable in the .data..percpu section. We can find this section in the vmlinux :
Ok, now we know that when we use DEFINE_PER_CPU macro, per-cpu variable in the .data..percpu section will be created.
Per-CPU variables
111
linux-insides
When kernel initilizes it calls setup_per_cpu_areas function which loads .data..percpu section multiply times, one section
per CPU. After kernel finished initialization process we have loaded N .data..percpu sections, where N is a number of
CPU, and section used by bootstrap processor will contain uninitializaed variable created with DEFINE_PER_CPU macro.
Kernel provides API for per-cpu variables manipulating:
get_cpu_var(var)
put_cpu_var(var)
Let's look on get_cpu_var implementation:
#define get_cpu_var(var) \
(*({ \
preempt_disable(); \
this_cpu_ptr(&var); \
}))
Linux kernel is preemptible and accessing a per-cpu variable requires to know which processor kernel running on. So,
current code must not be preempted and moved to the another CPU while accessing a per-cpu variable. That's why first of
all we can see call of the preempt_disable function. After this we can see call of the this_cpu_ptr macro, which looks as:
and
where per_cpu_ptr returns a pointer to the per-cpu variable for the given cpu (second paramter). After that we got per-cpu
variables and made any manipulations on it, we must call put_cpu_var macro which enables preemption with call of
preempt_enable function. So the typical usage of a per-cpu variable is following:
get_cpu_var(var);
...
//Do something with the 'var'
...
put_cpu_var(var);
As i wrote above, this macro returns per-cpu variable for the given cpu. First of all it calls __verify_pcpu_ptr :
#define __verify_pcpu_ptr(ptr)
do {
const void __percpu *__vpp_verify = (typeof((ptr) + 0))NULL;
(void)__vpp_verify;
} while (0)
Per-CPU variables
112
linux-insides
where NR_CPUS is the number of CPUs. __per_cpu_offset array filled with the distances between cpu-variables copies. For
example all per-cpu data is X bytes size, so if we access __per_cpu_offset[Y] , so X*Y will be accessed. Let's look on the
SHIFT_PERCPU_PTR implementation:
RELOC_HIDE just returns offset (typeof(ptr)) (__ptr + (off)) and it will be pointer of the variable.
That's all! Of course it is not full API, but the general part. It can be hard for the start, but to understand per-cpu variables
feature need to understand mainly include/linux/percpu-defs.h magic.
Let's again look on the algorithm of getting pointer on per-cpu variable:
Kernel creates multiply .data..percpu sections (ones perc-pu) during intialization process;
All variables created with the DEFINE_PER_CPU macro will be reloacated to the first section or for CPU0;
__per_cpu_offset array filled with the distance ( BOOT_PERCPU_OFFSET ) between .data..percpu sections;
When per_cpu_ptr called for example for getting pointer on the certain per-cpu variable for the third CPU,
__per_cpu_offset array will be accessed, where every index points to the certain CPU.
That's all.
Per-CPU variables
113
linux-insides
Useful links
Linux boot
Linux/x86 boot protocol
Protected mode
64-ia-32-architectures-software-developer-vol-3a-part-1-manual.pdf
Serial programming
8250 UART Programming
Serial ports on OSDEV
VGA
Video Graphics Array (VGA)
IO
IO port programming
Useful links
114
linux-insides
Contributors
115