草庐IT

操作系统实现:malloc 与 堆 实现

thotf 2023-03-28 原文

本文参考书:操作系统真像还原

 

什么是malloc?

malloc 是用户态申请内存时使用的函数。

 

malloc在哪里申请?

堆中。

 

什么是堆?

程序运行过程中需要申请额外的内存都会在堆中分配,堆中的内存分为几个规格类型的块用链表保存,程序需要内存就分配一个大于等于所需内存大小的块。如果一个规格的块用完了就像系统申请页,再将页切分成规格块的大小一个一个用链表链接起来。

 

如何找到堆?

一般堆在进程pcb处有指针,内核的堆可以是一个全局变量。

 

由以上几个问题我们可以知道,只要先搞定堆后,malloc的作用就是在堆中拿个内存块就好啦。

 

堆的结构图

 

 

 堆的核心结构是个数组u_block_desc  代表用户堆,放在进程pcb中。数组的每个元素mem_block_desc 代表不同类型的内存块大小,每个内存块用链表链接。

 

几个重要数据结构,下面会进行解释

/* 内存块 */
struct mem_block {
   struct list_elem free_elem;
};

/* 内存块描述符 */
struct mem_block_desc {
   uint32_t block_size;         // 内存块大小
   uint32_t blocks_per_arena;     // 本arena中可容纳此mem_block的数量.
   struct list free_list;     // 目前可用的mem_block链表
};

mem_block_desc 就是内存块的信息,记录着内存块大小和链表

arena就是分配的页,arena中内存块切割大小由desc指定,如果所需内存块过大,就不进行切割直接分配页框,也就是large的作用。

内存分配过程如下

① 向堆申请可用内存时,没有在所要用到的mem_block_desc下面找到可用内存块。向操作系统申请4K的页,每个页就是一个arena。

②对arena进行切分,分为所需mem_block_desc的大小,并且一个一个加入到mem_block_desc的链表中

③从链表上拿到一个内存块并返回内存地址

 

 1 void* sys_malloc(uint32_t size) {
 2    enum pool_flags PF;
 3    struct pool* mem_pool;
 4    uint32_t pool_size;
 5    struct mem_block_desc* descs;
 6    struct task_struct* cur_thread = running_thread();
 7 
 8 /* 判断用哪个内存池,内核也要从内核内存池申请页*/
 9    if (cur_thread->pgdir == NULL) {     // 若为内核线程
10       PF = PF_KERNEL; 
11       pool_size = kernel_pool.pool_size;
12       mem_pool = &kernel_pool;
13       descs = k_block_descs;
14    } else {                      // 用户进程pcb中的pgdir会在为其分配页表时创建
15       PF = PF_USER;
16       pool_size = user_pool.pool_size;
17       mem_pool = &user_pool;
18       descs = cur_thread->u_block_desc;
19    }
20 
21    /* 若申请的内存不在内存池容量范围内则直接返回NULL */
22    if (!(size > 0 && size < pool_size)) {
23       return NULL;
24    }
25    struct arena* a;
26    struct mem_block* b;    
27    lock_acquire(&mem_pool->lock);
28 
29 /* 超过最大内存块1024, 就分配页框 */
30    if (size > 1024) {
31       uint32_t page_cnt = DIV_ROUND_UP(size + sizeof(struct arena), PG_SIZE);    // 向上取整需要的页框数
32 
33       a = malloc_page(PF, page_cnt);
34 
35       if (a != NULL) {
36      memset(a, 0, page_cnt * PG_SIZE);     // 将分配的内存清0  
37 
38       /* 对于分配的大块页框,将desc置为NULL, cnt置为页框数,large置为true */
39      a->desc = NULL;
40      a->cnt = page_cnt;
41      a->large = true;
42      lock_release(&mem_pool->lock);
43      return (void*)(a + 1);         // 跨过arena大小,把剩下的内存返回
44       } else { 
45      lock_release(&mem_pool->lock);
46      return NULL; 
47       }
48    } else {    // 若申请的内存小于等于1024,可在各种规格的mem_block_desc中去适配
49       uint8_t desc_idx;
50       
51       /* 从内存块描述符中匹配合适的内存块规格 */
52       for (desc_idx = 0; desc_idx < DESC_CNT; desc_idx++) {
53      if (size <= descs[desc_idx].block_size) {  // 从小往大后,找到后退出
54         break;
55      }
56       }
57 
58    /* 若mem_block_desc的free_list中已经没有可用的mem_block,
59     * 就创建新的arena提供mem_block */
60       if (list_empty(&descs[desc_idx].free_list)) {
61      a = malloc_page(PF, 1);       // 分配1页框做为arena
62      if (a == NULL) {
63         lock_release(&mem_pool->lock);
64         return NULL;
65      }
66      memset(a, 0, PG_SIZE);  //清空页数据
67 
68     /* 对于分配的小块内存,将desc置为相应内存块描述符, 
69      * cnt置为此arena可用的内存块数,large置为false */
70      a->desc = &descs[desc_idx];
71      a->large = false;
72      a->cnt = descs[desc_idx].blocks_per_arena;
73      uint32_t block_idx;
74 
75      enum intr_status old_status = intr_disable();
76 
77      /* 开始将arena拆分成内存块,并添加到内存块描述符的free_list中 */
78      for (block_idx = 0; block_idx < descs[desc_idx].blocks_per_arena; block_idx++) {
79         b = arena2block(a, block_idx);
80         ASSERT(!elem_find(&a->desc->free_list, &b->free_elem));
81         list_append(&a->desc->free_list, &b->free_elem);    
82      }
83      intr_set_status(old_status);
84       }    
85 
86    /* 开始分配内存块 */
87       b = elem2entry(struct mem_block, free_elem, list_pop(&(descs[desc_idx].free_list)));
88       memset(b, 0, descs[desc_idx].block_size);
89 
90       a = block2arena(b);  // 获取内存块b所在的arena
91       a->cnt--;           // 将此arena中的空闲内存块数减1
92       lock_release(&mem_pool->lock);
93       return (void*)b;
94    }
95 }

 

有关操作系统实现:malloc 与 堆 实现的更多相关文章

  1. ruby - 如何根据特征实现 FactoryGirl 的条件行为 - 2

    我有一个用户工厂。我希望默认情况下确认用户。但是鉴于unconfirmed特征,我不希望它们被确认。虽然我有一个基于实现细节而不是抽象的工作实现,但我想知道如何正确地做到这一点。factory:userdoafter(:create)do|user,evaluator|#unwantedimplementationdetailshereunlessFactoryGirl.factories[:user].defined_traits.map(&:name).include?(:unconfirmed)user.confirm!endendtrait:unconfirmeddoenden

  2. 电脑0x0000001A蓝屏错误怎么U盘重装系统教学 - 2

      电脑0x0000001A蓝屏错误怎么U盘重装系统教学分享。有用户电脑开机之后遇到了系统蓝屏的情况。系统蓝屏问题很多时候都是系统bug,只有通过重装系统来进行解决。那么蓝屏问题如何通过U盘重装新系统来解决呢?来看看以下的详细操作方法教学吧。  准备工作:  1、U盘一个(尽量使用8G以上的U盘)。  2、一台正常联网可使用的电脑。  3、ghost或ISO系统镜像文件(Win10系统下载_Win10专业版_windows10正式版下载-系统之家)。  4、在本页面下载U盘启动盘制作工具:系统之家U盘启动工具。  U盘启动盘制作步骤:  注意:制作期间,U盘会被格式化,因此U盘中的重要文件请注

  3. 华为OD机试用Python实现 -【明明的随机数】 2023Q1A - 2

    华为OD机试题本篇题目:明明的随机数题目输入描述输出描述:示例1输入输出说明代码编写思路最近更新的博客华为od2023|什么是华为od,od薪资待遇,od机试题清单华为OD机试真题大全,用Python解华为机试题|机试宝典【华为OD机试】全流程解析+经验分享,题型分享,防作弊指南华为o

  4. 【鸿蒙应用开发系列】- 获取系统设备信息以及版本API兼容调用方式 - 2

    在应用开发中,有时候我们需要获取系统的设备信息,用于数据上报和行为分析。那在鸿蒙系统中,我们应该怎么去获取设备的系统信息呢,比如说获取手机的系统版本号、手机的制造商、手机型号等数据。1、获取方式这里分为两种情况,一种是设备信息的获取,一种是系统信息的获取。1.1、获取设备信息获取设备信息,鸿蒙的SDK包为我们提供了DeviceInfo类,通过该类的一些静态方法,可以获取设备信息,DeviceInfo类的包路径为:ohos.system.DeviceInfo.具体的方法如下:ModifierandTypeMethodDescriptionstatic StringgetAbiList​()Obt

  5. 基于C#实现简易绘图工具【100010177】 - 2

    C#实现简易绘图工具一.引言实验目的:通过制作窗体应用程序(C#画图软件),熟悉基本的窗体设计过程以及控件设计,事件处理等,熟悉使用C#的winform窗体进行绘图的基本步骤,对于面向对象编程有更加深刻的体会.Tutorial任务设计一个具有基本功能的画图软件**·包括简单的新建文件,保存,重新绘图等功能**·实现一些基本图形的绘制,包括铅笔和基本形状等,学习橡皮工具的创建**·设计一个合理舒适的UI界面**注明:你可能需要先了解一些关于winform窗体应用程序绘图的基本知识,以及关于GDI+类和结构的知识二.实验环境Windows系统下的visualstudio2017C#窗体应用程序三.

  6. MIMO-OFDM无线通信技术及MATLAB实现(1)无线信道:传播和衰落 - 2

     MIMO技术的优缺点优点通过下面三个增益来总体概括:阵列增益。阵列增益是指由于接收机通过对接收信号的相干合并而活得的平均SNR的提高。在发射机不知道信道信息的情况下,MIMO系统可以获得的阵列增益与接收天线数成正比复用增益。在采用空间复用方案的MIMO系统中,可以获得复用增益,即信道容量成倍增加。信道容量的增加与min(Nt,Nr)成正比分集增益。在采用空间分集方案的MIMO系统中,可以获得分集增益,即可靠性性能的改善。分集增益用独立衰落支路数来描述,即分集指数。在使用了空时编码的MIMO系统中,由于接收天线或发射天线之间的间距较远,可认为它们各自的大尺度衰落是相互独立的,因此分布式MIMO

  7. kvm虚拟机安装centos7基于ubuntu20.04系统 - 2

    需求:要创建虚拟机,就需要给他提供一个虚拟的磁盘,我们就在/opt目录下创建一个10G大小的raw格式的虚拟磁盘CentOS-7-x86_64.raw命令格式:qemu-imgcreate-f磁盘格式磁盘名称磁盘大小qemu-imgcreate-f磁盘格式-o?1.创建磁盘qemu-imgcreate-fraw/opt/CentOS-7-x86_64.raw10G执行效果#ls/opt/CentOS-7-x86_64.raw2.安装虚拟机使用virt-install命令,基于我们提供的系统镜像和虚拟磁盘来创建一个虚拟机,另外在创建虚拟机之前,提前打开vnc客户端,在创建虚拟机的时候,通过vnc

  8. 【Java入门】使用Java实现文件夹的遍历 - 2

    遍历文件夹我们通常是使用递归进行操作,这种方式比较简单,也比较容易理解。本文为大家介绍另一种不使用递归的方式,由于没有使用递归,只用到了循环和集合,所以效率更高一些!一、使用递归遍历文件夹整体思路1、使用File封装初始目录,2、打印这个目录3、获取这个目录下所有的子文件和子目录的数组。4、遍历这个数组,取出每个File对象4-1、如果File是否是一个文件,打印4-2、否则就是一个目录,递归调用代码实现publicclassSearchFile{publicstaticvoidmain(String[]args){//初始目录Filedir=newFile("d:/Dev");Datebeg

  9. ruby - Arrays Sets 和 SortedSets 在 Ruby 中是如何实现的 - 2

    通常,数组被实现为内存块,集合被实现为HashMap,有序集合被实现为跳跃列表。在Ruby中也是如此吗?我正在尝试从性能和内存占用方面评估Ruby中不同容器的使用情况 最佳答案 数组是Ruby核心库的一部分。每个Ruby实现都有自己的数组实现。Ruby语言规范只规定了Ruby数组的行为,并没有规定任何特定的实现策略。它甚至没有指定任何会强制或至少建议特定实现策略的性能约束。然而,大多数Rubyist对数组的性能特征有一些期望,这会迫使不符合它们的实现变得默默无闻,因为实际上没有人会使用它:插入、前置或追加以及删除元素的最坏情况步骤复

  10. ruby - 如何使用 Selenium Webdriver 根据 div 的内容执行操作? - 2

    我有一个使用SeleniumWebdriver和Nokogiri的Ruby应用程序。我想选择一个类,然后对于那个类对应的每个div,我想根据div的内容执行一个Action。例如,我正在解析以下页面:https://www.google.com/webhp?sourceid=chrome-instant&ion=1&espv=2&ie=UTF-8#q=puppies这是一个搜索结果页面,我正在寻找描述中包含“Adoption”一词的第一个结果。因此机器人应该寻找带有className:"result"的div,对于每个检查它的.descriptiondiv是否包含单词“adoption

随机推荐