ASID 与 MIPS 中 TLB 相关
ASID
- 为了提高TLB的性能,将TLB分成Global和process-specific。global 是指常驻在tlb中不会被刷出的,例如内核空间的翻译,process-specific 是指每个进程独有的地址空间,当发生进程切换的时候,这部分tlb可以被刷出,为了支持process-specific的tlb,arm提出了ASID(Adress Space ID)的硬件解决方案,这样TLB就可以识别出这个 TLB 页表项是属于哪一个进程的。
- 在 MIPS 中,有两个地方会出现ASID,每一个TLB表项会有一个ASID,标识这个表项是属于哪一个进程的,CP0_EntryHI 中的ASID是当前进程的ASID,所以进程对TLB的查询操作,即使VPN命中,但若该表项不是global且ASID与CP0_EntryHi的ASID不一致,则也视作TLB缺失 -- 这样就不用每次切换进程都要 flush 所有 tlb
MIPS 中 TLB/MMU 相关寄存器
TLB 关键字域
- EntryHi 包含 VPN2 和 ASID 字段
- VPN2 就是 TLB 表项对应的虚拟页表号,在 MIPS 设计中,一个 TLB 表项存储的是两个相邻虚拟页对应的物理页框号,所以 VPN2 只有 21 位(除去页内偏移12位和第13位)
- ASID 字段,是当前进程的ASID,在对 TLB 访问查询中起到验证的作用(具体见 ASID 部分)。
- EntryLo0-1
- PFN 对应的物理页框号
- D(dirty) 标志位,置位时允许写入;0 不允许写入,若写入则发生异常
- V(valid) 有效位
- G(global) 表明该 TLB 表项是全局的还是属于特定进程的,若是全局的,则对该 TLB 表项的读取都会无视 ASID 是否匹配
- EntryHi 与 EntryLo 一道负责 TLB 的写入与读取操作,tlbr 将读到的 TLB 表项写入 EntryHi(注意这一步会覆盖原本的 ASID,执行之后需要恢复)与 EntryLo 之中。
- PageMask
- 用于支持更大的页,PageMask 寄存器值为 1 的位,在执行 TLB 表项匹配时被忽略(即 PageMask 寄存器值为 1 的位被视作页内偏移位),如: PageMask 低 12 位为 1,则表明页大小为 4KB。
- 另外,在 MIPS 体系中,页的大小在 4KB 和 16MB 之间以四倍递增。
TLB 选择寄存器
- index
- 值为 0 到 表项总数 - 1 之间的一个数,用于指出 tlbr、tlbwi 读写的是第几个 TLB 表项。
- Random
- 保存 TLB 的一个索引,CPU 每执行一条指令就向下递减计数一次,该值充当 tlbwr 的 TLB 索引,在需要更新 TLB 时,帮助实现随机替换策略。
页表存取辅助寄存器
Context 和 XContext
- 辅助处理 TLB 重填异常,其中 XContext 是 MIPS64 位中增加的
- 32位的 Context 数据域为:
31 - 23 22 - 4 3 - 0 PTEBase BADVPN2 0 - PTEBase 存储页表空间的起始地址(因为起始地址是 8M 对齐)
- BADVPN2 是 BADAddr 的 VPN2 域,BADAddr 是引起重填异常的虚拟地址
- 实际上 32 位中一个页表项只有 64 位大(VPN2 下),但是 MIPS 为了与 64 位页表兼容,预留成 2*64 位大
- 因为 PTEBase 是页表空间的起始地址,BADVPN2 标明该 BADAddr 所对应的是第 BADVNP2 个页表项,故 BADVPN << 4 就是 BADAddr 对应的页表项相对于页表空间起始地址的偏移,所以当发生重填异常的时候,Context 存储的就是对应页表项的虚拟地址,即需要加载到 EntryLo0-1中的数据项的地址。所以依靠 Context 的辅助,能够极大程度的简化重填异常处理的过程。
TLB 重填异常处理
mfc0 k1, C0_CONTEXT
lw k0, 0(k1)
lw k1, 8(k1)
mtc0 k0, C0_ENTRYLO0
mtc0 k1, C0_ENTRYLO1
ehb
tlbwr
eret
- ehb 汇编指令用于保证 ehb 之前对协处理器 0 的操作都会在执行该条指令之后指令时已完成
参考资料:See MIPS Run Linux (2nd edition)
ASID 与 MIPS 中 TLB 相关的更多相关文章
- MIPS中的异常处理和系统调用【转】
转自:http://blog.csdn.net/jasonchen_gbd/article/details/44044091 权声明:本文为博主原创文章,转载请附上原博链接. 异常入口 系统调用是用户 ...
- kernel 3.10内核源码分析--TLB相关--TLB概念、flush、TLB lazy模式 【转】
转自:http://blog.chinaunix.net/xmlrpc.php?r=blog/article&id=4808877&uid=14528823 一.概念及基本原理 TLB ...
- 理解CSV文件以及ABAP中的相关操作
在很多ABAP开发中,我们使用CSV文件,有时候,关于CSV文件本身的一些问题使人迷惑.它仅仅是一种被逗号分割的文本文档吗? 让我们先来看看接下来可能要处理的几个相关组件的词汇的语义. Separat ...
- Spring Framework------>version4.3.5.RELAESE----->Reference Documentation学习心得----->Spring Framework中web相关的知识(概述)
Spring Framework中web相关的知识 1.概述: 参考资料:官网documentation中第22小节内容 关于spring web mvc: spring framework中拥有自 ...
- storm-kafka组件中KafkaOffsetMetric相关统计指标说明
storm-kafka组件中KafkaOffsetMetric相关统计指标说明 storm-kafka是storm提供的一个读取kakfa的组件,用于从kafka队列中消费数据.KafkaOffset ...
- Linux中mod相关的命令 内核模块化 mod相关命令都是用来动态加载内核模块/驱动程序模块
Linux中mod相关的命令 内核模块化 mod相关命令都是用来动态加载内核模块/驱动程序模块 http://baike.baidu.com/link?url=lxiKxFvYm-UfJIxMjz ...
- 补充:sql server 中的相关查询、case函数
相关查询(在同一个表中) 相关查询类似子查询,但是又不同于子查询:子查询中的子条件可以单独查出数据,但是相关查询的子条件不能查处数据.(可以理解成C#中for的穷举法,第一个for走一个,第二个for ...
- c语言中数组相关问题
c语言中数组相关问题: 1.数组基本定义: 相同数据类型的元素按一定顺序排列的集合,就是把有限个类型相同的变量用一个名字命名,然后用编号区分他们的变量的集合,这个名字称为数组名,编号称为下标.组成数组 ...
- 【Socket编程】Java中网络相关API的应用
Java中网络相关API的应用 一.InetAddress类 InetAddress类用于标识网络上的硬件资源,表示互联网协议(IP)地址. InetAddress类没有构造方法,所以不能直接new出 ...
随机推荐
- 973. K Closest Points to Origin
We have a list of points on the plane. Find the K closest points to the origin (0, 0). (Here, the d ...
- 【maven】---pom.xml-dependencies
前言 Maven在做项目开发的时候,需要用到多个jar包,这个时候,maven提供的中央仓库,就会根据依赖项,自动download需要的jar包,自动引用到项目中. 内容 具体依赖配置,集中在pom. ...
- Django自带表User认证详解
认证登陆(附方法实现代码,百度网盘拉取即可下载,激活码:gqt1) 在进行用户登陆验证的时候,如果是自己写代码,就必须要先查询数据库,看用户输入的用户名是否存在于数据库中: 如果用户存在于数据库中,然 ...
- ubuntu和centos安装docker
一. UBUNTU系统上 1. 卸载旧版本(新系统不用执行) sudo apt-get remove docker docker-engine docker.io 2. 安装docker st ...
- 玩转MongoDB
一.主从复制 1)首先主从服务器在启动的时候,分别要设置master.slave选项,对于slave可以启动中设置源,也可以在启动后设置源. 如:主:mongod --dbpath=/data/mon ...
- 6. Javscript学习笔记——BOM
6. BOM 6.1 widow对象 全局作用域: window是浏览器的一个实例 window对象同时扮演着ECMAScript中的Global对象的角色,因此所有在全局作用域中声明的变量.函数都会 ...
- 求两个数a、b的最大公约数
//求两个数a.b的最大公约数 function gcd(a,b){ return b===0?a:gcd(b,a%b) }
- vue源码-检查对象是否全相等
/** * Check if two values are loosely equal - that is, * if they are plain objects, do they have the ...
- 【Python】二进制转ASCII码小脚本
#coding:utf-8 #developed by carrypan! import binascii import optparse def main(): usage="%prog ...
- find命令用法集锦
find命令用法: 01--过滤日志find -name "catelina.*.out"|xargs -f |grep '关键字' 02 -忽略一个目录或者多个目录find ./ ...