计算机体系结构----寄存器重命名/Tomasulo算法

最新推荐文章于 2024-04-12 17:02:50 发布
最新推荐文章于 2024-04-12 17:02:50 发布
阅读量1.9k 收藏 33
点赞数 22
分类专栏： 计算机体系结构 文章标签： 计算机体系结构 寄存器重命名 Tomasulo算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Programmer_jzm/article/details/135500350
版权

前情提要

计分板算法可看我写的博文计算机体系结构----计分板（scoreboard）算法

Tomasulo算法的核心是寄存器重命名（register renaming）；通过寄存器重命名，可彻底消除WAR/WAW冲突，计分板算法中，WAR/WAW都是通过停顿解决的，当然计分板算法虽然没那么厉害但还是通过动态调度消除了RAW冲突的。

Tomasulo算法如何实现乱序执行

  1. 需要在值的生产者和消费者之间建立通信，这里消费者指的是当前这条指令，生产者指的是在与这条指令相关的指令。
  • 寄存器重命名：给每个值一个tag
  1. 需要给指令提供缓冲区，这个缓冲区称为保留站
  2. 指令需要持续监测值是否可用，当这个值准备好了，就广播自己的tag，消费者匹配tag，如
    果是自己用的，就知道这个值已经准备好了
  3. 当全部的值都准备好，需要分发指令到对应的功能单元上去，即当需要的全部值都准备好，分发指令，出保留站

Tomasulo算法的核心要素

  1. 保留站 Reservation stations (scheduling window)，缓存指令以及指令的操作数
  2. 公共数据总线 Common data bus (CDB)，广播结果给保留站（RS）
  3. 寄存器重命名：消除WAR/WAW相关
  4. 转发/前递：Forwarding，消除RAW相关（注：我们看下面的例子会发现在RAW相关的前一条指令处于write result阶段时，后一条指令就可以进入EXE阶段了）

典型的Tomasulo系统：IBM 360/91

在这里插入图片描述

Tomasulo算法的各个功能区

保留站（发射队列）

  1. 指令顺序发射到保留站
  • 缓存指令及操作数
  • 如果操作数未就绪，保留站监听数据总线
  • 如果操作数已就绪，缓存到保留站
  1. 每个功能部件有独立的保留站（计分板算法里面所有的功能部件共用一个计分板），如果保留站已全部占用，无法发射指令，只能等。

保留站示意图如下。
在这里插入图片描述

保留站结构

  1. Busy字段：表明对应功能部件的保留站已被占用
  2. Op字段：表明具体的操作，如ADD
  3. Vj、Vk字段：保留源操作数的值
  4. Qj、Qk字段
  • Qj：产生源操作数Vj的保留站编号，或者0
  • Qk：产生源操作数Vk的保留站编号，或者0
  • 0表示源操作数已在Vj或Vk
  1. A字段：为load与store指令存放存储器地址计算信息

上述字段的含义和计分板很相似。

重命名映射表Register Alias Table (RAT)

如果设置了“有效位”，则表中的“值”正确。 否则，Tag 指定在何处查找正确的值。 Tag 是要生成的 Value 的唯一名称、
在这里插入图片描述

公共数据总线

Common Data Bus (CDB)：广播已完成 insns 的<RS#, value> 。

Tomasulo算法 – 处理WAR

在这里插入图片描述

Tomasulo算法 – 处理WAW

在这里插入图片描述

Tomasulo算法 – 基本结构

在这里插入图片描述

  1. 每个功能部件有自己的保留站,Load/store buffers和保留站结构基本相同
  2. 保留站中的每一行保存着一条发射到相应功能部件的指令，并缓存了已就绪的操作数，和未就绪操作数的标签（即生 产指令所在的保留站行号）
  3. CDB不仅把结果送到寄存器中，也送到所有正在等待该结果的保留站中
  • 每个结果会附带一个标签（即生产指令所在的保留站行号），用来和保留站中的标签相匹配
  • CDB相当于实现了前送功能

Tomasulo算法 – 三个阶段

每条指令的执行经历三个阶段
在这里插入图片描述

Tomasulo算法 – 算法流程

  1. 如果在重命名之前保留站可用
  • 指令 + 重命名的操作数（源值/标签）插入到保留站中
  • 仅当保留站可用时重命名
  1. 否则停顿
  2. 在保留站时，每条指令：
  • 监视公共数据总线 （CDB） 的源标签
  • 当看到标签时，获取源的值并将其保存在保留站中
  • 当两个操作数都可用时， 指令准备分派
  1. 指令准备就绪时向功能单元发送指令
  2. 指令在功能单元中完成后
  • CDB 仲裁
  • 将标记值放入 CDB 上（标记广播）
  • 寄存器文件已连接到 CDB
    – 寄存器包含一个标签，指示寄存器的最新写入者
    – 如果寄存器文件中的标签与广播标签匹配， 将广播值写入寄存器（并设置有效位）
  • 回收重命名标签
    – 系统中没有标签的有效副本

Tomasulo算法示例

初始化

在这里插入图片描述
注意下面的示例中，W和E阶段是同时发生的，因为Tomasulo算法采用了forwarding技术，其他细节不用过多说明，图中均 详细介绍了，自己推导一边这个过程即可熟练掌握。。

Cycle1

在这里插入图片描述

Cycle2

在这里插入图片描述

Cycle3

在这里插入图片描述

Cycle4

在这里插入图片描述

Cycle5

在这里插入图片描述

Cycle6

在这里插入图片描述

Cycle7

在这里插入图片描述
虽然cycle7中R5被二次标记，但是R5第一次重命名的值仍存在保留站项a中，是要比保留站项d先计算出来并广播的。

Cycle8

在这里插入图片描述

Cycle8

在这里插入图片描述

Cycle8

在这里插入图片描述

Cycle 9

在这里插入图片描述

Cycle 10

在这里插入图片描述

Cycle 11

在这里插入图片描述

Cycle 12

在这里插入图片描述

Cycle 13

在这里插入图片描述

Cycle 14

在这里插入图片描述

Cycle 15

在这里插入图片描述

Cycle 16

在这里插入图片描述

Cycle 17

在这里插入图片描述

Cycle 18

在这里插入图片描述

Cycle 19

在这里插入图片描述

Cycle 20

在这里插入图片描述

Tomasulo算法性能分析

  1. Tomasulo算法完善的处理了数据冲突，与分支预测和猜测执行配合起来后能达到很高的性能，当今处理器仍在广泛采用
  2. 仍没有处理控制冲突，乱序执行仍局限在一个基本块内
  3. 要求高速CDB: 性能受限于Common Data Bus
MinJohnson
关注
  • 22
    点赞
  • 踩
  • 33
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
体系结构笔记------动态调度中的Tomasulo算法
博客
05-13 1万+
体系结构笔记------动态调度中的Tomasulo算法
乱序执行中 寄存器重命名（Register Renaming ）技术介绍
热门推荐
AddyLee的专栏
04-08 1万+
寄存器重命名技术在乱序执行流水线中有两个作用。一是消除指令之间的寄存器读后写相关（WAR），和写后写相关（WAW）；二是当指令执行发生例外或转移指令猜测错误而取消后面的指令时可以保证现场的精确。 寄存器重命名的思路很简单：就是当一条指令写一个结果寄存器时不直接写到这个结果寄存器，而是先写到一个中间寄存器过渡一下，当这条指令提交的时候再写到结果寄存器中。 指令重命名有两种方法：软件重命名
寄存器重命名
最新发布
rosemaryandthyme的博客
04-12 476
1.数据相关性：WAW,WAR,RAW，和寄存器直接相关只有RAW（先写后读）是真相关，其他相关可以使用寄存器重命名解决。2.寄存器数据相关性：WAW,WAR,RAW，访问存储器的指令3.控制相关性：使用分支预测解决4.结构相关性：指令必须等到处理器中某些部件可以适合用才可以继续执行。例：IQ发射队列，重排序缓存ROB，功能单元FU的计算资源空闲等。
计算机系统结构Tomasulo算法
liangcha_xyy的博客
12-20 1362
（2）假设各种操作的延迟为： load：1个时钟周期 加法：2个时钟周期 乘法：10个时钟周期 除法：40个时钟周期 给出MUL.D指令准备写结果时各状态表的内容。LD指令,流出，占用第一个Load缓冲器，34+R2地址存放在A字段，目标寄存器是F6，还需要把寄存器状态表F6更改load1，建立起双向链接。保留站中，对于Vj和Qj，应该写入Qj（只有立即数才写入Vj），R（F4）已经就绪，取出来是立即数，应该放入Vj。此时F2寄存器状态表为Load2，表示没有就绪，F4寄存器状态表为空，表示数已经就绪。
计算机体系结构基础知识介绍之动态调度Tomasulo 算法（二）
欢迎交流！
07-10 1452
类似地，存储缓冲区具有三个功能：（1）保存有效地址的组成部分直到计算出来，（2）保存等待数据值存储的未完成存储的目标内存地址，以及（3）保存 要存储的地址和值，直到内存单元可用。在这样做时，一个动态调度方案，比如Tomasulo算法，在源和结果之间引入了一个周期的延迟，因为结果和它的使用之间的匹配不能在写结果阶段结束之前完成，而不是像一个更简单的流水线那样在执行阶段结束时完成。没有显示任何执行控制表。例如，如果有一个WAW冒险，那么就意味着后面的指令可能会比前面的指令先完成，并且把前面的指令的结果覆盖掉。
超标量处理器之寄存器重命名（五）
weixin_45171433的博客
10-26 538
寄存器重命名
计算机系统结构：指令的动态调度-Tomasulo算法
weixin_40064300的博客
05-04 5517
基本思想 核心思想 记录和检测指令相关，操作数一旦就绪就立即执行，把发生RAW冲突的可能性减少到最小； 通过寄存器换名来消除WAR冲突和WAW冲突。 IBM 360/91首先采用了Tomasulo算法 IBM之所以回会采用Tomasulo算法，是基于以下几个方面的考虑 （1）IBM360/91的设计目标是基于整个360系列的统一的指令系统和编译器来实现高性能，而不是设计和利用专用的编译器来提高性能。这样，就需要更多地依赖于硬件； （2）IBM 360 体系结构只有4个双精度浮点寄存器，限制了编译
2022年现代计算机体系结构-CPU(共29张PPT).pptx
11-14
在计算机体系结构中，CPU（中央处理器）是核心组件，负责执行计算和控制任务。2022年的现代计算机体系结构依然关注CPU的设计优化，以提升性能和效率。以下是对CPU相关知识点的详细说明： 1. **CISC与RISC**： - **...
计算机体系结构：Lecture-06 Tomasulo’s Algorithm.pdf
06-15
计算机体系结构：Tomasulo 算法 本节内容中，我们将详细介绍 Tomasulo 算法在计算机体系结构中的应用。Tomasulo 算法是一种动态调度算法，用于提高浮点处理单元（FPU）的性能。该算法由 IBM 公司开发，用于其 360 ...
高等计算机体系结构-第八讲-预习版1
08-03
《高等计算机体系结构-第八讲-预习版1》主要探讨了高级流水线设计中的指令调度，特别是关于乱序执行和超标量处理器的微架构。本讲内容涉及到多个关键概念，包括重排序缓冲、历史缓冲、未来寄存器堆以及处理中断和...
计算机组织与体系结构 - 第17讲1
08-03
计算机组织与体系结构中，第17讲主要讨论了指令的动态调度，特别是两种重要的算法：记分牌算法和Tomasulo算法。这些技术是为了优化处理器性能，尤其是处理数据相关性和资源冲突，以提高指令执行的效率。 首先，回顾...
体系结构学习笔记---白话理解Tomasulo算法
qq_41645482的博客
10-28 8401
乱序执行 1.1 影响流水线性能的因素 单位时间执行的指令数目是衡量CPU的一项重要指标，为了让各个部件尽量处于工作状态，于是提出了指令流水，但是随之而来的问题就是因为程序之间的相关性，从而引起的流水线堵塞，影响了流水线性能。 为了进一步提高流水线性能，就提出了乱序执行，也就是部分程序不需按照原先的顺序执行。可以试想，若有一指令执行时间非常长，而后边执行时间短的指令和本条指令之间无数据流动，那为何不让后边的提前执行以便更进一步的执行随后的工作呢。这只是一个例子，这种根据组件......
[学习笔记：处理器设计]寄存器重命名
poena的博客
11-01 3574
寄存器重命名（Register Rename） 重命名缓存类型（Rename Buffer Type） merged architectural and rename register file 每个物理寄存器处于4状态中的一个，4个状态如下： available： uncommitted state AR(architectural register): 作为指令集寄存器 RB(rena...
体系结构13_Tomasulo算法
weixin_42596333的博客
02-25 2031
产生背景 1.IBM 360/91比CDC6600晚三年推出 -商业计算机使用Cache技术之前 2.整个360系列仅一个指令系统和编译器（公司在上面花了巨大的财力，所以不希望指令系统一直改） -要求具有很高的浮点性能，但不是通过高端机器的专用的编译器实现 -只有四个双精度浮点寄存器，编译器调度的有效性受到很大限制 -访存时间和浮点计算时间都很长 -可支持循环的多...
【计算机体系结构】指令集并行（ILP）动态调度算法：Tomasulo实现代码（Tomasulo Algorithm Implementation）
MaxwellWong
01-03 1511
Tomasulo算法用于指令的动态调度，允许乱序执行，能更有效地使用多个执行单元。Tomasulo's algorithm is for the dynamic scheduling of instructions that allows out-of-order execution and enables more efficient use of multiple execution units.
4.2 指令的动态调度
tang7mj的博客
02-26 1023
Tomasulo算法是一种高效的动态调度算法，旨在解决数据依赖和资源冲突问题，实现高度的指令并行执行。算法的核心思想是使用寄存器重命名技术来消除WAR（写后读）和WAW（写后写）冲突，同时采用保留站来动态管理指令的执行。这种方法不仅允许乱序执行指令，还支持乱序完成，极大地增加了执行指令的灵活性和并行度。通过例4.1的分析，我们可以看到Tomasulo算法如何在指令执行过程中动态管理数据依赖和资源分配，以优化执行效率。
简单理解Tomasulo算法与重加载缓冲区
qq_42824983的博客
08-31 2804
参考书：《计算机体系结构量化研究方法》 作者：John L. Hennessy 流水线运行的一个主要限制是：它们使用循序指令发射与执行的方式。把指令执行的流水线简单比喻为洗衣服： 采用循序发射与执行方式的限制，意思就是，衣服只能一件一件洗，洗完一件才能洗下一件。如果现在洗衣机坏掉了（硬件故障），或者衣服还没脏（操作数不可用），这个流水线就停顿了，哪怕后面还有指令等待执行。但是我们希望操作数可用的时候就立即执行指令（有脏衣服就洗），这样的流水线实际上是乱序执行的，意味着它将会乱序完成。这就是动态调度的主要思
HNU计算机结构体系-实验2：CPU动态指令调度Tomasulo
jzb的博客
12-09 986
在进行这个实验的过程中，我深入学习和研究了Tomasulo算法和指令级并行的动态指令调度方法，并通过Tomasulo模拟器进行了实际操作和观察。对Tomasulo算法的理解加深：通过实验，我对Tomasulo算法的原理和实现方式有了更深入的理解。我了解了如何使用寄存器重命名、乱序执行和指令调度等技术来实现指令级并行，提高处理器的性能。这个算法的核心思想和设计对于理解现代处理器的工作原理非常重要。
tomasulo算法实验结果分析
05-30
Tomasulo算法是一种常见的动态指令调度算法，它能够有效地处理数据相关性和指令的乱序执行。通过在硬件中实现Tomasulo算法，可以提高处理器的性能和效率。 在进行Tomasulo算法实验时，通常需要关注以下几个方面的结果分析： 1. 执行时间：Tomasulo算法能够实现乱序执行，同时通过寄存器重命名和结果预测等技术，减少了数据相关性的影响，从而提高了指令的执行效率。因此，在测试Tomasulo算法时，需要比较其执行时间与其他算法的执行时间，以评估其性能。 2. 硬件成本：Tomasulo算法需要在硬件中实现重命名表、保留站和数据缓存等结构，这些结构需要占用一定的硬件资源。因此，在测试Tomasulo算法时，还需要比较其硬件成本与其他算法的硬件成本，以评估其实用性。 3. 指令吞吐量：Tomasulo算法能够实现指令的并行执行，因此，在测试Tomasulo算法时，需要比较其指令吞吐量与其他算法的指令吞吐量，以评估其效率。 4. 数据相关性：Tomasulo算法通过寄存器重命名和结果预测等技术，能够有效地处理数据相关性，因此，在测试Tomasulo算法时，需要比较其数据相关性与其他算法的数据相关性，以评估其性能。 通过对这些方面的结果分析，可以更全面地评估Tomasulo算法在处理器中的应用效果。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值