ARMV8 datasheet学习笔记3：AArch64应用级体系结构

1.前言

本文主要从应用的角度介绍ARMV8的编程模型和存储模型

2. AArch64应用级编程模型

从应用的角度看到的ARM处理器元素：

可见的元素（寄存器/指令）	说明
可见的寄存器	R0-R30、SP、 PC、 V0-V31、 FPCR、 FPSR
可见的PSTATE位	NZCV DAIF
可见的系统寄存器	Cache ID registers Debug registers Performance Monitors registers Thread ID registers Timer registers
性能监控支持	可通过高一级的异常级别修改PMUSERENR_EL0寄存器来使能EL0的性能监控功能
异常处理	通过SVC指令引发系统调用异常(异常处理是由高于EL0的异常级别执行的)
等待中断与等待事件	WFI和WFE指令
Yield指令	为提高整体性能，某个线程让给其它线程，用于多线程执行下的性能优化
Cache管理	很少的cache管理指令供EL0使用，通过高异常级别设置SCTLR_EL1，来使能cache管理指令
Debug事件	应用级软件对大部分Debug事件不可见，仅有的包括： BKPT指令：引起BKPT指令事件发生； DBG指令：给debug系统提供暗示？？ HLT指令：引发进入debug状态

表 AARCH64下从应用的角度可以看到的寄存器或指令集

3. AArc64应用级存储模型

3.1 地址空间

采用64bit寄存器计算地址；
高8位可由supervisory软件配置作为tag信息；
高8位配置为tag信息将不做有效性检查，也不会传递给PC；
supervisory软件决定有效地址范围，如果访问非法地址会导致MMU fault.

3.2 存储类型

Normal

主要用于大块内存的读写、只读操作；

Device

禁止随机读写操作，如大部分的IO寄存器

3.3 Cache与存储层级

内存系统的实现非常依赖各个处理器的具体实现，ARMV8体系结构定义了与内存系统交互的应用级接口，包括带有多级caches的存储层级系统

cache

Cache是一种高速的存储块。包含很多的存储项，每个存储项包含主存的地址（称为tag）和数据信息。利用时间局部性和空间局部性提高了内存的访问速度；

Cache line: 将cache分成一些固定大小的存储空间, 这些存储空间叫做Cache Line.

Cache hit:cache命中，访问的数据存在于cache中；

Cache miss:cache失效，访问的数据不在cache中；

PoU（Point of Unification）

PoU是一个存储层级的点，data cache, instruction cache和translation table walks看到的都是相同的copy. 那么这个点就是该PE的Point of Unification。

假设一个4核cpu，每个core都有自己的L1 instruction cache和L1 Data cache，所有的core共享L2 cache。在这样的一个系统中，PoU就是L2 cache，只有在该点上，特定PE的instruction cache、data cache和translation table walk硬件单元访问memory的时候看到的是同一个copy

PoC（Point of Coherency）

可以认为是Point of System，它和PoU的概念类似，只不过PoC是以系统中所有的agent（bus master，又叫做observer，包括CPU、DMA engine等）为视角

这些agents在进行memory access的时候看到的是同一个copy的那个“点”。例如上一段文章中的4核cpu例子，如果系统中还有一个DMA controller和main memory（DRAM）通过bus连接起来，在这样的一个系统中，PoC就是main memory这个level，因为DMA controller不通过cache访问memory，因此看到同一个copy的位置只能是main memory了。

Cacheablily和shareablity

用来描述多处理器系统中的存储层级属性.

Cacheablity：定义了是否某段内存被指定给了一个cache;

Shareablity：定义了某段内存位置在整个系统中是共享的. 指当前内存页表项的数据是否可以同步到其它CPU上，多核CPU调用带有该属性页表项的数据，一旦某个CPU修改了数据，那么系统将自动更新到其它CPU的数据拷贝，实现内存数据一致性

3.4 应用访问cache相关功能

体系结构定义了一组cache维护指令，应用软件可以用来管理cache一致性。运行在EL1或更高异常等级的软件可以使能/禁用EL0的一些功能：

（1）SCTLR_EL1.UCI == 1

运行在EL0的软件可以访问数据cache维护指令（DC CVAC/DC CVAU/DC CIVAC）和指令cache维护指令（IC IVAU）

（2）SCTLR_EL1.UCT== 1

运行在EL0的软件可以访问cache type register.

（3）SCTLR_EL1.DZE== 1

运行在EL0的软件可以访问1数据cache zero指令(DC ZVA)

3.5 应用程序员关于cache的一些隐含问题

数据一致性问题

可以通过如下方法解决数据一致性问题：

（1）不使用cache。使用non-cached memory，直写memory; 不要使能系统中的cache;

（2）使用cache维护指令来管理软件中的一致性问题；

（3）通过使用硬件一致性机制来保证不同共享域的观察者所见的内存访问是一致的；

数据与指令访问的同步和一致性问题

下面以修改一条指令为例说明如何保证数据一致性：

（1）STR Wt, [Xn]

将新的修改的指令存入Xn指向的内存（实际存入了data cache）;

（2）DC CVAU, Xn

将data cache中数据真正刷入内存；

（3）DSB ISH

等前面的DC指令执行完成后再执行后面的指令；

（4）IC IVAU, Xn

无效指令cache到PoU的数据；

（5）DSB ISH

等前面的IC指令执行完成；

（6）ISB

3.6 Preload caches

将指令或数据提前放入cache来加快内存访问速度

3.7 对齐支持

3.7.1 Instruction alignment

A64指令必须是word(32bits)对齐，试图从一个PC未对齐的位置取指会引发PC对齐错误

3.7.2 Data alignment

对device memory的访问

必须对齐，否则会引发unalignment fault;

对normal memory的访问

（1） Load-Exclusive/Store-Exclusive and Load-Acquire/Store-Release

任何访问地址没有对齐到访问元素将会产生对齐错误

（2）其它情况

a). SCTLR_ELx.A==1，使能对齐检查，任何访问地址没有对齐到元素将会产生对齐错误；

b). SCTLR_ELx.A==0，不使能对齐检查，支持对非对齐的访问

注：SCTLR_EL1.A只能在EL1访问，设置的EL0和EL1的对齐检查

对齐检查失败将会导致对齐错误，会捕获data abort异常

（1）如果从Non-secure EL0或EL1访问，如果齐检查失败发生在地址转换的第一阶段，异常将传递给EL1；

（2）如果从Non-secure EL0或EL1访问，如果对齐检查失败发生在地址转换的第二阶段，异常将传递给EL2;

（3）对于除（1）（2）的其它情况，如果对齐检查失败，异常将传递给能处理此异常的最低异常级别，但要遵循异常发生时异常等级不能降低的原则：

EL0或EL1下的对齐异常会传给EL1;

EL2下的对齐异常会传给EL2;

EL3下的对齐异常会传给EL3;