八、OS非连续内存分配

简介: 八、OS非连续内存分配

1、为什么要进行非连续内存分配


非连续内存管理具有以下的优势:使得一个程序的物理地址空间是非连续的,可以更好地利用和管理内存,减少内存碎片,允许共享代码与数据,支持动态加载和和动态链接。但是非连续内存管理的管理本身的开销比较大,需要建立虚拟地址和物理地址之间的转换(可以通过硬件或者软件方案来实现)。




2、两种硬件方案:分段和分页



2.1 分段


程序的虚拟的地址空间是连续的逻辑地址空间,通过分段,将程序中不同的部分进行隔离开来,分别放置到非连续的内存之中。通过一种映射机制建立连续的逻辑地址空间和非连续内存之间的映射关系。

7b4b77d8678c4689a16970414f2af621.png


分段的逻辑视图如下图所示。


25e315bbe4fc4fe08285c6ad8e0a01c4.png



2.1.1 硬件分段寻址方案


程序访问内存地址需要:一个2维的二元组(s, addr),其中s表示短号,addr表示段内偏移。

a4d7bd303c904c9990a3367940c2e682.png


如下所示,OS在硬件分段的过程中主要负责段表的建立工作,且操作系统建立段表之后,段机制才能够正常进行工作。

00a25b23c150457e9874ad3decc26a0f.png


2.2 分页


和分段一样,分页机制也需要知道一个页号和页内的地址偏移。与分段机制不同的是,分页机制总,段的尺寸是固定的,因为页帧的大小是一定的。在分页机制中,需要划分物理内存值固定大小的帧,大小是2的幂;需要划分逻辑地址空间至相同大小的页,大小是2的幂;需要建立方案,转换逻辑地址为物理地址(pages to frames)。


2.2.1 页帧-frame


物理内存被分割成大小相等的帧,每一帧有 2 S 2^S 2S字节, S S S表示一个页帧的大小。一个内存物理地址是一个二元组,包括帧号f和帧内偏移o,物理地址= 2 S × f + o 2^S×f+o 2S×f+o。


2.2.2 页-page


一个程序的逻辑地址空间被划分为大小相同的页,一个逻辑地址是一个二元组,不包括页号p和页内偏移o,虚拟地址= 2 S × p + o 2^S×p+o 2S×p+o。



2.2.3页寻址机制


通过页的虚拟逻辑地址找到页表中对应的帧号,之后通过帧号的计算得到物理地址。其中,页表是由OS事先建立起来的。

ac134f87ab4e44338f25eeb0fe861c9c.png


2.2.4页寻址机制的注意事项


页映射到帧;页是连续的虚拟内存;帧是非连续的物理内存;不是所有的也都有对应的帧。




2.3 页表


为了有效地实现分页这种转换机制,需要用到页表。每个运行的程序都会有一个页表,属于程序的运行状态,会动态变化;PTBR为页表基址寄存器。下面介绍一个页表地址转换的实例:


97aff87ea5564ac8a72264b347b93de3.png


首先逻辑地址中的地址有第4页0偏移量和第3页1023偏移量两个逻辑地址,需要通过页表来找到其分别对应的物理内存空间的地址。首先通过页表找到(4,0)的对应物理地址驻留位为0,表示此逻辑地址没有对应的物理地址;而(3,1023)对应的物理地址驻留位为1,说明其物理地址存在,从页表右侧读出物理地址的页帧号为4,物理地址的偏移量和逻辑地址相同都为1023,即可寻找到物理地址。



2.3.1 分页机制的性能问题


1)访问一个内存单元需要2次内存的访问,一次用于获取页表项,一次用于访问数据。

2) 页表可能非常大,一个64位的机器,若页表每页有1024字节,则一个页表需要的空间大小为: 264/210=254字节大小。


如何处理?

可以通过缓存(caching)来提升访问速度,通过间接(indirection)访问的方式来缓解页表占用空间过大问题。



2.3.1.1 TLB-Translation Look-aside Buffer


在CPU中的内存管理单元MMU中有cache缓冲区叫做TLB,其采用二叉树map来实现,能够实现快速查找的功能,但是其空间比较小,通常把经常访问的页表项放到TLB中去来提升访问速度。当CPU得到逻辑地址的值之后,首先根据逻辑地中的P值在TLB中进行查找,若在TLB中没有查找到,则再到内存中的页表之中进行查找,若物理页表中的驻留位为1,则将对应的页帧号取到TLB中,实现TLB的动态管理,并且在X86操作系统中,这个过程由CPU硬件来完成,不需要OS进行参与。



2.3.1.2 二级,多级列表


通过多级列表的方式来克服页表占据空间过大的问题。分成多级列表之后,逻辑地址也要跟着进行相应的改变,其中的page num需要细化为一级列表的page num,二级列表的page num,etc。一个二级页表的寻址过程如下图所示:


e8b2073e4abe497688a1a356bc33833f.png


分级列表机制涉及到多次的内存访问,会造成额外的时间开销,但是可以将驻留位为0的页表项后续的空间省出来,从而节省空间的开销,是一种典型的以时间换空间的机制。



2.3.2 反向页表-inverted page table


十分大的页表空间使得前向映射页表变得十分繁琐(如5级页表),若使页表不与逻辑地址空间建立关系,而是与物理地址空间建立关系,这便是反向页表的思想起源(逻辑地址空间增长速度快于物理地址空间增长速度)。



2.3.2.1 基于页寄存器(page Registers)的方案


基于page Registers的方案如下图所示:其中,页表的key值用来存放对应物理内存的页帧号,而页表的value值用来存放对应逻辑地址的页号,这样做使得由页号来查找页帧号变得不好处理。

87b3ef35e0d14ecf99ffe8b5f667d2ee.png



2.3.2.2 基于关联内存(associated memory)的方案


4d4020fcdb2048df9090b6f35d75c2fd.png


2.3.2.2 基于哈希(hash)查找的方案


将上述寄存器或者关联存储器换成哈希表来进行处理,但哈希表存在value值冲突的情况,这时候需要给哈希表传进去一个PID(执行程序的ID号)来缓解哈希表寻找页帧号时候的冲突问题。






















相关文章
|
4天前
|
算法
深入理解操作系统的内存管理机制
【4月更文挑战第30天】 在现代计算机系统中,操作系统扮演着至关重要的角色,它负责协调和管理硬件资源,确保系统高效、稳定地运行。其中,内存管理是操作系统的核心功能之一,涉及到物理内存的分配、虚拟内存的映射以及内存的优化等多个方面。本文将深入探讨操作系统中的内存管理机制,包括分页、分段和段页式结合等技术,旨在为读者提供一个清晰的内存管理框架视图,并解释这些技术如何提高系统的性能和稳定性。
|
23小时前
|
算法 安全 Java
深入理解操作系统的内存管理
【5月更文挑战第3天】 本文深入探讨了操作系统中的内存管理机制,包括内存分配、回收以及虚拟内存技术。文章首先介绍了内存管理的重要性和基本概念,然后详细分析了各种内存分配策略和算法,如首次适应、最佳适应和最坏适应等。接着,文章讨论了内存回收的方法,如引用计数和垃圾回收。最后,文章详细介绍了虚拟内存技术,包括分页、分段和段页式等。
|
3天前
|
算法 安全
深入理解操作系统的内存管理
【4月更文挑战第30天】 在现代计算领域,操作系统的内存管理是确保系统稳定、高效运行的关键组成部分。本文旨在提供一个全面的视角,以探索操作系统如何通过复杂的数据结构和算法实现对内存资源的有效分配、管理和保护。我们将深入分析内存管理的四个核心概念:虚拟内存、物理内存、内存分配与回收以及内存保护。文章不仅涵盖理论模型和操作原理,还将介绍一些实际操作系统中采用的技术,例如分页、分段和请求调页系统。通过对这些概念和技术的深入剖析,读者将获得对操作系统内存管理机制的深刻理解。
|
3天前
|
机器学习/深度学习 自动驾驶 安全
深入理解操作系统内存管理:策略与实现基于深度学习的图像识别技术在自动驾驶系统中的应用
【4月更文挑战第30天】 在现代计算机系统中,操作系统的内存管理是确保系统高效、稳定运行的关键组成部分。本文将深入探讨操作系统中内存管理的多种策略及其实现机制,包括但不限于分页、分段和段页式结合等技术。我们将剖析内存分配的原理,讨论虚拟内存技术的实现以及它如何提供更大的地址空间并允许内存的交换。同时,我们还会涉及内存保护机制,它们是如何防止程序访问未授权的内存区域。最后,文中将对现代操作系统如Linux和Windows中的内存管理实践进行比较分析,以期给读者提供全面而深入的理解和参考。 【4月更文挑战第30天】 随着人工智能技术的飞速发展,深度学习已经
|
4天前
|
运维 Cloud Native 持续交付
构建未来:以云原生为基石的分布式系统架构深入理解操作系统的内存管理机制
【4月更文挑战第30天】 随着企业数字化转型的不断深入,传统的IT架构已难以满足市场对于敏捷性、可扩展性和成本效益的需求。云原生技术作为推动这一变革的关键因素,其设计理念和实现方式正在重塑软件开发和运维模式。本文将探讨云原生架构的核心组件,包括容器化、微服务、持续集成/持续部署(CI/CD)、以及无服务器计算等,并分析其在构建分布式系统中的作用与挑战。通过实际案例,我们将展示如何利用云原生技术构建高效、弹性和可维护的分布式系统。
|
4天前
|
内存技术
深入理解操作系统:内存管理与虚拟内存
【4月更文挑战第30天】本文深入探讨了操作系统中的关键组成部分——内存管理,并详细解析了虚拟内存的概念、实现机制及其在现代计算系统中的重要性。我们将从物理内存的分配和回收讲起,逐步引入分页、分段以及虚拟地址空间等概念。文章旨在为读者提供一个清晰的框架,以理解内存管理背后的原理,并通过具体示例加深对虚拟内存技术的理解。
|
4天前
|
安全 Linux Windows
深入理解操作系统内存管理:分页与分段的融合
【4月更文挑战第30天】 在现代操作系统中,内存管理是确保多任务环境稳定运行的关键。本文将深入探讨分页和分段两种内存管理技术,并分析它们如何相互融合以提供更为高效、安全的内存使用策略。通过对比这两种技术的优缺点,我们将探索现代操作系统中它们的综合应用,以及这种融合对操作系统设计和性能的影响。
|
4天前
|
存储 缓存 算法
深入理解操作系统的内存管理机制
【4月更文挑战第30天】 在现代计算机系统中,操作系统的内存管理机制是确保系统高效稳定运行的关键。本文将深入探讨操作系统中的内存管理概念,包括虚拟内存、物理内存、内存分配策略以及页面置换算法。通过对这些关键概念的剖析,我们能够理解操作系统如何有效地管理有限的内存资源,支持多任务并发执行,同时保证系统的响应速度和稳定性。
|
4天前
|
缓存 算法 内存技术
深入理解操作系统内存管理:原理与实践
【4月更文挑战第30天】本文旨在深入探讨操作系统中的内存管理机制,包括物理内存的分配与回收、虚拟内存技术、分页系统以及内存优化策略。通过对内存管理概念的详细解读和实际案例分析,读者将获得对操作系统如何处理内存资源的全面认识,并了解如何在实践中应用这些知识以提高系统性能和稳定性。
|
4天前
|
存储 算法 内存技术
深入理解操作系统内存管理:从虚拟内存到物理内存的映射
【4月更文挑战第30天】 在现代操作系统中,内存管理是一个复杂而关键的功能。它不仅确保了系统资源的有效利用,还为每个运行的程序提供了独立的地址空间,保障了程序之间的隔离性和安全性。本文将探讨操作系统如何通过分页机制和虚拟内存技术实现内存的抽象化,以及这些技术是如何影响应用程序性能的。我们将详细解析虚拟地址到物理地址的转换过程,并讨论操作系统在此过程中扮演的角色。文章的目的是为读者提供一个清晰的框架,以便更好地理解内存管理的工作原理及其对系统稳定性和效率的影响。