【ARM】A64指令介绍及内存屏障和寄存器

A64指令集介绍

ISA : Instruction System Architecture
在这里插入图片描述

指令集总结

在这里插入图片描述

跳转指令

使用跳转指令直接跳转,跳转指令有跳转指令B,带链接的跳转指令BL ,带状态切换的跳转指令BX。
B 跳转指令,跳转到指定的地址执行程序。
BL 带链接的跳转指令。指令将下一条指令的地址拷贝到R14(即LR)链接寄存器中,然后跳转到指定地址运行程序。
BX 带状态切换的跳转指令。跳转到Rm 指定的地址执行程序,若Rm 的位[0]为1,则跳转时自动将CPSR 中的标志T 置位,即把目标地址的代码解释为Thumb代码;若Rm 的位[0]为0,则跳转时自动将CPSR 中的标志T 复位,即把目标地址的代码解释为ARM代码
条件跳转指令 : 5个
• b.cond label
• cbz Xn|Wn, label
• cbnz Xn|Wn, label
• tbz Xn|Wn, #uimm6, label //如果Xn的第uimm的bit位位0,则跳转到label
• tbnz Xn|Wn, #uimm6, label

无条件跳转label指令 : 2个
• b label
• bl label
无条件跳转register指令 : 3个
• br Xn
• blr Xn
• ret {Xn}

PC相对寻址

读取 PC 的方法是:PC 相对地址的指令(ADR, ADRP, literal load, and direct branches),以及branch-and-link指令(BL 和 BLR)会将PC地址存储在LR寄存器
• 修改程PC的方法是:
使用显式控制流指令:条件分支、无条件分支、异常生成和异常返回指令

• ADR指令
使用格式:adr register exper
编译时,首先会计算出当前PC到exper的偏移量#offset_to_exper
然后会用ADD或SUB指令,来替换这条指令;例如等效于:ADD register,PC,#offset_to_exper,register就是exper的地址;

• ADRP指令
使用格式:adrp register exper。编译时,首先会计算出当前PC到exper的偏移量#offset_to_exper,pc的低12位清零,然后加上偏移量,给register得到的地址,是含有label的4KB对齐内存区域的base地址;

系统操作指令

cache操作

在这里插入图片描述

地址翻译

在这里插入图片描述
在这里插入图片描述

内存访问指令

• Load-Store Single Register 单寄存器读写
• Load-Store Single Register (unscaled offset) offset为-256 ~ +256对齐读写
• Load Single Register (pc-relative, literal load)
• Load-Store Pair 双寄存器读写
• Load-Store Non-temporal Pair 直接读写外存,跳过cache
• Load-Store Unprivileged 以EL0身份读写
• Load-Store Exclusive 独占访问指
• Load-Acquire / Store-Release – 单项屏障指令-One-way barriers
• Prefetch Memory

Load-Store Single Register 单寄存器读写

• LDR Wt, addr //从由 addr 寻址的内存中加载一个字到 Wt
• LDR Xt, addr
• LDRB Wt, addr //从由 addr 寻址的内存中加载一个字节到 Wt,然后zero-extends it to Wt
• LDRSB Wt, addr //从由 addr 寻址的内存中加载一个字节到 Wt, 然后sign-extends it into Wt
• LDRSB Xt, addr //从由 addr 寻址的内存中加载一个字节到 Wt,然后zero-extends it to Xt
• LDRH Wt, addr //从 addr 寻址的内存中加载一个半字,然后将其零扩展到 Wt
• LDRSH Wt, addr //从 addr 寻址的内存中加载一个半字,然后将其符号扩展为 Wt。
• LDRSH Xt, addr //从由 addr 寻址的内存中加载一个半字,然后进行符号扩展它变成了 Xt。
• LDRSW Xt, addr //从由 addr 寻址的内存中加载一个字,然后将其符号扩展为Xt。
• STR Wt,addr //将 Wt 中的字存储到由 addr 寻址的内存中。
• STR Xt, addr //将来自 Xt 的双字存储到由 addr 寻址的内存中。
• STRB Wt,addr //将字节从 Wt 存储到由 addr 寻址的内存中。
• STRH Wt, addr //将来自 Wt 的半字存储到由 addr 寻址的内存中
• ldr{} Rd,
• str{} Rd,
• : b h sb sh sw

Load-Store Non-temporal Pair

直接读写外存,跳过cache
ldnp{} Rd,
• stnp{} Rd,
• : b h sb sh sw

Load-Store Unprivileged 以EL0身份读写

ldtr{} Rd,
• sttr{} Rd,
• : b h sb sh sw

Load-Store Exclusive 独占访问指令

• ldxr{} Rd,
• stxr{} Ws , Rd,
• ldxp{} Rd,
• stxp{} Ws, Rd,
• : b h sb sh sw

LDXR Wt, [base{,#0}]
(1)、从base地址处读取一个数字,存放到Wt寄存器中;
(2)、将Monitor变成exclusive状态

STXR Ws, Wt, [base{,#0}]
(1)、将Wt中的数据写入到base地址处,如果成功Ws返回0,否则返回1;
(2)、将Monitore从exclusive状态切换成open, 如果切换成功,则说明写入成功,Ws返回0;
如果切换失败,则数据不会写入到内存,Ws返回1

Load-Acquire / Store-Release – 单项屏障指令-One-way barriers

在这里插入图片描述
(Non-exclusive)
ldar{} Rd,
stlr{} Rd,

(exclusive)
ldaxr{} Rd,
stlxr{} Rd,
: b h sb sh sw

• 所有在LDAR之后的加载和存储指令,必需在LDAR之后才能被观察到
• 所有在STLR之前的加载和存储指令,必需在STLR之前观察到

数据操作指令

Data Processing (immediate)
• Arithmetic (immediate) 算数运算 : add、sub、cmp、cmn、mov
• Logical (immediate) 逻辑运算 : and eor orr movi tst
• Move (immediate) : mov movz movn movk
• Bitfield (operations) 位操作 : bfm sbfm ubfm bfe bfxil sbfiz sbfx ubfiz ubfx
• Shift (immediate) : asr lsl lsr ror
• Sign/zero extend : sxt uxt
• Data Processing (register)

Arithmetic (shifted register) : add sub cmn cmp neg
• Arithmetic (extending register) : add sub cmn cmp
• Logical (shifted register) : and bic eon eor orr orn mov mvn tst
• Shift (register) : asrv lslv lsrv rorv asr lsl lsr
• Bitwise operations : cls clz rbit rev rev16 rev32

算术操作

在这里插入图片描述

• add 加,
• adc 带进位的加,
• sub 减,
• sbc 带进位的减,
• neg 取反
• ngc 带进位的取反

逻辑操作

在这里插入图片描述
• and Bitwise AND
• bic Bitwise Bit Clear,
• eor Bitwise Exclusive OR,
• eon Bitwise Exclusive OR NOT,
• orr Bitwise OR,
• orn Bitwise OR NOT, and
• mvn Bitwise NO

数据移动操作

在这里插入图片描述

• mov Move,
• movz Move wide with zero,
• movn Move wide with NOT, and
• movk Move wide with keep

移位操作

• asr Arithmetic shift right,
• lsr Logical shift right, and
• lsl Logical shift left,
• ror Rotate right.

指令流水线

一般是三级指令流水线,第一级是Fetch,第二级是Decode,第三级是Issue。即取值、译码、发射。
对于ARM的AArch64,所有的cpu在取值和译码时都是顺序执行的,在发射时可能是乱序的。
在这里插入图片描述
• in-order:顺序流水线, 是指处理器按照它们在内存中出现的顺序发出指令(issue)。下一条指令不会早于上一条指令发出,但是如果是多pipeline的,那么一次还是可以发送多条指令的。所以即使它是顺序的还有可能第二条的load早于第一条的load。
• out-of-order: 乱序流水线, 是指处理器可以不按照指令在内存中的顺序发出(issue)指令。

Dual-pipeline 和 single-pipeline

Dual-pipeline的意思是每个pipeline上有两个,就如上图所示,如果是Dual-pipeline那么就会有两个load或者两个其他的。现在大多是都是single-pipeline,不理解也没关系。

in-order和out-of-order的执行原理

in-orde

顺序执行
在这里插入图片描述

IF:取值
D:译码
E:执行
M:访问内存
WB:写回,此时执行结束
上图的三条指令都是按顺序执行的,第一条去完指令之后,第二条才开始取值,然后第三条取值,然后依次进行下一步,在WB时也一样,先第一条执行,然后后面指令再依次执行,一步一步按顺序执行。

out-of-order

乱序执行
在这里插入图片描述
在这张图的三条指令中,在第一条指令未执行结束时,第二条指令就已经WB执行结束了。此时第一条指令还没执行完成,但是第三条指令又开始执行WB,接着第三条指令也执行结束,最后第一条指令执行完毕,这就是乱序执行。

DMB/DSB/ISB的介绍

由于很多处理器都是 Out-of-order execution(乱序执行)和 speculative execution(推测执行), 所以也意味着你的访问内存可能没有按照程序顺序进行 。 在大多数的情况下,我们都无需关心访问的顺序,但有些情况下却是不得不考虑,例如:
• 在不同的threads/cores之间共享数据
• 传递数据给peripherals, 如DMA操作
• 修改指令所在的内存,如load一个程序到RAM
• 修改内存管理方案,如context switching
(以上总结为: 不同observer之间共享数据时,需使用barries指令)

DMB– Data Memory Barrier:数据内存屏障,确保位于 “DMB 指令前的所有显式内存访问” 早于 " DMB 指令后的显示内存访问"( 注意:data cache的操作也被看做是显示的访问)。
DSB – Data Synchronization Barrier:数据同步屏障。
(1)位于此指令前的所有显式内存访问均完成。
(2)位于此指令前的所有缓存、跳转预测和 TLB 维护操作全部完( 注意:cache/TLB/branch的维护操作如果广播,那么要等待广播的完成)。
ISB – Instruction Synchronization Barrier:指令同步屏障。确保提取时间晚于 ISB 指令的指令能够检测到 ISB 指令执行前就已经执行的上下文更改操作的执行效果。

barries限定符

在这里插入图片描述
Load-Load/store:表示barries仅影响load,所有在barries之后的load/store,必须等待barries之前的load
Store-Store:表示barries仅影响store
Any-Any:表示既影响store,也影响load

one-way barries

LDR:后面的指令不能跑前面去,但是前面指令可以去后面,是单向的。
STR:前面的指令不能跑后面去,但是后面的指令可以去前面

ISB

Context‐changing 操作:
• Cache、TLB、分支预测维护操作
• 系统寄存器的改变(如 SCTLR_EL1,TCR_EL1、TTBRn_EL1…)

Context‐changing只有在下面事件之后才会被确认:
• taking一个异常
• 退出一个异常
• ISB

Instruction Synchronization Barrier (ISB)
• 确保ISB之后的指令 可以看到 ISB之前的Context‐changing
• 确保ISB之后的Context‐changing,仅影响ISB之后的指

内存属性:Device memory

Device-nGnRnE : 处理器必须严格按照代码中内存访问来进行、必须严格执行program order(无需重排序)、写操作的ack必须来自最终的目的地
Device-nGnRE : 处理器必须严格按照代码中内存访问来进行、必须严格执行program order(无需重排序)、写操作的ack可以来自中间的write buffer
Device-nGRE : 处理器必须严格按照代码中内存访问来进行、内存访问指令可以进行重排、写操作的ack可以来自中间的write buffer
Device-GRE : 处理器对多个memory的访问是否可以合并、内存访问指令可以进行重排、写操作的ack可以来自中间的write buffer
➨Gathering和non Gathering(G or nG):表示对多个memory的访问是否可以合并,如果是nG,表示处理器必须严格按照代码中内存访问来进行,不能把两次访问合并成一次。例如:代码中有2次对同样的一个地址的读访问,那么处理器必须严格进行两次read transaction
➨Reordering(R or nR):表示是否允许处理器对内存访问指令进行重排。nR表示必须严格执行program order
➨Early Write Acknowledgement(E or nE):PE访问memory是有问有答的(更专业的术语叫做transaction),对于write而言,PE需要write ack操作以便确定完成一个write transaction。为了加快写的速度,系统的中间环节可能会设定一些write buffer。nE表示写操作的ack必须来自最终的目的地而不是中间的write buffer

ARM架构中的寄存器

在这里插入图片描述
**寄存器的分类:**通用寄存器,状态寄存器,控制寄存器,特殊用途寄存器,系统寄存器。在 ARM 架构中,寄存器是 CPU 内部用于存储数据、地址和状态信息的关键组件。

通用寄存器

通用寄存器是一组用于存储数据和地址的寄存器。在 ARM 架构的不同版本中,这些寄存器的数量和命名有所不同。
R0-R15 (R0-R14 + PC):
在 ARMv7 和之前的版本中,有 16 个通用寄存器,编号从 R0 到 R15。
R0 到 R14 用于存储数据和地址。
R15 通常被称为程序计数器(PC),用于存储下一条指令的地址。
X0-X30 (X0-X29 + SP):
在 ARMv8 和之后的版本中,有 31 个通用寄存器,编号从 X0 到 X30。
X0 到 X29 用于存储数据和地址。
X30 通常被称为链接寄存器(LR),用于保存返回地址。
X31 通常被称为堆栈指针(SP),用于管理堆栈。

状态寄存器

状态寄存器用于存储 CPU 的状态信息,例如标志位、中断使能状态等。
Program Status Register (PSR):
PSR 是 ARM 架构中的一个重要的状态寄存器,包含了多个子寄存器,用于存储 CPU 的状态信息。
PSR 包括:
Application Program Status Register (APSR): 用于存储条件码标志位(如 N、Z、C、V 等)。
Implementation-defined Program Status Register (IPSR): 用于指示当前正在处理的中断。
Program Status Register (EPSR): 用于存储控制位,如中断使能位。

IPSR 用于指示当前正在处理的中断。
当 CPU 正在处理中断时,IPSR 中包含了中断的编号
当没有正在处理的中断时,IPSR 的值为 0。

I (Interrupt Disable): 如果置位,则禁用所有中断。
F (Fast Interrupt Disable): 如果置位,则禁用快速中断。
在这里插入图片描述
N (Negative): 如果最近的算术运算结果的最高位为 1,则置位。
Z (Zero): 如果最近的算术运算结果为 0,则置位。
C (Carry): 如果最近的算术运算产生了进位,则置位。
V (Overflow): 如果最近的算术运算产生了溢出,则置位。

控制寄存器

控制寄存器用于控制 CPU 的行为,如中断控制、调试控制等。
Control Register (CTRL): 用于控制某些 CPU 特性,如是否启用调试模式等。
Auxiliary Control Register (ACTLR): 用于控制辅助特性,如性能监控单元(PMU)等

特殊用途寄存器

除了通用寄存器和状态寄存器之外,ARM 架构还包括一些特殊用途的寄存器。

Stack Pointer (SP): 用于管理堆栈,通常映射到通用寄存器 X31/R13。
Link Register (LR): 用于保存返回地址,通常映射到通用寄存器 X30/R14。
Program Counter (PC): 用于存储下一条指令的地址,通常映射到通用寄存器 X15/R15。
System Register (SYSREG): 用于控制和监视 CPU 的各种特性和状态,如中断控制、缓存控制等。

SP 用于指示当前堆栈的顶部位置。
在函数调用期间,参数、局部变量以及返回地址都会被压入堆栈。
SP 的值会随着堆栈操作的变化而更新。

ARMv7 架构中的寄存器

在 ARMv7 架构中,有 16 个通用寄存器,编号从 R0 到 R15。这些寄存器主要用于存储数据、地址以及程序计数器等。

R0-R14:这些寄存器可以用于存储数据、地址等。它们在函数调用和数据处理中非常有用。
R0 到 R3 通常用于函数调用中的参数传递。
R4 到 R11 通常用于局部变量或函数内部使用的寄存器。
R12 通常用作临时寄存器或用于保存跨函数调用的数据。
R13 通常称为堆栈指针(SP),用于管理堆栈。
R14 通常称为链接寄存器(LR),用于保存返回地址。
R15 (PC):R15 通常称为程序计数器(PC),用于存储下一条指令的地址。

ARMv8 架构中的寄存器

在 ARMv8 架构中,通用寄存器的数量增加到了 31 个,编号从 X0 到 X30。此外,还引入了 32 位和 64 位寄存器的区分,分别称为 X 寄存器和 W 寄存器。

X0-X29:这些寄存器可以用于存储数据、地址等。它们在函数调用和数据处理中非常有用。
X0 到 X3 通常用于函数调用中的参数传递。
X4 到 X29 通常用于局部变量或函数内部使用的寄存器。
X30 通常称为链接寄存器(LR),用于保存返回地址。
X31 通常称为堆栈指针(SP),用于管理堆栈。
W0-W29:这些寄存器是 X0 到 X29 的低 32 位版本,用于兼容 32 位应用。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/430648.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

stable diffusion 神经网络插件 controlnet 的安装,很详细

stable diffusion 神经网络插件 controlnet 的安装,很详细 一、前言二、下载1、方式一2、方式二 三、下载模型 一、前言 学到 stable diffusion 的 controlnet 插件,安装也略微曲折,这里做个记录。 下载前保证 github 能正常访问。 二、下…

css实现自定义静态进度条-vue2

实现如图所示 html&#xff1a; <div class"progress-container"><div class"progress-box left" :style"leftStyle"><div class"progress-value-top left">总中标电量</div><div class"progress-val…

在IntelliJ IDEA中设置文件自动定位

当然&#xff0c;以下是一个整理成博客格式的内容&#xff0c;关于如何在IntelliJ IDEA中设置文件自动定位功能。 在IntelliJ IDEA中设置文件自动定位 背景 最近由于公司项目开发的需求&#xff0c;我从VSCode转到了IntelliJ IDEA。虽然IDEA提供了许多强大的功能&#xff0c;…

mysql相关知识

查询一条sql语句的流程 连接器:建立连接&#xff0c;管理连接、校验用户身份查询缓存:查询语句如果命中查询缓存则直接返回&#xff0c;否则继续往下执行&#xff08;MSQL8.0 已删除&#xff09;解析 SQL&#xff1a;通过解析器对 SQL 查询语句进行词法分析、语法分析&#xf…

SQL进阶技巧:如何利用if语句简化where或join中的条件 | if条件语句的优雅使用方法

目录 0 问题场景 1 数据准备 2 问题分析 2.1 需求一 2.2需求二 3 小结 想要进一步了解SQL这门艺术语言的&#xff0c;可以订阅我的专栏数字化建设通关指南&#xff0c;将在该专栏进行详细解析。 专栏 原价99&#xff0c;现在活动价39.9&#xff0c;按照阶梯式增长&…

【LeetCode:1014. 最佳观光组合 + 思维题】

&#x1f680; 算法题 &#x1f680; &#x1f332; 算法刷题专栏 | 面试必备算法 | 面试高频算法 &#x1f340; &#x1f332; 越难的东西,越要努力坚持&#xff0c;因为它具有很高的价值&#xff0c;算法就是这样✨ &#x1f332; 作者简介&#xff1a;硕风和炜&#xff0c;…

解决启动docker desktop报The network name cannot be found的问题

现象 deploying WSL2 distributions ensuring main distro is deployed: checking if main distro is up to date: checking main distro bootstrap version: getting main distro bootstrap version: open \wsl$\docker-desktop\etc\wsl_bootstrap_version: The network name…

AP配置(leaderAP组网模式)

1.前言 由于业务需求&#xff0c;临时组建一个网络环境使用 网络设备&#xff1a;华为 AirEngine 5762-10、5762S-12 2.网络结构 参考文档&#xff0c;使用leader ap组网模式 使用一台5862S-12作为leaderAP&#xff0c;AP通电后默认是fit模式&#xff0c;需要进入修改 如果…

【html】基础(一)

本专栏内容为&#xff1a;前端专栏 记录学习前端&#xff0c;分为若干个子专栏&#xff0c;html js css vue等 &#x1f493;博主csdn个人主页&#xff1a;小小unicorn ⏩专栏分类&#xff1a;js专栏 &#x1f69a;代码仓库&#xff1a;小小unicorn的代码仓库&#x1f69a; &am…

保障电气安全的电气火灾监控系统主要组成有哪些?

电气火灾是什么&#xff1f; 电气火灾一般是指由于电气线路、用电设备、器具以及供配电设备出现故障性释放的热能&#xff1a;如高温、电弧、电火花以及非故障性释放的能量&#xff1b;如电热器具的炽热表面&#xff0c;在具备燃烧条件下引燃本体或其他可燃物而造成的火灾&…

vue项目中——如何用echarts实现动态水球图

有时候UI的脑洞真的很大&#xff0c;总是设计出一些稀奇古怪的图形&#xff0c;但又不得不佩服他们的审美&#xff0c;确实还挺好看的。今天给大家介绍echarts如何实现动态水球图。如图所示&#xff1a; 实现步骤 一、引入 在vue页面中引入echarts&#xff0c;如未安装需要先…

【计算机网络强化】计网强化笔记

第一章 计算机网络体系结构 1.1 计算机网络概述 1.计算机网络由若干个节点和连接这些节点的链路组成 2. 3.计算机网络的组成 ①硬件、软件、协议 ②边缘部分和核心部分 ③通信子网和资源子网 4.电路交换、报文交换和分组交换 ①电路交换 分为三步&#xff1a;建立连接、…

AI赋能千人千面营销:从数据采集到精准用户画像的全流程解析

随着数字化时代的来临&#xff0c;企业的营销策略正从“广撒网”的大众营销&#xff0c;向“千人千面”的个性化营销转变。借助AI&#xff08;人工智能&#xff09;技术&#xff0c;企业可以通过分析大量用户数据&#xff0c;深入洞察每一个用户的独特需求和行为&#xff0c;进…

机器翻译之多头注意力(MultiAttentionn)在Seq2Seq的应用

目录 1.多头注意力&#xff08;MultiAttentionn&#xff09;的理念图 2.代码实现 2.1创建多头注意力函数 2.2验证上述封装的代码 2.3 创建 添加了Bahdanau的decoder 2.4训练 2.5预测 3.知识点个人理解 1.多头注意力&#xff08;MultiAttentionn&#xff09;的理念图…

OpenCV_距离变换的图像分割和Watershed算法详解

在学习watershed算法的时候&#xff0c;书写代码总会出现一些错误&#xff1a; 上述代码运行报错&#xff0c;显示OpenCV(4.10.0) Error: Assertion failed (src.type() CV_8UC3 && dst.type() CV_32SC1) in cv::watershed 查找资料&#xff1a;目前已解决 这个错…

在Windows系统上安装的 Arrow C++ 库

在Windows系统上安装的 Arrow C 库 正文第一步第二步第三步第四步注: 检查是否安装成功 吐槽 正文 第一步 git clone gitgithub.com:apache/arrow.git第二步 打开powershell (好像cmd也可以,不过我试了powershell中不报错,cmd中报错,不是很清楚为什么) 打开arrow的目录 cd …

java项目之基于springboot框架开发的景区民宿预约系统的设计与实现(源码+文档)

项目简介 基于springboot框架开发的景区民宿预约系统的设计与实现的主要使用者分为&#xff1a; 管理员的功能有&#xff1a;用户信息的查询管理&#xff0c;可以删除用户信息、修改用户信息、新增用户信息&#xff0c;根据公告信息进行新增、修改、查询操作等等。。 &#x1…

EasyExcel将数据库里面的数据生成excel文件

EasyExcel官方文档 1.在model模块导入依赖 <!-- 生成报表--> <dependency><groupId>com.alibaba</groupId><artifactId>easyexcel</artifactId><version>4.0.3</version> </dependency> 2.修饰实体类 package…

【网络】TCP协议的简单使用

目录 echo_service server 单进程单线程 多进程 多线程 线程池 client echo_service_code echo_service 还是跟之前UDP一样&#xff0c;我们先通过实际的代码来实现一些小功能&#xff0c;简单的来使用TCP协议进行简单的通信&#xff0c;话不多说&#xff0c;我们先实现…

【结构型】树形结构的应用王者,组合模式

目录 一、组合模式1、组合模式是什么&#xff1f;2、组合模式的主要参与者&#xff1a; 二、优化案例&#xff1a;文件系统1、不使用组合模式2、通过组合模式优化上面代码优化点&#xff1a; 三、使用组合模式有哪些优势1、统一接口&#xff0c;简化客户端代码2、递归结构处理方…