xv6源码分析--内存管理

news2024/10/5 16:29:46

大家好,我叫徐锦桐,个人博客地址为www.xujintong.com,github地址为https://github.com/jintongxu。平时记录一下学习计算机过程中获取的知识,还有日常折腾的经验,欢迎大家访问。

一、前言

xv6的内存管理在kernel/kalloc.c文件中,在线查看该代码请点击。(注意: 该文章代码都在kernel/kalloc.c中)

首先介绍一个结构体kmem,源码如下:

struct run {
  struct run *next;
};

// 这是一个临界资源,修改时候要获取锁
struct {
  struct spinlock lock;
  struct run *freelist;
} kmem;

kmem是一个临界资源,其中定义了一个锁,还有一个空闲页的链表,在这个空闲页的链表中存储着当前所有的空闲页

二、xv6启动后内存的初始化

xv6启动的流程为entry.S --> start.c --> main.c。在main.c中会初始化各个部件,比如内存初始化、页表初始化等等。

xv6启动

(具体的启动流程,这边文章不过多说明,以后有时间专门写一篇文章)

初始化内存的函数是kinit(),这里的锁就不特别说明了,因为kmem结构是个临界资源,所以修改的时候要获取锁,防止在当前进程修改的过程中被其他进程修改了。

void
kinit()
{
  // 初始化锁
  initlock(&kmem.lock, "kmem");
  /*  将第一个可用的内存到最后一个可用的内存分成一页一页的
    * 并将这些页添加到空闲页链表中
  */
  freerange(end, (void*)PHYSTOP);
}

kinit()中调用了freerange(),该函数传入两个指针,从 pa_start到pa_end的物理地址分成一页一页的,然后加入到空闲链表中。

void
freerange(void *pa_start, void *pa_end)
{
  char *p;
  p = (char*)PGROUNDUP((uint64)pa_start);  // p  是比pa_start地址高,且最近的一个页 
  // 从 pa_start 内存对齐后的页,到 pa_end 的每个页都释放掉,并加入到空闲页链表中
  for(; p + PGSIZE <= (char*)pa_end; p += PGSIZE)
    kfree(p);
}

freerange()中用到了一个PGROUNDUP,这个的作用是页对齐,也就是获取大于等于pa_start的下一个页面对齐的地址,因为pa_start到pa_end不一定能分成整数个的页,所以找到下一个是PGSIZE整数倍的地址(假设将所有物理内存分成一页一页的,将pa_start放到PGSIZE整数倍的地址处,能保证将该物理区域分成整数个page)。

页对齐

freerange()还用到了kfree(void *pa),它的功能是将pa页释放掉,并且将pa页面加入到空闲页链表中。源码如下:

void
kfree(void *pa)
{
  struct run *r;

  // 如果该页不是 PGSIZE 的整数倍,或者小于第一个可用内存的地址,或者大于最大可用内存地址 -- 就陷入恐慌
  if(((uint64)pa % PGSIZE) != 0 || (char*)pa < end || (uint64)pa >= PHYSTOP)
    panic("kfree");

  // Fill with junk to catch dangling refs.
  memset(pa, 1, PGSIZE);

  r = (struct run*)pa;

  acquire(&kmem.lock);
  // 将 pa 页加入到空闲页链表中
  r->next = kmem.freelist;
  kmem.freelist = r;
  release(&kmem.lock);
}

可以看到kfree就是先判断页是否有效,然后fill with junk to catch dangling refs.,最后将pa页添加到空闲页链表中。

kinit()freerange(void *pa_start, void *pa_end)传入了两个参数,一个是end()、一个是**(void*)PHYSTOP**。end()表示是内核区域后第一个可用的地址,(void*)PHYSTOP表示的是物理地址的结束地址。所以**kinit()**表示将当前可用的物理地址初始化为整数个页,并将这些页加入到空闲页链表中。

三、分配内存

kalloc(void)函数分配一个4096-byte的物理页,然后返回指向该页起始地址的指针。源码如下:

// Allocate one 4096-byte page of physical memory.
// Returns a pointer that the kernel can use.
// Returns 0 if the memory cannot be allocated.
void *
kalloc(void)
{
  struct run *r;

  acquire(&kmem.lock);
  // 获取空闲页链表中的第一个空闲页面
  r = kmem.freelist;
  if(r)
    // 将空闲页链表中的第一个空闲页面丢弃
    kmem.freelist = r->next;
  release(&kmem.lock);

  if(r)
    memset((char*)r, 5, PGSIZE); // fill with junk

  // 返回一个指向该地址的指针
  return (void*)r;
}

可以看到,上锁就不用多说了(因为要修改临界资源),先获取空闲链表中的第一个空闲页面,如果存在这个页面,就将该页面从空闲页面中去掉,然后把该页面fill with junk,最后返回指向该页起始地址的指针。

四、kalloc.c的源码

最后附一个kernel/kalloc.c的源码。

// Physical memory allocator, for user processes,
// kernel stacks, page-table pages,
// and pipe buffers. Allocates whole 4096-byte pages.

#include "types.h"
#include "param.h"
#include "memlayout.h"
#include "spinlock.h"
#include "riscv.h"
#include "defs.h"

void freerange(void *pa_start, void *pa_end);

// 第一个可用的空间
extern char end[]; // first address after kernel.
                   // defined by kernel.ld.

struct run {
  struct run *next;
};

// 这是一个临界资源,修改时候要获取锁
struct {
  struct spinlock lock;
  struct run *freelist;
} kmem;

void
kinit()
{
  // 初始化锁
  initlock(&kmem.lock, "kmem");
  /*  将第一个可用的内存到最后一个可用的内存分成一页一页的
    * 并将这些页添加到空闲页链表中
  */
  freerange(end, (void*)PHYSTOP);
}

void
freerange(void *pa_start, void *pa_end)
{
  char *p;
  p = (char*)PGROUNDUP((uint64)pa_start);  // p  是比pa_start地址高,且最近的一个页 
  // 从 pa_start 内存对齐后的页,到 pa_end 的每个页都释放掉,并加入到空闲页链表中
  for(; p + PGSIZE <= (char*)pa_end; p += PGSIZE)
    kfree(p);
}

// Free the page of physical memory pointed at by pa,
// which normally should have been returned by a
// call to kalloc().  (The exception is when
// initializing the allocator; see kinit above.)
// 释放一个页,将该页加入到 freelist 中
void
kfree(void *pa)
{
  struct run *r;

  // 如果该页不是 PGSIZE 的整数倍,或者小于第一个可用内存的地址,或者大于最大可用内存地址 -- 就陷入恐慌
  if(((uint64)pa % PGSIZE) != 0 || (char*)pa < end || (uint64)pa >= PHYSTOP)
    panic("kfree");

  // Fill with junk to catch dangling refs.
  memset(pa, 1, PGSIZE);

  r = (struct run*)pa;

  acquire(&kmem.lock);
  // 将 pa 页加入到空闲页链表中
  r->next = kmem.freelist;
  kmem.freelist = r;
  release(&kmem.lock);
}

// Allocate one 4096-byte page of physical memory.
// Returns a pointer that the kernel can use.
// Returns 0 if the memory cannot be allocated.
void *
kalloc(void)
{
  struct run *r;

  acquire(&kmem.lock);
  // 获取空闲页链表中的第一个空闲页面
  r = kmem.freelist;
  if(r)
    // 将空闲页链表中的第一个空闲页面丢弃
    kmem.freelist = r->next;
  release(&kmem.lock);

  if(r)
    memset((char*)r, 5, PGSIZE); // fill with junk

  // 返回一个指向该地址的指针
  return (void*)r;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1359899.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

知虾大数据Shopee平台有:为什么它对用户和卖家都如此重要?

Shopee是一家知名的电子商务平台&#xff0c;为了提供更好的用户体验和实现可持续发展&#xff0c;他们利用大数据分析用户行为、交易信息和市场趋势等数据。这些数据被称为知虾大数据&#xff08;Shopee Big Data&#xff09;&#xff0c;它对于Shopee平台和卖家来说都具有重要…

JDBC数据库访问——数据库操作

与指定的数据库建立连接后&#xff0c;就可以使用JDBC提供的API对数据库进行操作&#xff0c;包括查询、新增、更新、删除等。 1.查询操作 和数据库建立连接后&#xff0c;对数据库表进行查询操作的步骤如下&#xff1a; ①创建statement对象 由已创建的Connection对象con调…

贪心算法:活动选择问题以及贪心选择性质证明

什么时候使用贪婪算法? – 贪心选择特性: 全局的最优解可以通过局部的最优&#xff08;贪婪&#xff09; 选择得到. • 动态规划需要检查子问题的解。 – 最优子结构: 问题的最优解包含了其子问题的最优解. • 例如, 如果 A 是S的最优解, 那么 A A - {1} 是 的最优解. …

UE4.27_PIE/SIE

UE4.27_PIE/SIE 1. 疑问&#xff1a; 不明白什么是PIE/SIE? 不知道快捷键&#xff1f; 2. PIE/SIE: play in editor/simulate in editor 3. 快捷键&#xff1a; F8: 运行时possess&eject切换 4. 运行操作效果&#xff1a; PIE&SIE

WWDC2022 大会 : | WatchOS 9升级,跨平台智能家居系统Matter

目录 WatchOS 9升级 全新表盘 体能训练 APP 睡眠追踪 心脏健康 药物 APP 使用方式 跨平台智能家居系统Matter 6月7日凌晨&#xff0c;苹果WWDC22准时与大家见面。本次发布会带来了iOS 16、watchOS 9、M2芯片以及新的MacBook等软硬件新品&#xff0c;同时也对现有的软件…

Js的$如同 sed的 java的$0 指代matcher匹配到的内容的符号

Js的$&如同 sed的& java的$0 $& 可用于Js,Vscode,RJTextEd,editplus,notepad, 在 Vscode,RJTextEd,editplus,notepad,等的替换中, 启用正则, 就能使 $&生效, 比如 ($&)表示给匹配到的内容加上括号 $& 可用于Js的String的replace(和replaceAll( 的第二…

Postman 并发测试入门指南:如何模拟用户并发请求?

背景介绍 最近&#xff0c;我们发起了一个在线图书管理系统的项目。我负责的一个关键模块包括三个主要后台接口&#xff1a; 实现对books数据的检索。实施对likes数据的获取。通过collections端点访问数据。 应对高流量的挑战 在设计并部署接口时&#xff0c;我们不可避免地…

springboot项目 java -jar xxx.jar 没有主清单属性解决方法

1.在pom文件中添加如下 <plugins><!--解决SpringBoot打包成jar后运行提示没有主清单属性--><plugin><groupId>org.springframework.boot</groupId><artifactId>spring-boot-maven-plugin</artifactId><configuration><fork…

Visual Studio 2022进行文件差异比较

前言 Visual Studio 2022在版本17.7.4中发布在解决方案资源管理器中比较文件的功能&#xff0c;通过使用此功能&#xff0c;可以轻松地查看两个文件之间的差异&#xff0c;包括添加、删除和修改的代码行。可以逐行查看差异&#xff0c;并根据需要手动调整和编辑文件内容以进行…

一、Qt介绍

一、Qt介绍 1、介绍 Qt是一套程序开发库&#xff0c;但是与MFC&#xff08;依赖于Windows API&#xff09;不同&#xff0c;Qt是跨平台开发库。 Qt获取&#xff1a;[Qt下载地址](https://download.qt.io/archive/qt/)2、Qt安装 QtMinGWSourcesQt ChartsQt Data Visualizatio…

2024年,Web3技术的“iPhone时刻”会出现吗?

出品&#xff5c;欧科云链研究院 关于2024年的Web3市场&#xff0c;大多数人目前是持乐观态度的。随着宏观政策稳定&#xff0c;美国和香港地区不断释放加密资产现货ETF的利好&#xff0c;叠加铭文热潮及减半周期临近&#xff0c;市场对Web3及加密资产的兴趣正持续上涨。年后的…

超维空间M1无人机使用说明书——31、基于模板匹配的物体识别功能

引言&#xff1a;ROS提供的物体识别功能包find_object_2d&#xff0c;该功能包用起来相对简单&#xff0c;只需要简单进行模板匹配即可。需要接显示器进行模板训练&#xff0c;远程比较卡&#xff0c;不建议 一、功能包find_object_2d简介 ROS的优点之一是有大量可以在应用程…

Solid Converter 10.1(PDF转换器)软件安装包下载及安装教程

Solid Converter 10.1下载链接&#xff1a;https://docs.qq.com/doc/DUkdMbXRpZ255dXFT 1、选中下载好的安装包右键解压到【Solid Converter 10.1.11102.4312】文件夹。 2、选中"solidconverter"右键以管理员身份运行 3、选择”自定义安装”&#xff0c;勾选”我已阅…

通用Mapper怎么开接口扫描

作者简介&#xff1a;大家好&#xff0c;我是smart哥&#xff0c;前中兴通讯、美团架构师&#xff0c;现某互联网公司CTO 联系qq&#xff1a;184480602&#xff0c;加我进群&#xff0c;大家一起学习&#xff0c;一起进步&#xff0c;一起对抗互联网寒冬 学习必须往深处挖&…

申请CSDN博客专家的历程

今天是2024年第一周的周五下午13&#xff1a;55&#xff0c;我怀着非常非常激动的心情写下这篇博客记录这难忘的时刻&#xff1a;我的博客专家认证通过了&#xff01;现在唯一想说的就是非常感谢CSDN平台&#xff0c;我会继续努力&#xff0c;把最好的分享给大家。 与CSDN的缘分…

全面 正进制数转化 函数模板(直接调用)

本题链接&#xff1a;用户登录 题目&#xff1a; 样例&#xff1a; 输入 2 2 10 10101 11 2 1793A5068 输出 21 10101111001010100111010101011 思路&#xff1a; 对于进制数之间的转化&#xff0c;我们可以通过 以 十进制作为桥梁 进行进制数之间的转化 比如&#xff1…

【项目实战】Cadence工具的使用1

需要 Candece Jasper文档的朋友可以和我联系@tommi.wei@qq.com Vmanager 自动化仿真管理工具 对于这款工具,笔者用到最多的地方就是写testplan! 没错,根据设计文档(Target Specication),细分feature list. 对于验证工程师要做的事情,就是验证设计功能的完备性,需要逐一…

Django 7 实现Web便签

一、效果图 二、会用到的知识 目录结构与URL路由注册request与response对象模板基础与模板继承ORM查询后台管理 三、实现步骤 1. terminal 输入 django-admin startapp the_10回车 2. 注册&#xff0c; 在 tutorial子文件夹settings.py INSTALLED_APPS 中括号添加 "the…

基于spring boot的中小型仓库物流管理系统(Java毕业设计)

大家好&#xff0c;我是DeBug&#xff0c;很高兴你能来阅读&#xff01;作为一名热爱编程的程序员&#xff0c;我希望通过这些教学笔记与大家分享我的编程经验和知识。在这里&#xff0c;我将会结合实际项目经验&#xff0c;分享编程技巧、最佳实践以及解决问题的方法。无论你是…

流行的Jmeter+Ant+Jenkins接口自动化测试框架在网络上走红

大致思路&#xff1a;Jmeter可以做接口测试&#xff0c;也能做压力测试&#xff0c;而且是开源软件&#xff1b;Ant是基于Java的构建工具&#xff0c;完成脚本执行并收集结果生成报告&#xff0c;可以跨平台&#xff0c;Jenkins是持续集成工具。将这三者结合起来可以搭建一套We…