内核代码阅读(3) - 内存管理的基本框架

简介: 内存管理的基本框架

Linux 内存管理的基本框架

内核中的3层映射

为了同时兼顾32位,64位CPU,内核的映射机制设计成3层。

PGD, PMD, PT(PTE)

内核中3层映射是如何在i386CPU转换成了2层映射?

#if CONFIG_X86_PAE
   # include <asm/pgtable-3level.h>
   #else
   # include <asm/pgtable-2level.h>
   #endif

在i386中直接include了pgtable-2level.h。

架构相关的代码集中在h文件中,然后根据设置的宏进行选择。

另外,

#define PGDIR_SHIFT 22 //PGDIR 从22位到32位

#define PTRS_PER_PGD 1024 //一个PGDIR 的空间是1024个PMD

#define PMD_SHIFT 22 // PMD 也是从22位开始 [PMD, PGDIR) 正好是0个bit位。

#define PTRS_PER_PMD 1

虚拟地址划分

32位的虚拟地址,空间大小是4G。
内核把最高的1G分配给内核使用 [0xCFFFFFFF ,0xFFFFFFFF)
用户空间的虚拟地址[0, 0xBFFFFFFF)

内核空间的地址映射

内核的虚拟地址占据最高的1G,但是物理地址是固定的从0开始。所以,内核的虚拟地址到物理地址的映射很简单减去3G (0xC0000000)
#define __PAGE_OFFSET        (0xC0000000)
#define PAGE_OFFSET        ((unsigned long)__PAGE_OFFSET)
#define __pa(x)            ((unsigned long)(x)-PAGE_OFFSET)
#define __va(x)            ((void *)((unsigned long)(x)+PAGE_OFFSET))
可以看到:
    内核虚拟地址到物理的翻译直接减去PAGE_OFFSET  _pa(x)
而反向映射的宏__va(x) 则加上PAGE_OFFSET
同时,PAGE_OFFSET 也代表用户空间的上限(processor.h)。
/*
 * User space process size: 3GB (default).
 */
#define TASK_SIZE    (PAGE_OFFSET)

地址映射的全过程

段式映射

由于i386同时支持段和页,所以地址映射必须走一遍段映射。

linux是如何饶过段式映射的?

1) 创建一个进程的时候给所有进程的段寄存器的赋值一样

#define start_thread(regs, new_eip, new_esp) do {        \
__asm__("movl %0,%%fs ; movl %0,%%gs": :"r" (0));    \
set_fs(USER_DS);                    \
regs->xds = __USER_DS;                    \
regs->xes = __USER_DS;                    \
regs->xss = __USER_DS;                    \
regs->xcs = __USER_CS;                    \
regs->eip = new_eip;                    \
regs->esp = new_esp;                    \
 } while (0)

2) 再看__USER_DS和__USER_CS的定义

#define __KERNEL_CS    0x10
 #define __KERNEL_DS    0x18
 #define __USER_CS    0x23
 #define __USER_DS    0x2B
 这4个值就是段寄存器的值,而他们的TI位都是0,都用GDT表。
 而高13位依次是2,3,4,5. 所以当前进程所用的段描述符都是在全局的段描述符的2,3,4,5项。

3) 再看全局段描述符表的初始化

ENTRY(gdt_table)
.quad 0x0000000000000000    /* NULL descriptor */
.quad 0x0000000000000000    /* not used */
.quad 0x00cf9a000000ffff    /* 0x10 kernel 4GB code at 0x00000000 */
.quad 0x00cf92000000ffff    /* 0x18 kernel 4GB data at 0x00000000 */
.quad 0x00cffa000000ffff    /* 0x23 user   4GB code at 0x00000000 */
.quad 0x00cff2000000ffff    /* 0x2b user   4GB data at 0x00000000 */
  从注释可以看到2,3为kernel的段描述符;4,5为用户进程的段描述符。
  这些描述的base都是0,至此解释了代码中的虚拟地址经过段式映射之后还是自身。

页式映射

CR3里保存当前进程的PGD值。进程切换要初始化CR3寄存器。
asm volatile ("movl %0 %%cr3": : "r"(__pa(next->pgd)))
相关文章
|
Web App开发 缓存 监控
如何解决Node框架中内存管理的挑战?
解决 Node 框架中内存管理的挑战需要综合运用多种方法,并且需要在开发过程中保持谨慎和细心,不断优化和改进代码。同时,定期进行内存管理的检查和维护也是非常重要的。
248 63
|
算法 安全 Linux
探索Linux内核的虚拟内存管理
【5月更文挑战第20天】 在本文中,我们将深入探讨Linux操作系统的核心组成部分之一——虚拟内存管理。通过剖析其关键组件和运作机制,揭示虚拟内存如何提供高效的内存抽象,支持庞大的地址空间,以及实现内存保护和共享。文章将重点讨论分页机制、虚拟内存区域(VMAs)的管理、页面置换算法,并简要分析这些技术是如何支撑起现代操作系统复杂而多变的内存需求的。
|
12月前
|
算法 Linux
深入探索Linux内核的内存管理机制
本文旨在为读者提供对Linux操作系统内核中内存管理机制的深入理解。通过探讨Linux内核如何高效地分配、回收和优化内存资源,我们揭示了这一复杂系统背后的原理及其对系统性能的影响。不同于常规的摘要,本文将直接进入主题,不包含背景信息或研究目的等标准部分,而是专注于技术细节和实际操作。
|
算法 Linux 开发者
深入探究Linux内核中的内存管理机制
本文旨在对Linux操作系统的内存管理机制进行深入分析,探讨其如何通过高效的内存分配和回收策略来优化系统性能。文章将详细介绍Linux内核中内存管理的关键技术点,包括物理内存与虚拟内存的映射、页面置换算法、以及内存碎片的处理方法等。通过对这些技术点的解析,本文旨在为读者提供一个清晰的Linux内存管理框架,帮助理解其在现代计算环境中的重要性和应用。
|
存储 算法 安全
深入理解Linux内核的内存管理机制
本文旨在深入探讨Linux操作系统内核的内存管理机制,包括其设计理念、实现方式以及优化策略。通过详细分析Linux内核如何处理物理内存和虚拟内存,揭示了其在高效利用系统资源方面的卓越性能。文章还讨论了内存管理中的关键概念如分页、交换空间和内存映射等,并解释了这些机制如何协同工作以提供稳定可靠的内存服务。此外,本文也探讨了最新的Linux版本中引入的一些内存管理改进,以及它们对系统性能的影响。
|
缓存 算法 Linux
Linux内核中的内存管理机制深度剖析####
【10月更文挑战第28天】 本文深入探讨了Linux操作系统的心脏——内核,聚焦其内存管理机制的奥秘。不同于传统摘要的概述方式,本文将以一次虚拟的内存分配请求为引子,逐步揭开Linux如何高效、安全地管理着从微小嵌入式设备到庞大数据中心数以千计程序的内存需求。通过这段旅程,读者将直观感受到Linux内存管理的精妙设计与强大能力,以及它是如何在复杂多变的环境中保持系统稳定与性能优化的。 ####
263 0
|
存储 算法 C语言
MacOS环境-手写操作系统-15-内核管理 检测可用内存
MacOS环境-手写操作系统-15-内核管理 检测可用内存
172 0
|
算法 安全 UED
探索操作系统的内核空间:虚拟内存管理
【7月更文挑战第50天】 在现代操作系统中,虚拟内存管理是核心功能之一,它允许操作系统高效地使用物理内存,并为应用程序提供独立的地址空间。本文将深入探讨操作系统虚拟内存管理的机制,包括分页、分段以及内存交换等关键技术,并分析它们如何共同作用以实现内存的有效管理和保护。通过理解这些原理,读者可以更好地把握操作系统的内部工作原理及其对应用程序性能的影响。
|
设计模式 存储 安全
Java面试题:设计一个线程安全的单例类并解释其内存占用情况?使用Java多线程工具类实现一个高效的线程池,并解释其背后的原理。结合观察者模式与Java并发框架,设计一个可扩展的事件处理系统
Java面试题:设计一个线程安全的单例类并解释其内存占用情况?使用Java多线程工具类实现一个高效的线程池,并解释其背后的原理。结合观察者模式与Java并发框架,设计一个可扩展的事件处理系统
240 1
|
数据采集 人工智能 测试技术
3倍生成速度还降内存成本,超越Medusa2的高效解码框架终于来了
【5月更文挑战第21天】CLLM,一种新方法,通过并行解码提升大型语言模型推理速度3-4倍,降低内存成本,超越Medusa2。采用Jacobi解码和微调策略,保证生成质量。无需修改模型架构,训练成本低,可与现有技术集成。但依赖高质量数据集,更大数据集可提高泛化能力。[链接](https://arxiv.org/pdf/2403.00835)
235 2

热门文章

最新文章