ART世界探险(3) - ARM 64位CPU的架构快餐教程

ART世界探险(3) - ARM 64位CPU的架构快餐教程

前面我们说过,Dalvik如果没有JIT的话,可以做到架构无关,让Dalvik指令都解释执行。但是ART是AOT,要编译成针对芯片具体的机器指令。
所以,研究Dalvik的时候可以不用太关心目标指令,而我们研究ART必须对目前最流行的微处理器的架构有个基本的了解。
在上一讲我们对于ART从java byte code到ARM64 v8指令的整个流程有了一个大概的了解之后,我们就目前最流行的ARM64位芯片的知识进行一些探索。
我们的目的不是写一个操作系统,所以我们尽可能挑实用的讲。

ARM架构简史

我们用NDK编译一个jni库之后会发现,生成了armeabi,armeabi-v7a,arm64-v8a三个目录。这三个目录,代表了ARM目前最流行的三种架构的指令集。

ARM芯片从1985年诞生以来,经历了主要6次大的架构调整。
1. ARMv4及之前:只使用32位的ARM指令集。
2. ARMv4T,在32位ARM指令集的基础上,增加了16位的Thumb指令集。这是第一个被广泛使用的架构,代表芯片ARM7TDMI和ARM9TDMI。
3. ARMv5TE,增加了DSP操作,饱和算法,ARM和Thumb切换。代表芯片:ARM926EJ-S。
4. ARM v6,对内存访问的架构有所调整,支持SIMD指令。代表芯片:ARM1136JF-S。这一代Thumb2成为可选项。
5. ARM v7-A,将v6时可选的Thumb2指令集变成必选项,支持NEON指令。代表芯片Cortex-A8, A9, A15, A17。
6. ARMv8-A,支持两种架构,64位的AArch64和AArch32。其中,AArch32跟原有的v7-A架构是基本一样的。代表芯片为A57, A53, A73, A72.

我们通常见到的armeabi,实际上对应的是ARM v4T~v6的指令。为了节省空间,我们基本上都编成16位的Thumb指令。armeabi-v7a,对应v7-A架构。arm64-v8a对应ARM v8-A的AArch64指令。

我们习惯上,把ARM v4之前就有的基础的32位ARM指令集称为A32指令集,16位的Thumb指令称为T16指令集,AArch64指令集称为A64指令集。

其中,Thumb/Thumb2和A32指令集是兼容的。Thumb和Thumb2比较节省空间,但是有些A32指令的功能是没有的。
这时候,只要从Thumb状态切换到ARM状态下就好了,执行完A32才有的指令,回去再执行T16指令就好了。

但是A64指令是不兼容Thumb的,在这种状态下,只有A64指令这一种指令可以用。

Android所用的ARM芯片简史

在Android刚出来的时候,HTC G1所用的高通MSM7201芯片,基于ARM11,用的是ARM v6指令集。
后来德州仪器的OMAP 3430第一次将Cortex-A系列的第一个架构Cortex-A8,引入现实世界中。开启了ARM v7a的时代。这个时代的代表机型就是Moto Droid/MileStone,开启了第一批百万级的Android手机。
随后,从NVidia的Tegra 2开始,我们进入了A9和双核的时代。Tegra 3使用Cortex-A15,在32位上达到一个高峰。
同时,以MediaTek为代表的中低端厂商开始将低端的Cortex-A7发挥到极致,MT6577是两个A7,MT6589为4个A7,MT6592是8个A7.
进入64位时代的代表芯片,就是Qualcomm的SnapDragon 810芯片,4个Cortex-A57的发热问题困扰了无数厂商去年整整一年。
MediaTek继续发挥低端的威力,升级成64位的Cortex-A53。MT6735芯片4个A53,MT6753芯片8个A53。幸好最近的Helix X25/20开始用A72+A53了,我们总算是在MTK芯片上见到一次大核的身影。

从芯片的广泛性上考虑,我们这个讲座的目标芯片就放在Cortex-A53上。

Cortex-A57和Cortex-A53芯片对比

我们简单列一下A57与A53的对比,大家有个直观印象就好。

  Cortex-A53 Cortex-A57
典型时钟 2GHz, 28nm工艺 1.5~2.5GHz, 20nm工艺
执行顺序 顺序 乱序、投机问题、超标量
核心数 1~4 1~4
峰值整数能力 2.3MIPS/MHz 4.1~4.76MIPS/MHz
浮点单元
半精度
硬件除法
融合乘法累加
流水线 8级 15级+
返回栈条目 4 8
通用中断控制 外部 外部
AMBA接口 64位 AMBA 4/5 128位 AMBA 4/5
L1指令缓存 8K ~ 64KB 48KB
L1数据缓存 8K ~ 64KB 32KB
L2缓存 可选 集成
L2缓存 128K~2M 512K~2M
主TLB 512 1024
uTLB 10 48指令,32数据

对我们理解后续知识有影响的主要有两条:一是Cortex-A53不支持乱序执行,这将影响未来的优化策略;另一个是A53的流水线没有A57深,只有8级。

ARM v8a架构简介

异常等级

ARM v8a引入了异常等级的概念。一共有从EL0到EL3四种异常等级,等级越高,特权越高。我们的应用一般都运行于EL0。操作系统内核运行于EL1,EL2和EL3可以留给安全监控软件和KVM之类的虚拟化软件使用。

AArch64与AArch32

ARM芯片曾经指令集比x86容易学的重要原因是历史包袱少,不需要兼容历史上的指令集。现在ARM 64位芯片也不得不做起兼容自己以前的重任。ARM的做法是将运行状态分成AArch64和AArch32两种状态。AArch64就是我们后面重点学习的64位的指令集的运行态,而AArch32是兼容Arm-v7a的状态,所有Arm-v7a以及更早的软件都可以在这个状态上正常运行。
对于我们应用来讲,EL0是没有权限进行AArch64和AArch32状态切换的,所以我们只能一条道走到黑地用一处状态。这也是我们的A64指令无法切换到A32,T16指令的原因。

寄存器

通用寄存器

在AArch64运行态下,在所有的异常级下,都可以访问31个64位通用寄存器,它们的命名是X0~X30。
这31个64位寄存器也可以通过W0~W30来访问低32位。
读Wn时,不会影响到高32位的值。写Wn时,会将高32位全部清0.

我们来看一段之前看过的例子:

str x0, [sp, #-32]!
str lr, [sp, #24]
str w1, [sp, #40]
str w2, [sp, #44]

str x0是使用第0个64位寄存器。
str w1是只使用第1个64位寄存器的低32位

特殊寄存器

  • 零寄存器:XZR/WZR,写该寄存器会被忽略,读该寄存器会得到全0值。
  • PC:程序指针寄存器,64位。注意,还是叫PC,不叫XPC啊!在ARMv7之前,PC可以做为R15,当成通用寄存器来使用,在ARMv8上,不允许直接访问。
  • SP:栈寄存器,64位。对应的32位为WSP,但是64位的这个就叫SP不叫XSP啊!SP是每个EL对应一个(反正咱们只有EL0这个)。
  • ELR(Exception Link Register):异常链接寄存器,EL1~EL3各有一个。存储了从中断返回的地址,这个咱们应用没权限用,本系列中学不到
  • SPSR:(Saved Processor State):EL1~EL3各有一个。保存了发生异常时的状态信息,这个咱们也用不着。

状态域

在AArch64运行态下,没有对应CPSR(Current Program Status Register)的寄存器。每种状态现在需要分别访问。

这些状态有:

  • N – 负数
  • Z – 0
  • C – 进位
  • V – 溢出
  • D – 调试位
  • A – Serror
  • I – IRQ
  • F – FIQ
  • SS – 软件单步跟踪
  • IL – 无效运行态
  • EL – Exception Level
  • nRW – 执行态,0为64位,1为32位
  • SP – 栈指针选择,0为EL0,n为ELn。

N, Z, C, V四种状态是可以在EL0级别被访问的,其它的都需要EL1以上级别。所以,咱们写应用只需要知道前4个就行了,多省心:)

系统寄存器

系统配置是通过MRS和MSR指令去访问系统寄存器来实现的。

NEON寄存器

在通用寄存器之外,ARMv8还提供了32个128位NEON浮点寄存器,V0~V31。它们也可以被当作半精度寄存器H,单精度寄存器S和双精度寄存器D。

A64 ATPCS支持最多传8个参数,通过X0~X7。而A32和T32只支持4个。说人话就是,如果一个函数调用要传8个参数,就可以放到X0~X7这8个64位寄存器里。

ARM v8a小结

ARM v8a支持AArch64和AArch32两种运行态,在应用运行的EL0权限下不能切换,只能选一种。AArch64状态下只能运行A64这一种指令集,而AArch32运行态下,可以执行A32和Thumb2两种指令集,这两种之间可以自由切换。

在AArch64运行态下,我们有31个64位通用寄存器(X0~X30),32个128位NEON浮点寄存器,一个零寄存器用于写无用数据,一个PC指令指针,一个SP栈指针,状态位只需要记4个:N负Z零C进行V溢出。

既然是快餐文,就讲这么多。大家能对上面小结的了解清楚,我们就可以正式向指令集前进了〜

时间: 2024-11-03 18:14:53

ART世界探险(3) - ARM 64位CPU的架构快餐教程的相关文章

ARM推首个64位CPU内核架构 剑指服务器市场

10月28日消息 据路透社报道,英国芯片设计公司ARM今日发布了其首款64位架构的CPU,并表示公司期望将业务范围扩大到企业应用市场,譬如一直被英特尔占据服务器市场等. ARM推出的新64位架构的CPU内核为ARMv8,同时兼容32位和64位指令集.ARM公司CTO Mike Muller表示,新架构为公司赢得了市场,从此我们能够提供具备64位处理能力的节能解决方案了. Nvidia高级副总裁Dan Vivoli表示,"Nvidia公司在节能方面.高性能计算方面都有着领先的地位.结合新的ARMv

ART世界探险(19) - 优化编译器的编译流程

ART世界探险(19) - 优化编译器的编译流程 前面,我们对于快速编译器的知识有了一点了解,对于CompilerDriver,MIRGraph等都有了初步的印象. 下面,我们回头看一下优化编译器的编译过程.有了前面的基础,后面的学习过程会更顺利一些. 下面我们先看个地图,看看我们将遇到哪些新的对象: OptimizingCompiler::Compile 我们先来看看优化编译的入口点,Compile函数: CompiledMethod OptimizingCompiler::Compile(c

ART世界探险(6) - 流程控制指令

ART世界探险(6) - 流程控制指令 分支结构 Java分支结构 我们先来个最简单的,比较大小吧. public static long bigger(long a, long b){ if(a>=b){ return a; }else{ return b; } } public static int less(int a,int b){ if(a<=b){ return a; }else{ return b; } } 看看Java字节码是个什么样子: public static long

ART世界探险(12) - OAT文件分析(2) - ELF文件头分析(中)

ART世界探险(12) - OAT文件分析(2) - ELF文件头分析(中) 段(section)的概念 一块内存分配给应用程序之后,从代码的组织上,我们就有将它们分段的需求. 比如,可以分为代码段,数据段,只读数据段,堆栈段,未初始化的数据段等等. 在GAS汇编器中,我们通过.section伪指令来指定段名.ARM编译器我买不起,我就忽略它了. 标准section 段的描述 默认段名 代码段 .text 经过初始化的数据段 .data 未经初始化的数据段 .bss BSS是Block Star

ART世界探险(7) - 数组

ART世界探险(7) - 数组 Java针对数据是有专门的指令去处理的,这与C/C++有显著的不同. Java字节码对于数组的支持 一个极简的例子 Java源代码 为了简化,我们取一个极简的例子来说明Java的数组指令的用法: 我们new一个长度为1的字节数组,然后返回这个数组的长度. public static int testByteArrayLength(){ byte[] baArray = new byte[1]; return baArray.length; } Java字节码 有几

ART世界探险(5) - 计算指令

ART世界探险(5) - 计算指令 整数运算 Java的整型运算 我们先看看JVM是如何处理这些基本整数运算的吧. public static long add(long a, long b){ return a+b; } public static long sub(long a,long b){ return a-b; } public static long mul(long a, long b){ return a*b; } public static long div(long a,l

ART世界探险(8) - 面向对象编程

ART世界探险(8) - 面向对象编程 对象和方法调用 接口定义: public interface SampleInterface { void interfaceMethod(); } 给接口做一个实现: public class SampleClass implements SampleInterface{ @Override public void interfaceMethod() { } } 我们先做一个新建对象,并调用这个对象从接口. public void testMethod(

ART世界探险(4) - 数据传送指令和桶型移位器

ART世界探险(4) - 数据传送指令和桶型移位器 数据传送指令 将数在寄存器之间传递,或者将立即数传给寄存器.所谓的立即数,就是直接写在指令里的数,比如MOV X0,100,这个100就是立即数.立即数会存在指令的参数中. 将立即数传给寄存器:MOV 命令格式:MOV 寄存器, 立即数 AArch64状态下例: MOV X0,100 MOV W1,200 AArch32状态例: MOV R2,50 立即数取非送到寄存器:MVN 格式:MVN 寄存器,立即数 MVN X0,1,相当于X0=~1

ART世界探险(11) - OAT文件格式分析(1) - ELF文件头(上)

ART世界探险(11) - OAT文件格式分析(1) - ELF文件头(上) 既然是要探险,咱们就保持一定的深度,起码将来可以做个基于ART的黑客之类的. 所以我们针对细节多下一些工夫,先仔细分析一下OAT文件的格式. ART的本质上是一个编译器,所以我们需要对编译.链接的主要环节都有一个比较深入的了解.想要绕过编译原理去学好ART,是不太现实的一件事情,我们选择可以让这个过程有趣和好玩. 闲扯不多说了,言归正传. 可执行文件 OAT是一种可执行文件,所以封装在一个ELF格式的可执行文件中. 可