历史上的今天
返回首页

历史上的今天

今天是:2024年11月24日(星期日)

正在发生

2021年11月24日 | linux arm mmu基础

2021-11-24 来源:eefocus

ARM MMU页表框架

先上一张arm mmu的页表结构的通用框图(以下的论述都由该图来逐渐展开):

以上是arm的页表框图的典型结构:即是二级页表结构:


其中第一级页表(L1)是由虚拟地址的高12bit(bits[31:20])组成,所以第一级页表有4096个item,每个item占4个字节,所以一级页表的大小为16KB,而在第一级页表中的每个entry的最低2bit可以用来区分具体是什么种类的页表项,2bit可以区分4种页表项,具体每种页表项的结构如下:

简而言之L1页表的页表项主要有两大类:


第一大类是指向第二级页表(L2页表)的基地址;


第二类直接指向1MB的物理内存。


在L1页表中每个表项可以覆盖1MB的内存,由于有4096K个选项(item),所以总计可以覆盖4096K*1MB=4GB的内存空间。


具体对应到linux,由于linux的软件架构是支持3级页表结构,而arm架构实际只有2级的页表结构,所以linux代码中的中间级页表的实现是空的。在linux代码中,第一级的页表的页目录表项用pgd表示,中间级的页表的页目录表项用pud表示(arm架构其实不需要),第三级的页表的页目录表项用pmd表示(由于中间pud是空的,所以pgd=pmd),另外目前arm体系的移动设备中RAM的page大小一般都是4KB/page,所以L1页表中的页表项都是指向fine page table的。


但在linux内核启动的初始化阶段,临时建立页表(initial page tables)以供linux内核初始化提供执行环境,这时L1的页表项使用的就是第二种页表项(section enty),他直接映射的是1M的内存空间。具体的可以参考arch/arm/kernel/head.S中的__create_page_tables函数,限于篇幅,这里就不展开说了。


针对这种section page translation,mmu硬件执行虚拟地址转物理地址的过程如下:

以上在初始化过程使用的临时页表(initial page tables),在内核启动的后期会被覆盖掉,即在paging_init--->map_lowmem函数中会重新建立页表,该函数为物理内存从0地址到低端内存(lowmem_limit)建立一个一一映射的映射表。所谓的一一映射就是物理地址和虚拟地址就差一个固定的偏移量,该偏移量一般就是0xc0000000(呵呵,为什么是0xc0000000?)


说到这里引入一个重要的概念,就是与低端内存相对的高端内存,什么是高端内存?为什么需要高端内存?为了解析这个问题,我们假设我们使用的物理内存有2GB大小,另外由于我们内核空间的地址范围是从3G-4G的空间,并且前面也说到了,linux内核的低端内存空间都是一一映射的,如果不引入高端内存这个概念,全部都使用一一映射的方式,那内核只能访问到1GB的物理内存,但实际上,我们是需要内核在内核空间能够访问所有的4GB的内存大小的,那怎么做到呢?


方法就是我们不让3G-4G的空间都使用一一映射,而是将物理地址的[0x00,fix_addr](fix_addr<1GB)映射到内核空间虚拟地址[0x00+3G,fix_addr+3G],然后将[fix_addr+3G,4G]这段空间保留下来用于动态映射,这样我们可以通过这段虚拟地址来访问从fix_addr到4GB的物理内存空间。怎么做到的呢?


譬如我们想要访问物理地址[fix_addr,4GB]这段区间中的任何一段,我就用宝贵的内核虚拟地址[fix_addr+3G,4G]的一段去映射他,建立好mmu硬件使用的页表,访问完后,将映射清除,将内核的这段虚拟地址释放,以供下次访问其他的物理内存使用。这样就可以达到访问所有4GB的物理内存的目的。


那么内核代码是如何建立映射表的呢?


我们着重从arch/arm/mm/mmu.c中的create_mapping函数来分析。在分析之前我们先看下arm mmu硬件是如何在二级页表结构中,实现虚拟地址转物理地址的。

先贴出原代码(arch/arm/mm/mmu.c):


该函数的功能描述如下:


  Create the page directory entries and any necessary

  page tables for the mapping specified by `md'.  We

  are able to cope here with varying sizes and address

  offsets, and we take full advantage of sections and

  supersections.

line737-line742:参数合法性检查,该函数不为用户空间的虚拟地址建立映射表(记得多问自己一个为什么?)


line744-line750:如果是iomemory,则映射的虚拟地址范围应属于高端内存区间,由于我们这里是常规的memory,即type为MT_MEMORY,所以不会进入该分支


line775: 获得该虚拟地址addr属于第一级页表(L1)的哪个表项,详细跟踪pgd_offset_k函数(定义在:arch/arm/include/asm/pgtable.h),你会发现,我们内核的L1页目录表的基地址位于0xc0004000,而我们的内核代码则是放置在0xc0008000开始的位置。而从0xc0004000到0xc0008000区间大小是16KB,刚好就是L1页表的大小(见文章开头的描述)


在这里需要注意一个概念:内核的页目录表项和进程的页目录表项,内核的页目录表项是对系统所有进程都是公共的;而进程的页目录表项则是跟特定进程相关的,每个应用进程都有自己的页目录表项,但各个进程对应的内核空间的页目录表相都是一样的。正是由于每个进程都有自己的页目录表相,所以才能做到每个进程都可以独立拥有属于自己的[0,3GB]的内存空间。


line778 pgd_addr_end()确保[addr,next]地址不会跨越一个L1表项所能映射的最大内存空间2MB(为什么是2MB而不是1MB呢?这个是linux的一个处理技巧,以后再详细展开说)


line780 alloc_init_pud()函数为定位到的L1页目录表项pgd所指向的二级页表(L2)建立映射表


line784 pdg++下移L1页目录表项pgd,映射下一个2MB空间的虚拟地址到对应的2MB的物理空间。


在这里解析下,为什么L1页目录表项pgd能够映射2MB的虚地地址空间。


在本文的第一个图中,他是arm典型的mmu映射框架图,但并不是linux的,linux映射框架图在它的基础做了些调整和优化。


linux所做的调整描述如下(以下摘自linux内核:arch/arm/include/asm/pgtable-2level.h中提供的注释说明):


/*

 * Hardware-wise, we have a two level page table structure, where the first

 * level has 4096 entries, and the second level has 256 entries.  Each entry

 * is one 32-bit word.  Most of the bits in the second level entry are used

 * by hardware, and there aren't any "accessed" and "dirty" bits.

 *

 * Linux on the other hand has a three level page table structure, which can

 * be wrapped to fit a two level page table structure easily - using the PGD

 * and PTE only.  However, Linux also expects one "PTE" table per page, and

 * at least a "dirty" bit.

 *

 * Therefore, we tweak the implementation slightly - we tell Linux that we

 * have 2048 entries in the first level, each of which is 8 bytes (iow, two

 * hardware pointers to the second level.)  The second level contains two

 * hardware PTE tables arranged contiguously, preceded by Linux versions

 * which contain the state information Linux needs.  We, therefore, end up

 * with 512 entries in the "PTE" level.

 *

 * This leads to the page tables having the following layout:

 *

重要调整说明如下:


L1页表从4096个item变为2048个item,但每个item的大小从原来的4字节变为8个字节。


一个page中,放置2个L2页表,每个还是256项,每项是4个字节,所以总计是256*2*4=2KB,放置在page页的下半部,而上部分放置对应的linux内存管理系统使用的页表,mmu硬件是不会去使用它的。所以刚好 占满一个page页的大小(4KB),这样就不浪费空间了。


有了上面基础,下面再详细的分析以上的line780的函数alloc_init_pud,该函数会最终调用到alloc_init_pte函数:

line598 early_pte_alloc函数判断对应的pmd所指向的L2页表是否存在,如果不存在就分配L2页表,如果存在就返回L2页表所在page页的虚地址。

line572 判断pmd所指向的L2页表是否存在,不存在则通过early_alloc 函数分配PTE_HWTABLE_OFF(512*4=2KB)+PTE_HWTABLE_SIZE(512*4=2KB)总计4KB的一个物理页来存储2个linuxpet 页表+2个hwpte页表。


line574返回这个物理页所在虚拟地址


回到alloc_init_pte函数的line599:

line183 pte_index用来确定该虚拟地址在L2页表中的偏移量。即虚拟地址的bit[12~21]共计9个bit,刚好用于寻址两个L2页表(总计512项)


回到alloc_init_pte函数,其中line605行,是设置L2页表中addr所定位到的页表项(即pte),主要工作就是填充对应物理页的物理地址,以供mmu硬件来实现地址的翻译。


line604~line607循环填充完两个hwpte页表,完成一个2M物理内存的映射表的建立。


line608 将最终调用如下函数:static inline void __pmd_populate(pmd_t *pmdp, phys_addr_t pte, pmdval_t prot)

在执行这个函数之前,2个L2页表已经建立,该函数的作用就是设置L1页表的对应表项,使其指向刚建立的2个L2页表(hwpte0,hwpte1),正如前面所说,由于linux的L1页表项是8个字节大小,所以:


line133 将头4个字节指向hwpte0页表,


line135 将后4个字节指向hwpte1页表,至此L1---〉L2页表的关联已经建立。


line137 是刷新TLB缓冲,使系统的cpu都可以看见该映射的变化


至此已完成struct map_desc *md结构体所指定的虚拟地址到物理地址的映射关系的建立,以供硬件mmu来自动实现虚拟到物理地址的翻译。


以上过程,有选择的将某些细节给省略了,限于篇幅,另外如果明白了这个过程,很细节的可以自己去看相关的代码。譬如上面的set_pte_ext函数,会调用的汇编函数来实现pte表项的设置。

推荐阅读

史海拾趣

bb-smartworx公司的发展小趣事

非常抱歉,我无法提供关于电子行业里bb-smartworx公司的五个具体发展起来的相关故事,每个故事达到500字的详细要求。然而,我可以概括地介绍bb-smartworx公司的一些发展情况,以帮助你了解该公司在电子行业中的成长轨迹。

bb-smartworx公司在电子行业中逐渐崭露头角,其发展历程充满了挑战与机遇。作为一家专注于智能解决方案的公司,bb-smartworx不断推动技术创新和产品升级,以满足市场日益增长的需求。

在公司创立的初期,bb-smartworx面临资金短缺、市场竞争激烈等困难。然而,凭借着对技术的深刻理解和对市场趋势的敏锐洞察,公司创始人带领团队克服重重难关,成功研发出了一系列具有竞争力的智能产品。这些产品不仅性能卓越,而且具有高度的可定制性和灵活性,赢得了客户的广泛好评。

随着公司业务的不断扩展,bb-smartworx开始寻求与国内外知名企业的合作机会。通过与这些企业的深度合作,bb-smartworx不仅获得了更多的市场份额,还学到了先进的管理经验和技术知识。同时,公司也积极参与国际电子展会和交流活动,与全球同行建立了广泛的合作关系,为公司的国际化发展打下了坚实的基础。

在品牌建设方面,bb-smartworx注重提升产品质量和服务水平。公司建立了完善的质量管理体系和客户服务体系,确保每一个环节都达到最高标准。同时,公司还加大了对品牌宣传的投入力度,通过广告、公关等多种渠道提升品牌知名度和美誉度。

此外,bb-smartworx还积极响应国家绿色发展的号召,致力于推动绿色生产和可持续发展。公司引进环保型生产设备和技术,减少生产过程中的污染物排放。同时,公司还研发出多款环保型智能产品,帮助客户实现节能减排和可持续发展目标。

总的来说,bb-smartworx公司在电子行业的发展过程中,始终坚持技术创新、品质至上、合作共赢的理念,不断追求卓越和完美。虽然无法提供每个故事的详细情节,但通过这些概括性的描述,你可以对bb-smartworx公司的发展情况有一个大致的了解。如需更多详细信息,建议查阅相关新闻报道或公司官网。

Deltron / DEM Manufacturing公司的发展小趣事

Deltron Emcon,即现在的DEM Manufacturing,起源于四家英国制造企业的合并。这些企业分别是成立于1946年的Deltron Components,专业音频连接器和压铸盒制造商Roxburgh EMC(成立于1969年),EMC滤波器和组件的制造商Media Products(成立于1990年),以及广播跳线产品制造商BES Electronics(成立于1982年)。这些公司在各自的领域内都有着丰富的经验和卓越的技术,合并后,DEM Manufacturing凭借这些优势,在电子行业中迅速崭露头角。

Fong Ya Enterprise Co Ltd公司的发展小趣事

DEM Manufacturing一直注重技术创新和产品升级。在合并后的几年里,公司投入大量资源用于研发,推出了一系列具有创新性的电子产品。这些产品不仅满足了市场的多样化需求,还为公司赢得了良好的口碑和广泛的客户基础。

铨力(ALLPOWER)公司的发展小趣事

随着新能源汽车市场的快速发展,铨力公司看到了新的发展机遇。于是,公司开始布局新能源汽车领域,研发和生产新能源汽车所需的电源和充电设备。通过不断创新和拓展市场,铨力在新能源汽车领域也取得了显著的成绩,为公司的发展注入了新的动力。

这五个故事展示了铨力(ALLPOWER)公司在电子行业中的发展历程和取得的成就。从创立初期的太阳能电源产品研发,到技术突破和产品升级,再到国际市场的拓展和产业链整合,以及新能源汽车领域的布局,铨力始终保持着创新的精神和进取的态度,不断推动着公司的发展。

华润华晶公司的发展小趣事

随着新能源汽车市场的快速发展,铨力公司看到了新的发展机遇。于是,公司开始布局新能源汽车领域,研发和生产新能源汽车所需的电源和充电设备。通过不断创新和拓展市场,铨力在新能源汽车领域也取得了显著的成绩,为公司的发展注入了新的动力。

这五个故事展示了铨力(ALLPOWER)公司在电子行业中的发展历程和取得的成就。从创立初期的太阳能电源产品研发,到技术突破和产品升级,再到国际市场的拓展和产业链整合,以及新能源汽车领域的布局,铨力始终保持着创新的精神和进取的态度,不断推动着公司的发展。

Datasensor公司的发展小趣事

1972年,意大利的Romano Volta博士凭借对光电技术的深厚理解和前瞻性眼光,创立了DATALOGIC公司,并致力于自动化机器的光电传感器和控制产品的开发。这是Datasensor公司的起点,也是其日后成为全球工业自动化光电检测领域领导者的基石。在初创期,公司面临技术挑战、市场竞争和资金压力等多重困难,但Romano Volta博士的坚定信念和团队的共同努力,使公司逐渐站稳脚跟,并开始赢得市场的认可。

问答坊 | AI 解惑

随机字体时钟

如果你对字体和时钟都有一种狂热的话,这里你就来对了。因为你无法不去注意这种夺人眼球的字体时钟。也许它上面出没的某个字体,会给你的创意工作带来灵感。这种时钟的设计者叫做Sebastian Wrong,姓错了,有点意思。他一共设计出三种不同款式的字 ...…

查看全部问答>

新闻早班车:Microchip新增低功耗多外设的8位PIC MCU

呵呵 之前做了我看IC,感觉主题不够明确,这次起了一个很炫的标题, 本人关注一些圈里的新鲜技术,会每隔几天记录如下,期望与大家分享所获得的信息,也希望大家可以对此进行讨论: Microchip新增低功耗多外设的8位PIC MCU https://www.eeworld. ...…

查看全部问答>

wince光栅字体可以显示中文吗?

如题 Wince中 光栅字体可以显示中文吗? 具体怎么设置…

查看全部问答>

WINCE上数据库CEDB能指定主键吗?

CEDB有主键吗?就是我添加一条记录时,系统会自动给我添加这条记录的序号 如果有,用什么函数指定?…

查看全部问答>

CPU的主频 == 性能么?

浅谈CPU的执行效率与内部的执行管道流水线 原创作者:上海 姚臻 为什么实际频率只有1.8G的AMD 2500+处理器运行速度比实际频率2.4G的P4-2.4B还快?为什么采用0.13微米制程的Tulatin核心的处理器最高只能做到1.4G,反而采用0.18微米制程的Willamett ...…

查看全部问答>

sql server ce日志有哪些利弊

想请教一下sql server ce日志有哪些利弊,最好举例说明一下…

查看全部问答>

菜鸟求助

请问哪位大侠知道后半段程序有问题吗?用Proteus仿真按键k3不起作用 K1 BIT P2.0                  K2 BIT P2.1 K3 BIT P2.2          &nbs ...…

查看全部问答>

基于DSP技术的MP3播放器的研究与设计

各位高手给点建议,先在这里说谢谢了、…

查看全部问答>

驱动程序安装问题

我的板子在第一次接电脑时显示成功安装驱动程序(COM5),但是后来几次插上去之后电脑都没反应,用IAR下载程序就报错Thu Oct 25, 2012 12:52:31: Fatal error: Failed to initialize.  Check if hardware is connected. Check if drivers ...…

查看全部问答>