try ai
科普
编辑
分享
反馈
  • 超前进位加法器

超前进位加法器

SciencePedia玻尔百科
核心要点
  • 超前进位加法器 (CLA) 通过并行计算所有进位位,克服了行波进位加法器的顺序延迟。
  • 它通过使用“进位生成”和“进位传播”信号进行工作,这些信号仅取决于每个位置的输入位。
  • 层次化设计用于构建宽位数加法器,通过创建多级超前逻辑来管理电路复杂性。
  • CLA 是高性能计算的基础,对高速乘法器至关重要,并证明了二进制加法属于 AC⁰ 复杂性类别。

引言

在对计算速度不懈追求的过程中,很少有运算比算术运算更基础。然而,将两个数字相加这个看似简单的行为,却可能成为处理器设计中的一个重要瓶颈。传统方法——行波进位加法器——以一种缓慢的顺序链式方式计算结果,每一位都必须等待前一位完成计算,这种延迟在高性能系统中是致命的。本文探讨了解决这个问题的优雅方案:超前进位加法器 (CLA),这是一种从顺序等待到并行预测的范式转变。

首先,在“原理与机制”部分,我们将拆解 CLA 以理解其核心的精妙之处。我们将探讨它如何使用“生成”和“传播”信号来几乎瞬时地计算所有进位,从而打破了减慢简单加法器速度的依赖链。我们还将研究将此原理应用于现代宽位数加法器所必需的层次化结构。随后,在“应用与跨学科联系”部分,我们将看到这个强大的思想如何远远超出了简单的加法,促成了高速乘法器的创造,为可编程芯片的物理设计提供了信息,甚至为并行计算的理论极限提供了深刻的见解。

原理与机制

想象一下,你是一长队人中的一员,队伍的目标是用小桶装满队尾的一个大水箱。规则是,只有当你的桶装满后,你才能把桶递给下一个人。如果你在队伍最前面,你可以从水龙头接水装满桶。但如果你在队伍中间,你必须等待前面的人递给你一个满桶。水就这样在队伍中“行波式”传递,一次一个人。这正是简单的计算机加法器——​​行波进位加法器 (RCA)​​ 的工作方式。它是一系列简单的计算器链,每个计算器负责一个二进制数字(位),并且每个计算器都必须等待其邻居的“进位”才能完成自己的计算。对于两个 32 位数字的相加,第 32 位必须等待第 31 位,第 31 位又等待第 30 位,依此类推。就像一长串 32 个倒下的多米诺骨牌,总时间由链的长度决定。在一个处理器每秒执行数十亿次计算的世界里,这种等待是不可接受的瓶颈。延迟与位数 NNN 成正比,这是工程师们必须打破的依赖关系。

一个巧妙的洞见:生成与传播

突破来自于一个简单但深刻的视角转变。与其在每个阶段计算进位,不如根据该阶段的输入来预测其行为?对于任意一个位位置 iii,我们来考虑两个输入位 AiA_iAi​ 和 BiB_iBi​。只有两种基本方式可以从这个位置产生进位。

首先,该位位置可以完全凭自身产生一个进位,而不管前面发生了什么。这当且仅当 AiA_iAi​ 和 BiB_iBi​ 都为 1 时发生。在二进制中,1+1=101 + 1 = 101+1=10,意味着和为 0,进位输出为 1。我们称之为​​进位生成​​ (Carry Generate) 条件。其逻辑非常简单:如果 AiA_iAi​ 和 BiB_iBi​ 同时为真,则生成一个进位。我们可以将其写成一个信号 GiG_iGi​。

Gi=Ai⋅BiG_i = A_i \cdot B_iGi​=Ai​⋅Bi​

其次,该位位置可能充当一个简单的管道,将前一阶段的进位 (CiC_iCi​) 传递到下一阶段 (Ci+1C_{i+1}Ci+1​)。这发生在 AiA_iAi​ 或 BiB_iBi​ 中恰好有一个为 1 的情况下。如果我们有一个输入进位 (Ci=1C_i=1Ci​=1),并且比如 Ai=1A_i=1Ai​=1,Bi=0B_i=0Bi​=0,总和为 1+0+1=101 + 0 + 1 = 101+0+1=10(二进制)——同样,和为 0,进位为 1。输入的进位被“传播”了过去。我们称之为​​进位传播​​ (Carry Propagate) 条件,用信号 PiP_iPi​ 表示。

Pi=Ai⊕BiP_i = A_i \oplus B_iPi​=Ai​⊕Bi​ (其中 ⊕\oplus⊕ 是异或,或 XOR 运算)

这两个信号,GiG_iGi​ 和 PiP_iPi​,是我们新设计的“原子”。它们可以在一个步骤内为所有位位置同时计算出来,因为每一对信号只依赖于各自的输入 AiA_iAi​ 和 BiB_iBi​。在真实的算术逻辑单元 (ALU) 中,这些信号会为每个位片计算,但只有在选择加法或减法等算术运算时才会被启用。

现在,我们可以用优雅而清晰的方式陈述任何阶段的进位输出 Ci+1C_{i+1}Ci+1​ 的规则:当且仅当该阶段生成一个进位,或者它传播一个输入进位时,才会发生进位输出。

Ci+1=Gi+(Pi⋅Ci)C_{i+1} = G_i + (P_i \cdot C_i)Ci+1​=Gi​+(Pi​⋅Ci​)

这个方程看起来仍然是顺序的,因为 Ci+1C_{i+1}Ci+1​ 依赖于 CiC_iCi​。但奇迹即将发生。

并行超前

让我们用我们的新公式来写出加法器前几位的进位,从初始输入进位 C0C_0C0​ 开始。

对于第一位(输出 C1C_1C1​): C1=G0+P0⋅C0C_1 = G_0 + P_0 \cdot C_0C1​=G0​+P0​⋅C0​

对于第二位(输出 C2C_2C2​),我们代入 C1C_1C1​ 的表达式: C2=G1+P1⋅C1=G1+P1⋅(G0+P0⋅C0)C_2 = G_1 + P_1 \cdot C_1 = G_1 + P_1 \cdot (G_0 + P_0 \cdot C_0)C2​=G1​+P1​⋅C1​=G1​+P1​⋅(G0​+P0​⋅C0​) C2=G1+P1G0+P1P0C0C_2 = G_1 + P_1 G_0 + P_1 P_0 C_0C2​=G1​+P1​G0​+P1​P0​C0​

仔细观察 C2C_2C2​ 的最终表达式。它的值只取决于前两位(G1,P1,G0,P0G_1, P_1, G_0, P_0G1​,P1​,G0​,P0​)的 GGG 和 PPP 信号以及初始输入进位 C0C_0C0​。它不再依赖于 C1C_1C1​!我们已经“超前”越过了中间进位。我们可以对所有的进位都这样做:

C3=G2+P2G1+P2P1G0+P2P1P0C0C_3 = G_2 + P_2 G_1 + P_2 P_1 G_0 + P_2 P_1 P_0 C_0C3​=G2​+P2​G1​+P2​P1​G0​+P2​P1​P0​C0​ C4=G3+P3G2+P3P2G1+P3P2P1G0+P3P2P1P0C0C_4 = G_3 + P_3 G_2 + P_3 P_2 G_1 + P_3 P_2 P_1 G_0 + P_3 P_2 P_1 P_0 C_0C4​=G3​+P3​G2​+P3​P2​G1​+P3​P2​P1​G0​+P3​P2​P1​P0​C0​

每一个进位位都可以直接用原始输入(决定 PiP_iPi​ 和 GiG_iGi​ 信号的 AiA_iAi​ 和 BiB_iBi​)和最初的输入进位 C0C_0C0​ 来表示。这就是​​超前进位加法器 (CLA)​​ 的核心。可以构建一个特殊的电路,即超前进位单元 (CLU),来并行计算所有这些方程。我们不再需要缓慢的多米诺骨牌链,而是有了一个系统:我们按下一个按钮,所有的多米诺骨牌(进位)几乎同时被一个专门的机制推倒。总计算时间不再是一个漫长的顺序链。它只是计算 P/G 信号的时间,加上 CLU 计算进位的时间(对于一个 4 位加法器,这只是两个逻辑门的延迟),再加上计算和位的最后一步。

层次化的力量

那么,为什么我们不直接为 64 位加法器构建一个庞大的 CLU 呢?问题在于复杂性。从 C4C_4C4​ 的方程中可以看出,公式很快就会变得非常长。C64C_{64}C64​ 表达式最后一项的逻辑门需要超过 64 个输入!构建这样的门是不切实际的,也违背了追求速度的初衷。一项分析表明,即使对于一个分解成更小块的 64 位加法器,中央逻辑单元也需要扇入为 17 的门,这是一个不小的工程挑战。

解决方案与最初的想法一样优雅:层次化。我们可以将一个(比如说)4 位的块视为一个更大的实体。就像我们为单个位定义了 PPP 和 GGG 一样,我们可以为整个 4 位块定义一个​​组生成 (G∗G^*G∗)​​ 和一个​​组传播 (P∗P^*P∗)​​。

  • ​​组生成 (G∗G^*G∗)​​ 意味着这个 4 位块作为一个整体会产生一个进位输出,即使输入进位为 0。这发生在第 3 位生成一个进位,或者第 3 位传播一个由第 2 位生成的进位,依此类推。 G∗=G3+P3G2+P3P2G1+P3P2P1G0G^* = G_3 + P_3 G_2 + P_3 P_2 G_1 + P_3 P_2 P_1 G_0G∗=G3​+P3​G2​+P3​P2​G1​+P3​P2​P1​G0​

  • ​​组传播 (P∗P^*P∗)​​ 意味着该块会将一个输入进位 C0C_0C0​ 一路传递到其输出 C4C_4C4​。这是一个更严格的条件:它要求块中的每一个位都处于传播状态。 P∗=P3⋅P2⋅P1⋅P0P^* = P_3 \cdot P_2 \cdot P_1 \cdot P_0P∗=P3​⋅P2​⋅P1​⋅P0​

有了这些块级信号,我们就可以用四个 4 位块构建一个 16 位加法器。然后,一个第二级 CLU 接收这四对 (P∗,G∗P^*, G^*P∗,G∗) 信号,并几乎瞬时地计算出块之间的进位(C4,C8,C12C_4, C_8, C_{12}C4​,C8​,C12​)。这种结构就像一个公司的指挥链:CEO 不与每位员工交谈,而是与部门主管交谈,部门主管再与他们的团队沟通。这种两级结构极大地控制了复杂性。

加法器之间的竞赛

让我们来检验一下。考虑一个 32 位的加法。在理论比较中,如果一个基本门的延迟是 τ\tauτ,行波进位加法器的最坏情况延迟大约是 64τ64\tau64τ。

现在,考虑一个由 4 位块构成的层次化 CLA。计算过程分为几个基本并行的阶段:

  1. 同时计算所有 32 对 PiP_iPi​ 和 GiG_iGi​ 信号。
  2. 在八个 4 位块中的每一个块内,并行计算 P∗P^*P∗ 和 G∗G^*G∗ 信号。
  3. 一个第二级 CLU 使用这八对组信号来找到进入每个块的进位(C4,C8,…,C28C_4, C_8, \dots, C_{28}C4​,C8​,…,C28​)。
  4. 一旦一个块收到了它的输入进位,其内部的 CLU 就会计算其局部进位。
  5. 最后,所有 32 个和位被并行计算。

总延迟是这几个阶段延迟的总和,而不是一个漫长的倍数。结果如何?32 位 CLA 的总延迟仅为 8τ8\tau8τ。这表示与它的行波进位表亲相比,速度提升了 8 倍。正是这种巨大的性能增益,使得超前进位原理以其各种层次化形式,成为每一代现代高性能处理器设计的基础。例如,一个 16 位层次化加法器的计算表明,整个过程仅需 180 皮秒即可完成。

电子的无形之舞

超前进位加法器是完美的解决方案吗?在工程学中,总有权衡。CLA 的高速、并行特性引入了其自身的复杂性。当输入改变时,信号会沿着成千上万条不同长度的路径在电路中竞相传播。在稳定到最终正确值之前,输出可能会闪烁或出现“毛刺”。这些毛刺虽然短暂,却会导致晶体管不必要地开关,消耗功率并产生热量。

有人可能会认为,缓慢而有条不紊的行波进位加法器会更少出现这种混乱行为。然而,详细的时序分析揭示了一幅更为微妙的图景。在一个特定的场景中,输入的变化导致一系列的更新,RCA 和 CLA 都可能在其中间和位上产生相同数量的险性毛刺。CLA 的速度来自于一个复杂的、相互连接的逻辑网络,而这个网络在稳定下来的过程中,有时会因瞬态信号而闪烁。

这并不会削弱 CLA 的巨大成就。它只是提醒我们,在我们完美的逻辑机器核心,存在着物理现实——一场美丽而复杂的电子之舞。超前思想解决了顺序等待的巨大难题,为现代计算的速度铺平了道路。它证明了找到正确抽象的力量,即将一个问题不看作是依赖链,而是看作一个可预测行为的系统。

应用与跨学科联系

在我们之前的讨论中,我们揭示了超前进位加法器的美妙核心思想:与其等待一连串逻辑多米诺骨牌逐一倒下,我们可以“超前”并同时预测每个位置的结果。这不仅仅是加速加法的一个巧妙技巧;它是一种从顺序过程到并行过程的根本性视角转变。现在,让我们踏上一段旅程,看看这个单一而优雅的概念如何在各种令人惊讶的领域中开花结果,从专用计算机电路的设计到理论计算机科学的抽象领域。

专业化的艺术:为特定目的塑造加法器

一个真正强大的思想不是僵化的,而是灵活的。超前进位原理,在其普适性的基础上,当应用于特定问题时可以被塑造和简化,常常揭示出更深层次的优雅。

让我们从一个简单、近乎有趣的问题开始:如果我们只想给一个数加 1 怎么办?这是计算中一个常见的操作,称为增量。当然,我们可以使用我们完整的超前进位加法器,并将第二个数字设置为 00...01。但这感觉就像用大锤砸坚果。如果我们将超前思维应用于这个特殊情况会发生什么?任何给定比特位置的进位输出将仅当输入比特为 '1' 并且有进位输入时才为 '1'。而何时才会有进位输入到一个位置?只有当所有低位比特都为 '1' 时。逻辑惊人地简化了!对于一个 4 位增量器,最终的进位输出(标志着溢出)仅当输入数字为 1111 时才会发生。复杂的超前逻辑简化为将所有输入位连接在一起的单个与门:C4=A3A2A1A0C_4 = A_3 A_2 A_1 A_0C4​=A3​A2​A1​A0​。一般理论在特定化后,给了我们一个优美简单且直观的结果。

这种预先计算“翻转条件”的相同原理超越了简单的加法。考虑一个同步计数器,一个按顺序计数的电路。要使一个比特翻转(例如从 0 到 1),所有较低有效位的比特都必须是 '1'。这正是超前进位条件!通过将这个逻辑馈送到保存计数器状态的存储元件(触发器)的输入端,我们可以让它们都在一个共同的时钟脉冲下同时决定改变。这避免了会困扰简单计数器设计的行波效应,并且是超前思维在时序电路中的直接应用。

传播(PPP)和生成(GGG)信号的灵活性使我们能够进一步探索非标准数字系统。例如,在反码算术中,任何从最高有效位产生的进位都必须“环绕”并加回到最低有效位。这种“循环进位”似乎会造成一个讨厌的逻辑循环。但是,当我们使用超前逻辑中的组传播(PGP_GPG​)和组生成(GGG_GGG​)信号来表达这个条件时,我们发现了另一个令人惊叹的简单时刻。循环进位最终等于组生成信号,CEAC=GGC_{EAC} = G_GCEAC​=GG​。这个看似复杂的回馈循环被我们超前生成器中已经预先计算好的信息瞬间解决了。

机器的心脏:赋能高性能计算

在现代处理器中,加法不仅仅是目的本身;它是更复杂运算的基本构件。加法器的速度常常决定了整个系统的整体性能。

也许最关键的应用是在乘法中。将两个大数相乘,比如 16 位乘以 16 位,可以想象为创建一个巨大的部分积网格。像 Wallace 树这样的快速乘法器使用巧妙分层的简单加法器,将这个庞大的网格并行地归约为只有两个数。但工作尚未完成。我们仍然剩下两个非常宽的数需要相加。如果我们在最后一步使用慢速的行波进位加法器,那么从并行归约中获得的全部优势都将丧失,卡在最后一个顺序瓶颈中。这就像一百名工人立即将一座山似的包裹分拣成最后两堆,却让一个人一次一个地慢慢将它们搬到卡车上。超前进位加法器是解锁这最后阶段的关键。通过在极短的时间内完成最后的宽位加法,它确保了整个乘法过程保持闪电般的速度。性能提升不仅仅是微不足道的;在这种情况下,选择 CLA 而不是 RCA 可以将整个乘法操作的速度提高 70% 以上。

现实世界的算术单元还必须是多功能的,通常需要执行加法和减法。通过使用补码表示负数,减法(A−BA - BA−B)变成了加法(A+not(B)+1A + \text{not}(B) + 1A+not(B)+1)。一个单一的控制信号就可以翻转第二个操作数的位,并将初始进位设置为 '1'。CLA 优雅地处理了这一点。此外,对于非常宽的加法器(例如 64 位),构建一个单一的庞大超前电路变得不切实际。解决方案是层次化:我们构建更小的 4 位或 8 位 CLA 块,然后使用一个更高层次的超前单元,该单元将每个块视为一个“超位”,拥有自己的块级传播和生成信号。这种优雅的分层方法防止了延迟失控增长,使我们能够构建巨大但仍然极其快速的加法器。分析这种层次化结构的关键路径揭示了延迟的每个阶段——从输入处理到比特级 P/G 生成,到块级 P/G 生成,再到块间进位计算,最后到和输出——如何共同构成一个总时间,其增长速度远比简单的行波进位链慢得多。

从抽象逻辑到物理硅片

从逻辑图到物理芯片的旅程充满了实际的限制。有时,一个理论上优美的想法在实践中却很笨拙。你可能会认为,CLA 凭借其复杂的超前逻辑网络,会比简单的、重复的全加法器链更难物理构建。但现实,正如它经常做的那样,带来了一个令人愉快的惊喜。

现代可编程逻辑器件,如 CPLD 和 FPGA,并非由单个逻辑门构成。它们由更大、更强大的“宏单元”或“查找表”组成,这些单元可以在一个固定的时间步内实现相当复杂的乘积和逻辑函数。行波进位加法器虽然概念简单,但创建了一个长链,其中一个宏单元的输出成为下一个的输入,迫使计算在芯片上缓慢地顺序进行。然而,超前进位加法器则不同。它的进位方程,如 C4=G3+P3G2+P3P2G1+P3P2P1G0C_4 = G_3 + P_3 G_2 + P_3 P_2 G_1 + P_3 P_2 P_1 G_0C4​=G3​+P3​G2​+P3​P2​G1​+P3​P2​P1​G0​,是“宽”而“浅”的。它们依赖于许多输入,但可以表示为两级逻辑形式。这种结构与 CPLD 宏单元的架构完美匹配!单个宏单元可以一次性计算一个复杂的进位信号。因此,看似更复杂的 CLA 实际上更“硬件友好”,在这些设备上实现起来效率更高,从而带来显著的速度提升。这是一个深刻的教训:真正的设计优雅在于算法与其运行架构之间的和谐。

通往另一个世界的桥梁:计算复杂性

现在,我们进行最后也是最抽象的飞跃,从工程师的工作台到理论家的黑板。在这里,我们提出了一个更深层次的问题:一个问题能够“容易”地并行计算,这从根本上意味着什么?

在计算复杂性理论中,有一类问题叫做 AC0AC^0AC0。直观地说,这些问题可以在恒定时间内解决,无论输入大小如何,只要你有足够多(多项式数量)的处理器(门),并且这些门可以接受无限数量的输入(无界扇入)。

行波进位加法器显然不属于此类。得到最终答案所需的时间与位数 nnn 成正比。位数加倍,时间加倍。但超前进位加法器呢?让我们再看一下任何进位位 CiC_iCi​ 的方程。它可以表示为一个仅涉及原始输入位(对于 kik iki 的 AkA_kAk​ 和 BkB_kBk​)和初始进位 C0C_0C0​ 的大公式。这是一个很大的公式,但其结构只是一个大的“或”运算,其操作数是几个大的“与”运算的结果。在我们具有无界扇入门的理论模型中,这整个公式只需两个门延迟(一层与门,一层或门)即可计算出来,再加上计算 PiP_iPi​ 和 GiG_iGi​ 信号的初始层。关键点在于,这个深度是恒定的。它不依赖于 nnn。

这是一个惊人的结果。这意味着二进制加法问题属于 AC0AC^0AC0。超前进位方法不仅仅是一种工程优化;它是证明加法在根本意义上是一个“极度并行”和“简单”问题的理论关键。它表明我们不必等待进位逐位传播;答案从一开始就隐含在输入中,而 CLA 只是将其一次性提取出来的机制。

从一个简单的加速技巧,到乘法器的核心,再到芯片的物理布局,最终到一个关于计算本质的深刻论断,超前思想揭示了连接最实用工程与最抽象理论的美妙统一性。