跳至主要內容

VP - Value Prediction Abstract

Someone大约 19 分钟

VP - Value Prediction Abstract

Value Prediction in a Nutshell

Value Prediction (VP) is a microarchitectural technique that speculatively breaks true data dependency to increase instruction level parallelism in out-of-order processor cores.[1]

  • branch prediction but for values

MICRO Test of Time Award[2] 是一个十分具有分量的奖项，收录了微体系结构中经典的具有影响力的论文，关于 VP 的论文 < Exceeding the Dataflow Limit Via Value Predictionopen in new window>[3] 就是 2017 年被该奖项收录。

MICRO 29

Abstract

本章节主要研究 Exceeding the dataflow limit via value prediction 这篇文章，这篇文章作为经典的 VP 的顶尖著作之一，具有很高的研究价值。

Taxonomy of Speculative Execution

投机执行的分类：

  • 对于 Data Speculation 而言，我们分类：预测是否与数据的位置或者值有关。

  • 对于 binary vs multi-valued 而言，binary 表示的是预测的两种结果，0-1 或者 token vs not-token(branch 中表示 branch 的方向)，mutil-valued 表示的是 brach 的目标，这个目标可能是存在于程序地址的任何空间中的。

Data Speculation

可以分为两类：

  1. those that speculate on the storage location of the data: 存储位置
  2. those that speculate on the actual value of the data: 实际的值

对于推测存储位置存在两种 flavor:

  1. those that speculate on a specific attribute of the storage location：根据存储位置的特定属性进行推测
  2. those that speculate on the address of the storage location：根据存储位置的地址进行推测

Value Locality

previously-seen value recurring repeatedly within a storage location.

以前看到的值在存储位置中重复出现。

Although the concept is general and can be applied to any storage location within a computer system, we have limited our current study to examine only the value locality of general-purpose or floating point registers immediately following instructions that write to those registers.

目前限制了这个 Value Locality 的范围在通用寄存器或者浮点寄存器的值局部性，这些寄存器紧跟在写入指令之后。

不过哪怕是寄存器，以 32-bit 举例，也可能会存在超过 2^32 的值，我们要怎么才能做到预测下一个可能出现的值呢？

As it turns out, if we narrow the scope of our prediction mechanism by considering each static instruction individually, the task becomes much easier and we are able to accurately predict a significant fraction of register values being written by machine instructions.

这篇文章使用了 20 个 benchmark 总结出来了寄存器的 value locality, 特别是 signal cycle 的指定操作寄存器的 value locality 更加明显。

Exploiting Value Locality

Value Prediction Unit

文章提出了 VP 单元的两级预测结构：

我们对这张图片进行分析：

the Classification Table (CT) and the Value Prediction Table (VPT), both of which are direct-mapped and indexed by the instruction address (PC) of the instruction being predicted.

The PC of the instruction being predicted is used to index into the VPT to find a value to predict.

PC 中的指令用于 index 进去 VPT, 找到需要预测的值。与此同时，CT 也被 Index 用于用于决定是否进行预测。当指令完成的时候，pred histstory 和 value history 两个字段都被更新了。

CT

  • valid

The valid field, which consists of either a single bit that indicates a valid entry or a partial or complete tag field that is matched against the upper bits of the PC to indicate a valid field.

这句话主要的意思是：由单个 bit 位组成，表示一个有效的 entry 或者一部分或完整的 tag 字段，与 PC 的高比特位匹配，表示有效的 field.

  • prediction history

​ 1 bit 或者更多位的 saturating counter(饱和计数器)， 某个预测正确或者错误的时候，这一位的字段增加或者减少。

​ 除此之外，还可以将指定分类为可预测和不可预测；这种预测用于决定是否预测特定指令的结果。换言之，CT 将指令分为了两类：通过 VPT 预测和指令和不通过 VPT 预测的指令。

Increasing the number of bits in the saturating counter adds hysteresis to the classification process and can help avoid erroneous classifications by ignoring anomalous values and/or destructive interference.

​ 需要注意，增加饱和计数器的 bit 位可能会增加分类过程中的 hystersis(迟滞)；这个迟滞可能的意思是说，增加 bit 位导致的预测结果集后移，这种迟滞，如以前 2-bit, 2 and 3 是预测，3-bit 而言 可能需要 4 以后才可以预测，这就是迟滞。

对于 CT 和 VPT 的相互关系：

The VPT replacement policy is also governed by the CT prediction history to introduce hysteresis and avoid replacing useful values with less useful ones.

VPT 的替换策略受到 CT 预测历史的影响，这是为了避免引入不必要的错误值。

总结：

  1. 用于在预测正确或者错误的时候饱和计数器自增或者自减
  2. 用于对某个指令分类，该指令是否可预测

VPT

VPT 的这两个字段的含义说明如下：

  • tag

    同 CT，由单个 bit 有效位或者完整或者部分标记。

  • value history

    包括 32-bit 或者 64 bit 的值，这些值由 LRU 策略维护（that are maintained with an LRU policy）；当第一次产生指令结果或者预测不正确的时候，这个字段被替换掉。

    需要注意的是，VPT 的替换策略受到 CT 预测历史的影响，以免用了不那么有用的值替换掉有用的值。

Verifying Predictions

由于值预测本来就是投机性的，所以需要一种机制来验证预测的正确性，并且从错误预测中恢复过来。

HPCA 19

Abstract

本章主要研究 HPCA 19 的 Efficient Load Value Prediction using Multiple Predictors and Filters[4].

首先阐述 VP 的重大意义：

Value prediction has the potential to break through the performance limitations imposed by true data dependencies.

然后提出了仅预测 load value 是最高效的方式，特别是在硬件预算不高的情况下（虽然说预测所有指令类型的值是可以做到的）。

📌📌📌 todo，需要研究一下原文的 3 和 4 引用，搞清楚 load value 具体的意义。

目前自己理解的 load value 的含义为：load 指令取值，这个值来自于内存中。

在此先引用一下一篇论文中的解释[5]，但是不一定是准确的：

The LVPT is used to predict the value being loaded from memory by associating the load instruction with the value previously loaded by that instruction.

🤔🤔🤔 这句话阐述了一个观点：load value 指的是指令从内存中加载出来的值，load 指令中有访存的操作，这时候就是从内存中取出来要使用的值。

While predicting values of all instruction types is possible, prior work has shown that predicting just load values is most effective with a modest hardware budget.

然后概述使用了比较多的篇幅来说明提升 VP 的预测精度需要硬件帮助，因此本文提出了一种：

In this paper, we analyzed four state-of-the-art load value predictors, and found that they complement each other.

基于上述的 load value, 作者提出了一个新的复合预测器。

Based on that finding, we evaluated a new composite predictor that combines all four component predictors.

Summary

这块做一个简单的总结，从总体上对这篇文章有一个了解。

  1. 本文使用了 4 个先进的预测器，并且提出了一种 Smart Training 的方法对这四种预测器进行有机的结合（后文 Smart Training 中进行详细的研究）
  2. 增加 AM(Accuracy Monitor) 技术，这个技术通过屏蔽 produce mis-prediction 的预测器，来减少错误预测带来的损失。AM 可以分为两种：M-AM 和 PC-AM
  3. 使用 Heterogeneous Predictor Tables 技术，也可以称作动态融合预测器表，将资源从性能不佳的预测器重新分配到性能更好的预测器
  4. 深入分析比较了这种融合的方式对于预测准确度的提升，并和最先进的模型进行了对比

Introduction

more ILP, true data limit.

ILP 指的是 Instruction Level Parallelism, 指令级并行。

In the case of load instructions, it is also possible to predict a load memory address, followed by a data cache access, to generate a speculative value that does not necessarily exhibit value locality.

这个技术可以再研究一下。

4 Predictors

本文使用了 4 个先进的预测器，并对他们进行了融合，融合过后的组合预测器性能得到了很大的提升，这 4 个预测器如下表所示：

PredictsPredicts
Load valuesLoad addresses
Context agnosticLast Value Prediction (LVP)Stride Address Prediction (SAP)
Context awareContext Value Prediction (CVP)Context Address Prediction (CAP)

从表中我们可以看出，本文一共使用的四个预测器，并且可以分类为基于地址的、基于 value 的、上下文是否感知的，本文对这些预测器进行了一个排序（使用顺序，在预测的时候先使用哪个，后使用哪个），我们根据这个排序对这 4 个预测器进行简单的介绍：

  1. LVP[6]
  2. CVP
  3. SAP
  4. CAP

All four components train inparallel.

注意到其并行性。

LVP

LVP[6:1]这个预测器的原理在于：that consecutive dynamic instances of a static load will often produce the same value, 翻译过来就是说静态 load 的连续动态实例通常会产生相同的值。

这个预测器是对上下文不感知的。

这边举了两个例子，还需要再深入理解一下，或者去阅读一下原文。

第一个例子（接上面的英文原文）：

This commonly occurs, for example, with PC-based loads that read large constants.

第二个例子：

The pattern can also occur when dynamic instances of a static load produce different addresses, such as when sequencing through an array just initialized with memset.

上述两个例子都是举例说明了 LVP 的一些场景。

LVP uses a PC-indexed, tagged prediction table. 其结构如下：

14-bit64-bit3-bit81 bits(total)
tagvaluesaturating confidence countera entry

LVP is trained when a load executes by hashing the PC bits of a load to access an entry and then updating the entry’s tag and value.

❌❌❌ load PC 的关系不明确，导致这段话不能理解。

目前可以看出来的是，PC 中的一些比特位通过 hash 的方式索引到 LVP 表中的 entry, 一般而言，是对比 tag, 然后看其对应的置信值是否大于阈值。

这个预测器如果遇到了 tag/value 匹配的话，我们就增加置信值，否则不匹配的话，置信值归零。

CVP

77bits: tag(14-bit) + virtual address(49-bit) + saturating confidence counter(2-bit)
saturating confidence counter: 饱和置信计数器。

CVP

81bits: tag(14-bit) + value(64 bit) + counter(3-bit)

CVP is inspired by branch prediction, which has long observed that branch behavior is correlated with the path history leading to the branch.

其灵感来源于分支预测，分支的行为往往与导致分支行为的路径历史有关，对于 VP, 这个结论也同样适用。

当 load 执行的时候，CVP 适用表中最长历史、最高置信的字段。

CAP

67bits:tag(14-bit) + virtual address(49-bit) + confidence(2-bit) + load size(2-bit)

CAP 预测器在 4 个预测器中拥有最小的置信阈值。

CAP 预测器的工作方式如下：

  1. load 完成的时候，更新 table
  2. 新的 tag, value 和 size 和已知的 entry 匹配，则增加置信值
  3. 其他情况，置信值置 0

Value Prediction

FPC Strategies

使用一个 forward probabilistic counter(FPC) 可以减少数字的比特，这个在其他论文中提到了。

目前的理解：使用标量构建置信度，然后再计算出对应的 FPC 矢量。

Smart Training

使用 Smart Training 的时候，我们在训练和预测时候使用的预测器的数量是减少的，figure 7 阐述了这个结论。

Smart Training 目的在于合理地对 4 中预测器进行组合，其工作方式如下：

  1. 如果没有预测发生，所有的预测器都用做最小化获得置信预测的最小时间；
  2. 如果一个或者多个预测发生了，那么我们只训练以下的预测器：
    1. mispredicted
    2. 参考 heuristic 中拥有最小代价的，简而言之，就是按照顺序对预测器进行训练。

📌📌📌 todo：深入研究这个策略，其前置条件是什么，策略是什么，什么条件下对应使用什么策略。

Accuracy Monitor(AM)

AM

可以分为两种：

  1. M-AM
  2. PC-AM

AM 的概念介绍如下：

In a composite predictor, we can also throttle an entire component predictor when it is producing a high misprediction rate overall. We studied two different throttling mechanisms, which we call Accuracy Monitors (AM).

AM 是一种机制，其保证了当整个组合预测器产生了较高的总体误预测率时，我们可以对其进行限制。可以翻译为一种“节流机制”。

AM Q&A

Q：AM 使能的时间节点是哪个？

A：在 fetch 阶段，原文是 At prediction time (Fetch)，在这个阶段 AM 与预测器同时查找。

Q: AM 通过什么样的方式使能的？

A：AM 会产生一个预测值，并且 AM 是与预测器关联的，AM 可以指示该预测器的预测不可靠，依据这个我们可以对预测器的预测结果进行压缩(squash).

Q: M-AM 和 PC-AM 有何不同？

A: 先说相同点，两者都是衡量的可信指标；M-AM 是 epoch 维度，而 PC-AM 是指令维度。

M-AM

M-AM 跟踪每个组件执行期间的错误预测率，这个预测错误率有一个计算的方法，以每一个 epoch 为单位，大概 100W 个指令。

PC-AM

不同于 M-AM，PC-AM 跟踪每一个 PC 的预测错误率，精度更高。

PC-AM 包括几个字段：tag + counters.

PC-AM 中的 narrow counter 的增加策略是，每一次触发了流水线的 flush, PC-AM 的 counter 就增加。

PC-AM 追踪每一个 PC 以便于实施更有针对性的沉默。

Heterogeneous Predictor Tables

Discuss

Q：这个机制最终还是没有保证 commit 步骤，前面的准确率是如何保证的？

A：📌📌

Q：值预测器的原理是什么，简要说明。

A：

ASPLOS 96(LVP)

Abstract

本部分主要研究文章 Value locality and load value prediction[5:1] , 主要是涉及到这篇文章中的 LVP 预测器。

Our work extends this to predict entire 32- and 64-bit register values based on previously-seen values. We find that, just as condition bits are fairly predictable on a per-static-branch basis, full register values being loaded from memory are frequently predictable as well.

这篇文章的主要工作就是预测 32 或者 64 位寄存器的值。

In this paper, we introduce value locality, a concept related to redundant computation, and demonstrate a technique--Load Value Prediction, or LVP--for predicting the results of load instructions at dispatch by exploiting the affinity between load instruction addresses and the values the loads produce.

上述介绍了 LVP， 通过 load 指令地址和 load 产生的值之间的亲和性来预测 load 指令的结果。

作者阐述了 LVP 具有两个优点：

  1. indexed by instruction address. 这个优点导致的结果是，我们可以在流水线很早期的时候，对值进行查找(value lookups can occur very early in the pipeline)

  2. 具有投机性质，依赖 verification 的机制来保证正确性。

    ❌❌ 并没有看懂这个是何种优点？作者对比了其他人的研究结果， 那些人的研究是在 pipline 的后段才使用 table indece, 并且要求这个预测是正确的。

    总体来看这篇文章，作者确实使用了预测+验证的机制，并且是将值进行了分类。load 执行完成以后，我们对预测的值进行验证，验证过后更新 LVPT 和 LCT, 并且在需要的时候 reissue 指令。

Value Locality

这篇文章也阐述了值局部性的原理，为了加深理解，我们对此也进行研究。

In this paper, we introduce the concept of value locality, which we define as the likelihood of a previously-seen value recurring repeatedly within a storage location.

作者将值局部性定义为了以前在某个存储位置出现过的值还有可能再次重复出现。

we have limited our current study to examine only the value locality of general-purpose or floating-point registers immediately following memory loads that target those registers.

作者对预测的范围也进行了一个限制：仅仅预测通用的或浮点数寄存器。

📌📌 深入思考，为什么要做这个限制？

As it turns out, if we narrow the scope of our prediction mechanism by considering each static load individually, the task becomes much easier, and we are able to accurately predict a significant fraction of register values being loaded from memory.

为什么值局部性可以被我们所利用？作者缩小了预测的范围。

接下来，作者从几个方面来论证，值局部性存在的一些原因：

  1. data redundancy, 值冗余。体现在一些例子比如稀疏矩阵、带空白的文本文件和电子表格中的空白单元；
  2. Error-checking, 错误检查，检查不长发生的条件经常会编译到 load 的常量；Checks for infrequently-occurring conditions often compile into loads of what are effectively run-time constants.
  3. Program constants, 这个比较好理解， 但是我理解不了。❌❌❌
  4. Computed branches,
  5. Virtual function calls,
  6. Glue code,
  7. Addressability
  8. Call-subgraph identities
  9. Memory alias resolution
  10. Register spill code

LVPT

作者通过对 loads value 进行分类达到减少预测错误率的目的，总共可以分为三类：

  1. LVPT 无法预测
  2. LVPT 可以预测
  3. LVPT 几乎可以预测（执行度高的话就进行预测）

根据以上三类，将 loads 指令分为了三类：unpredictable, predictable, and constant loads.

对应的可能的 2-bit 计数器可以这么分类：no prediction, incorrect prediction, correct prediction, or constant load.

The LVPT is indexed by the load instruction address and is not tagged, so both constructive and destructive interference can occur between loads that map to the same entry (the LVPT is direct-mapped).

上面这段话说明了，LVPT 是直接映射的，并且没有 tag, 所以导致的结果是 both constructive and destructive interference 都可能映射到同一个 entry.

我们接下来研究一下，预测之中的一些细节：

首先是 LVPT, LCT, CVU 之间的使用，文章中使用 CVU(constant verification unit) 来存储 constant.

LCT & CVU

尽管说 LVPT 将 loads 分为了三类，但是还是缺少一个验证的机制，所以说在 LCT 阶段，我们还是需要根据分类进行不同的决策：

  1. predictable: 将预测的值和从内存中检索出来的值进行比较。

  2. highly-predictable or constant loads: 使用 CVU 单元，CVU 单元可以避免访存操作，具体的做法是强制将 LVPT 中的 entry 与主存保持一致性来实现。

    we use the constant verification unit, or CVU, which allows us to avoid accessing the conventional memory system completely by forcing the LVPT entries that correspond to constant loads to remain coherent with main memory.

    对于被 LCT 归类于 constants 的 entry 来说，数据的地址和 LVPT 的索引被放在 CVU 内部，但是这两个字段是分开的（独立的）、存于全相联的 table 中。这个 table 与主存保持一致性，策略是：

    This table is kept coherent with main memory by invalidating any entries where the data address matches a subsequent store instruction.

​ 上述话说明了保持一致的策略，目前我的理解是，table 使其中的某个字段非法化，也就是说，store 指令（💛💛 特别注意这个细节，是 store 指令）的执行可以使 CVU 中的字段非法化，因为访存会改变这个地址对应数据的值。但是如果没有怼这个地址发生过 load 指令的话，这个地址字段就是一直有效的，我们在预测的时候(constant load) 直接从这个 CVU 中取值，这里面的值是和主存中的值保持一致的。

这个 CVU 里面的值是什么时候写进去的呢，我们在提到上文的 CVU 的组成时说到了，其字段的一部分是与 LVPT 想关联的，所以当 load 执行完成，验证到某个条目的预测是正确的时候，我们就把这个条目刷新到 CVU 中。

这种措施的好处就是可以降低内存带宽的需求。

The Load Value Prediction Unit

LVPT, LCT, CVU 之间是怎么合作的呢？

load 指令 fetch 的时候，LVPT, LCT 表被同时索引了，一个负责分类，一个负责具体的预测；一旦预测的地址有了，EX1, cache 的访问和 CVU 的访问同时进行。当真实的 value 从 L1 cache 中返回的时候，将其与预测的值进行比较，此时，相关的推测指令（speculative instructions）有两个选择：

  • write back – 成功
  • reissue – 失败

由于无法及时在 CVU 上面执行搜索以避免内存访问，因此 CVU 唯一可以阻止内存访问的时候是在 cache miss 或者 bank conflict 的时候。

Conclusion

we demonstrate that load instructions, when examined on a per-instruction-address basis, exhibit significant amounts of value locality.

❌❌❌ 如何理解 per-instruction-address basis?

we describe load value prediction, a microarchitectural technique for capturing and exploiting load value locality to reduce effective memory latency as well as bandwidth requirements.

上面这段话讲述了 load value prediction 的重要意义，特别是在学术上的定义。

Words

Words含义Words含义
impose强制实行、强制推行Speculation推测、猜测
narrow有限的、小的saturating饱和
hysteresis回差、滞后speculative投机性的
saturating counter饱和计数器govern统治、管理
composite组合、复合probed探测
mitigate使缓和、使减轻redundancy冗余
heterogeneous异构contemporary当代的、同时期的
seamlessly完美无缺complementary互补的

饱和计数器理解：对于 2-bit 计数器来说，0 or 3 就是到了饱和的状态，此时自增或者自减都是不会改变值的，所以就饱和了。

Reference

  1. Championship Value Prediction (CVP)open in new window ↩︎

  2. MICRO Test of Time Awardopen in new window ↩︎

  3. M. H. Lipasti and J. P. Shen, "Exceeding the dataflow limit via value prediction," Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29, 1996, pp. 226-237, doi: 10.1109/MICRO.1996.566464. ↩︎

  4. R. Sheikh and D. Hower, "Efficient Load Value Prediction Using Multiple Predictors and Filters," 2019 IEEE International Symposium on High Performance Computer Architecture (HPCA), 2019, pp. 454-465, doi: 10.1109/HPCA.2019.00057. ↩︎

  5. Value Locality and Load Value Predictionopen in new window, Mikko H. Lipasti, Christopher B. Wilkerson, and John Paul Shen. 1996. Value locality and load value prediction. SIGPLAN Not. 31, 9 (Sept. 1996), 138–147. https://doi.org/10.1145/248209.237173open in new window ↩︎ ↩︎

  6. Mikko H. Lipasti, Christopher B. Wilkerson, and John Paul Shen. 1996. Value locality and load value prediction. In Proceedings of the seventh international conference on Architectural support for programming languages and operating systems (ASPLOS VII). Association for Computing Machinery, New York, NY, USA, 138–147. https://doi.org/10.1145/237090.237173open in new window ↩︎ ↩︎

2017-2023
Copyright © 2023 Someone