Cache Maintenance-通过VA对cache进行clean和invalidate操作-汇编程序详解

本文主要是介绍Cache Maintenance-通过VA对cache进行clean和invalidate操作-汇编程序详解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

cache操作相关寄存器:CTR

程序1:清除指定的一段地址空间的缓存

读取CTR获取cache line 的大小

使用cache line的size作为虚拟地址的步进值,循环清理缓存

程序2:清理某个指定地址的cache line


cache操作相关寄存器:CTR

CTR寄存器负责提供寄存器的基础结构:

 其中用于获取数据缓存和指令缓存的cache line 的大小的字段分别为:

  •  DminLine, bits [19:16] ,为log2(the number of words),单位为word。
  •  IminLine, bits [3:0],同上。

CTR示例: 

 在这个例子中,CTR的值为0x8444804,二进制编码为:

由此可得:

[19:16]字段的值为0b100,十进制为4,所以一个cache line 的大小为 2^4 = 16 words,为16个字,换成字节为:64字节(1 word = 4 bytes)。

详细解析可参考博文:关于cache maintenance 操作的四个寄存器(CTR,CLIDR,CSSELR,CCSIDR)解析 

程序1:清除指定的一段地址空间的缓存

地址空间的基址保存在:寄存器X0

需要清理的地址空间长度保存在:寄存器X1

该代码通过虚拟地址VA,清理清除数据和指令缓存,该虚拟地址用于从寄存器x0中给定的基址和寄存器x1中给定的长度开始的区域。

//
// X0 = base address 
// X1 = length (we assume the length is not 0)
// Calculate end of the region 
ADD x1, x1, x0               // Base Address + Length
//
// Clean the data cache by MVA 
MRS X2, CTR_EL0             // Read Cache Type Register
// Get the minimun data cache lineUBFX X4, X2, #16, #4       // Extract DminLine (log2 of the cache line)
MOV X3, #4                 // Dminline iss the number of words (4 bytes)
LSL X3, X3, X4             // X3 should contain the cache line
SUB X4, X3, #1             // get the mask for the cache line
BIC X4, X0, X4             // Aligned the base address of the region
clean data cache: 
DC CVAU, X4                // Clean data cache line by VA to PoU
ADD X4, X4, X3             // Next cache line
CMP X4, X1                 // Is X4 (current cache line) smaller than the end // of the region
B.LT clean_data_cache      // while (address < end_address)
DSB ISH                    // Ensure visibility of the data cleaned from cache

读取CTR获取cache line 的大小

MRS X2, CTR_EL0             // 读取Cache Type Register

UBFX X4, X2, #16, #4       // 抽取DminLine 字段(log2 of the cache line)
MOV X3, #4                 // Dminline is the number of words (4 bytes)
LSL X3, X3, X4             // X3=4 * 2^(X4)

 寄存器X3中保存的即是数据缓存的cache line的大小,以换算成字节(bytes)为单位。

使用cache line的size作为虚拟地址的步进值,循环清理缓存

SUB X4, X3, #1             // 获取cache line的掩码,假设line size为64(0b1000000)字节,减1操作后,X4的值为0b111111
BIC X4, X0, X4             // 清除基址X0的前6位,相当于对其取整,使得基址能够整除cache line大小的字节数(64),

 使用虚拟地址VA作为操作对象清理缓存,一次只能清理一个与该地址对应的cache line。

所以被操作的地址需要能够被cache line 的size整除。 

clean data cache: 
DC CVAU, X4                // Clean data cache line by VA to PoU
ADD X4, X4, X3             // 由于一个字节对应一个地址,地址加上一个cache line的字节数,相当于指向下一个 cache line的地址
CMP X4, X1                 // 地址空间为[X4:X0],判断当前地址是否还在区间内,如果还在,则继续清理操作
B.LT clean_data_cache      // while (address < end_address)
DSB ISH                    // 内存屏障,同步上下文 

 只需更改DC CVAU, X4 这条指令,就可以对不同的cache进行清理清除操作。

程序2:清理某个指定地址的cache line

 X0:保存需要清理的虚拟地址

假设此时cache line 的大小为64(0b100 0000 = 0x40)字节

与程序1同理,清理地址前先判断该地址是否能被cache line的大小整除。

假设X0中保存的地址为0x4400 0010,cache line的大小为0x40字节,不能被其整除。

以该地址为起始地址,需要被清理的一个cache line大小的地址空间范围为:0x4400 0010 ~ 0x4400 0050,该地址空间占了两个cache line:

  • 0x4400 0000 ~ 0x4400 0040
  • 0x4400 0040 ~ 0x4400 0080

所以清理该地址0x4400 0010开始的一个cache line大小的缓存,需要清理两个cache line。

以下是具体程序:

AND X2, X0, #0x3F    //0x3F = 0b0011 1111,将X0的低6位保存在X2中,相当于整除cache line 大小后的余数
ADD W1, W2, #64      //
BFI X0, XZR, #0, #6    //比特插入,将X0的低6位置零

DCLC_LOOP
    DC CIVAC, X0      // 对数据缓存执行清理清除命令
    ADD X0, X0, #64  // 指向下一个cache line的首地址
    SUBS W1, W1, #64  //检查余数是否为零
    B.GT DCLC_LOOP    // 如果不为0,则开始下一个cache line 的清除

ARMv7中关于Cache Maintenance操作的CP15指令:

​​​​​​​​​​​​​​ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition

 ARMv8中对应的指令ARM Cortex-A Series Programmer's Guide for ARMv8-A

 

这篇关于Cache Maintenance-通过VA对cache进行clean和invalidate操作-汇编程序详解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/564370

相关文章

Java使用Curator进行ZooKeeper操作的详细教程

《Java使用Curator进行ZooKeeper操作的详细教程》ApacheCurator是一个基于ZooKeeper的Java客户端库,它极大地简化了使用ZooKeeper的开发工作,在分布式系统... 目录1、简述2、核心功能2.1 CuratorFramework2.2 Recipes3、示例实践3

Java利用JSONPath操作JSON数据的技术指南

《Java利用JSONPath操作JSON数据的技术指南》JSONPath是一种强大的工具,用于查询和操作JSON数据,类似于SQL的语法,它为处理复杂的JSON数据结构提供了简单且高效... 目录1、简述2、什么是 jsONPath?3、Java 示例3.1 基本查询3.2 过滤查询3.3 递归搜索3.4

springboot security快速使用示例详解

《springbootsecurity快速使用示例详解》:本文主要介绍springbootsecurity快速使用示例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝... 目录创www.chinasem.cn建spring boot项目生成脚手架配置依赖接口示例代码项目结构启用s

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

一文详解SpringBoot响应压缩功能的配置与优化

《一文详解SpringBoot响应压缩功能的配置与优化》SpringBoot的响应压缩功能基于智能协商机制,需同时满足很多条件,本文主要为大家详细介绍了SpringBoot响应压缩功能的配置与优化,需... 目录一、核心工作机制1.1 自动协商触发条件1.2 压缩处理流程二、配置方案详解2.1 基础YAML

Python实现无痛修改第三方库源码的方法详解

《Python实现无痛修改第三方库源码的方法详解》很多时候,我们下载的第三方库是不会有需求不满足的情况,但也有极少的情况,第三方库没有兼顾到需求,本文将介绍几个修改源码的操作,大家可以根据需求进行选择... 目录需求不符合模拟示例 1. 修改源文件2. 继承修改3. 猴子补丁4. 追踪局部变量需求不符合很

java中反射(Reflection)机制举例详解

《java中反射(Reflection)机制举例详解》Java中的反射机制是指Java程序在运行期间可以获取到一个对象的全部信息,:本文主要介绍java中反射(Reflection)机制的相关资料... 目录一、什么是反射?二、反射的用途三、获取Class对象四、Class类型的对象使用场景1五、Class

golang 日志log与logrus示例详解

《golang日志log与logrus示例详解》log是Go语言标准库中一个简单的日志库,本文给大家介绍golang日志log与logrus示例详解,感兴趣的朋友一起看看吧... 目录一、Go 标准库 log 详解1. 功能特点2. 常用函数3. 示例代码4. 优势和局限二、第三方库 logrus 详解1.

一文详解如何从零构建Spring Boot Starter并实现整合

《一文详解如何从零构建SpringBootStarter并实现整合》SpringBoot是一个开源的Java基础框架,用于创建独立、生产级的基于Spring框架的应用程序,:本文主要介绍如何从... 目录一、Spring Boot Starter的核心价值二、Starter项目创建全流程2.1 项目初始化(

Spring Boot3虚拟线程的使用步骤详解

《SpringBoot3虚拟线程的使用步骤详解》虚拟线程是Java19中引入的一个新特性,旨在通过简化线程管理来提升应用程序的并发性能,:本文主要介绍SpringBoot3虚拟线程的使用步骤,... 目录问题根源分析解决方案验证验证实验实验1:未启用keep-alive实验2:启用keep-alive扩展建