【RISC-V 指令集】RISC-V 向量V扩展指令集介绍(六)- 向量内存一致性模型

1. 引言

以下是《riscv-v-spec-1.0.pdf》文档的关键内容：

这是一份关于向量扩展的详细技术文档，内容覆盖了向量指令集的多个关键方面，如向量寄存器状态映射、向量指令格式、向量加载和存储操作、向量内存对齐约束、向量内存一致性模型、向量算术指令格式、向量整数和浮点算术指令、向量归约操作、向量掩码指令、向量置换指令、异常处理以及标准向量扩展等。

首先，文档定义了向量元素和向量寄存器状态之间的映射关系，并阐述了向量指令的格式。在此基础上，提出了配置设置指令，如vsetvl、ivsetiv和vlsetvl，用于设定向量长度（VL）和向量对齐长度（AVL）。

接着，文档详细说明了向量加载和存储操作，以及向量内存对齐和一致性模型。这些模型确保了向量操作的高效性和准确性。

然后，文档介绍了向量算术指令格式，包括向量整数、固定点和浮点算术指令。这些指令支持广泛的数学运算，为高性能计算提供了强大的支持。

此外，文档还涉及向量归约操作、掩码指令和置换指令，这些指令增强了向量操作的灵活性和功能性。

最后，文档讨论了异常处理机制，并列举了标准向量扩展指令列表。这些扩展指令为向量处理器提供了丰富的功能集，使其能够适应不同的应用场景和性能需求。

综上所述，这份文档为向量指令集的设计和实现提供了全面的指导和参考，有助于开发者更好地理解和利用向量处理器的能力。

如果一个由向量内存指令访问的元素没有自然地与该元素的大小对齐，那么这个元素要么成功传输，要么会在该元素上引发地址未对齐异常。

对未对齐的向量内存访问的支持独立于实现对未对齐的标量内存访问的支持。

一个实现可能既没有、有一个、或两者都有：标量和向量内存访问在硬件上支持部分或全部未对齐的访问。应单独定义一个PMA（物理内存属性）来确定在相关地址范围内是否支持向量未对齐访问。

向量未对齐内存访问遵循与标量未对齐内存访问相同的原子性规则

向量内存指令在本地hart上以程序顺序执行。

向量内存指令在指令级别遵循RVWMO（RISC-V弱内存排序模型）。

除了向量索引排序的加载和存储外，指令内的元素操作是无序的。

向量索引排序的加载和存储分别按照元素顺序从/向内存中读写元素。

注意：需要更正式的定义。

受向量长度寄存器vl影响的指令对vl有控制依赖关系，而不是数据依赖关系。

同样，带掩码的向量指令对源掩码寄存器有控制依赖关系，而不是数据依赖关系。注意：

将向量长度和掩码视为控制而非数据，通常与相应的标量代码的语义相匹配，因为在标量代码中通常会使用分支指令。将掩码视为控制允许带掩码的向量加载指令在掩码值已知之前访问内存，而无需错误推测恢复机制。

在拟议的RVTSO内存模型（Ztso扩展）下，向量内存指令的行为目前尚未定义。