# 80386乘除法单元微架构：每周期1位的迭代算法与工程权衡 > 拆解Intel 80386乘除法单元的硬件实现：add-and-shift乘法算法、non-restoring除法、微码控制流程，以及主ALU复用策略的面积-性能权衡。 ## 元数据 - 路径: /posts/2026/01/25/80386-multiplication-division-microarchitecture/ - 发布时间: 2026-01-25T01:02:36+08:00 - 分类: [systems](/categories/systems/) - 站点: https://blog.hotdry.top ## 正文 当英特尔在1985年10月发布80386处理器时，这颗芯片不仅标志着x86架构首次迈入32位时代，更在算术运算性能上实现了质的飞跃。从8086的16位乘法需要120至130个时钟周期，到386的32位乘法最快仅需9个周期，这种性能跃升的背后是一套精心设计的乘除法单元微架构。理解这套「每周期1位」的迭代算法，不仅有助于我们把握现代CPU执行单元的演进脉络，也为FPGA实现和嵌入式系统设计提供了经典参考。 ## 设计理念：主ALU复用与迭代计算 80386的乘除法单元并非采用独立的乘法器阵列，而是巧妙复用了处理器的主ALU进行迭代运算。这一设计选择源于1985年硅片面积和功耗的严格约束——在那个晶体管数量以万计而非以亿计的年代，每一平方毫米都弥足珍贵。英特尔工程师的思路是：用最小的额外硬件实现可接受的算术性能，通过微码控制将复杂的乘除运算分解为一系列简单的「加/减-移位」基本操作，每个周期推进1位计算结果。 这套架构依赖五个关键的内部寄存器协同工作。MULTMP寄存器存放被乘数（或除数），TMPB寄存器存放乘数（或除数），SIGMA作为累加器参与加减运算并最终保存余数，DIVTMP专门存放被除数的低32位，而RESULT寄存器则在除法运算中累积商的结果。循环计数器COUNTR控制迭代次数，对于32位运算初始值为31。这种寄存器组织方式与x86指令集的8位、16位、32位三种操作数宽度保持一致——微码只需调整COUNTR的初始值，就能复用同一套硬件处理不同宽度的运算。 ## 乘法实现：add-and-shift与early-out优化 80386的乘法算法并非教科书上常见的Booth编码，而是更为直接的「加法-移位」算法，本质上类似于小学竖式乘法的二进制版本。算法流程可以概括为：每次迭代检查乘数当前最低位，若为1则将被乘数加到累加器，随后将整个乘积右移一位。右移而非左移的设计简化了硬件电路，因为移位操作可以自然地将处理过的乘数位「移出」，同时将新的结果位「移入」。 这段描述的伪代码揭示了386乘法的完整逻辑。首先将COUNTR设为操作数宽度减一作为循环上界。在循环体内，若TMPB的最低位为1，则将MULTMP加到SIGMA；随后对{SIGMA, TMPB}整体执行一次右移（有符号乘法使用算术移位）；每轮结束时COUNTR减一，若递减至零则退出循环。关键的优化在于第6行的「early-out」判断：当剩余的乘数位全部为0（无符号乘法）或全部为1（有符号乘法）时，无论后续如何移位都不会再触发加法操作，因此可以立即终止循环。Early-out机制将32位乘法的典型周期数从最坏情况的38个压缩到最优情况的9个，取决于操作数中连续零或连续一的长度。 微码序列精确实现了这一算法。以`MUL r`指令为例，微码首先将目标寄存器复制到MULTMP作为被乘数，同时将EAX/AX/AL的内容复制到TMPB作为乘数，COUNTR被设置为操作数宽度减一。核心的迭代循环由`RPT`指令驱动，重复执行SIGMA与TMPB的组合移位操作，并在每个周期根据TMPB[0]决定是否将MULTMP加到SIGMA。循环结束后，微码执行最终的移位调整和符号修正（有符号乘法需检查乘数符号并调整结果），最终将乘积的低半部写入EAX，高半部写入EDX/DX/AH。 ## 除法实现：non-restoring算法与符号处理 除法运算在硬件实现上比乘法更为复杂，因为每一步商位的确定都依赖于上一步余数的符号。80386采用经典的「非恢复除法」（non-restoring division）算法，该算法的核心思想是：在每轮迭代中，首先将余数左移一位，然后根据余数的符号决定下一步是加除数还是减除数。若余数为负，则加除数使其恢复；若余数为正，则减除数。这种「加-减交替」的模式使得算法无需在每轮结束时将余数恢复到正区间，从而减少了加法器的使用次数。 除法的伪代码展示了这一过程。每次迭代将{SIGMA, DIVTMP}整体左移一位，随后根据SIGMA的符号决定是加TMPB还是减TMPB，商的结果位被写入RESULT寄存器。循环结束后，若最终的余数为负（非恢复算法可能产生负余数），则需要加一次除数进行修正。与乘法不同，除法没有early-out优化——每轮迭代都必须执行，因为商位的确定具有依赖性，无法提前预判后续位的模式。 有符号除法IDIV的实现揭示了为何其周期数比无符号DIV多出5个。IDIV必须处理操作数符号，这要求额外的预处理和后处理步骤。预处理阶段将 dividend 和 divisor 都转换为绝对值，同时保存各自的符号标志。主除法循环执行无符号运算，后处理阶段则根据之前的符号标志修正商和余数的符号。余数的符号必须与被除数保持一致，这增加了额外的判断和可能的调整操作。这5个周期的额外开销正是符号处理逻辑的代价。 ## 工程权衡：从386到现代处理器的演进 80386的「每周期1位」迭代方案在1985年是工程上的合理选择。彼时的硅工艺限制使得在单一芯片上集成专用乘法器阵列既不经济也非必要——主ALU的复用虽然降低了运算的并行度，但显著节省了晶体管预算，同时仍然提供了可接受的算术性能。对于现代FPGA实现和嵌入式系统设计，这套微架构依然是值得参考的范例：它展示了如何在资源受限的环境中通过巧妙的算法设计和微码控制实现复杂运算。 现代x86处理器的乘除法单元早已今非昔比。从1993年的Pentonia开始，专用乘法器阵列逐步取代了迭代算法；到21世纪初的Core 2时代，Booth编码配合Wallace树阵列已经能够在3至4个周期内完成64位有符号乘法。除法运算的加速相对困难，因为其本质上的串行依赖性限制了并行度，但radix-4和radix-16除法器通过每周期计算2至4个商位，将32位除法的延迟从386时代的38个周期压缩到现代处理器的13至19个周期。80386的「每周期1位」方案，如今已成为处理器设计课程中的历史案例，提醒我们每一代架构演进都是当时工艺水平与性能需求的权衡产物。 --- **参考资料**：本文关于80386微码序列和内部寄存器组织的技术细节，来源于对80386程序员参考手册的分析以及nand2mario对386乘除法单元的逆向工程研究。 ## 同分类近期文章 ### [好奇号火星车遍历可视化引擎：Web 端地形渲染与坐标映射实战](/posts/2026/04/09/curiosity-rover-traverse-visualization/) - 日期: 2026-04-09T02:50:12+08:00 - 分类: [systems](/categories/systems/) - 摘要: 基于好奇号2012年至今的原始Telemetry数据，解析交互式火星地形遍历可视化引擎的坐标转换、地形加载与交互控制技术实现。 ### [卡尔曼滤波器雷达状态估计：预测与更新的数学详解](/posts/2026/04/09/kalman-filter-radar-state-estimation/) - 日期: 2026-04-09T02:25:29+08:00 - 分类: [systems](/categories/systems/) - 摘要: 通过一维雷达跟踪飞机的实例，详细剖析卡尔曼滤波器的状态预测与测量更新数学过程，掌握传感器融合中的最优估计方法。 ### [数字存算一体架构加速NFA评估：1.27 fJ_B_transition 的硬件设计解析](/posts/2026/04/09/digital-cim-architecture-nfa-evaluation/) - 日期: 2026-04-09T02:02:48+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析GLVLSI 2025论文中的数字存算一体架构如何以1.27 fJ/B/transition的超低能耗加速非确定有限状态机评估，并给出工程落地的关键参数与监控要点。 ### [Darwin内核移植Wii硬件：PowerPC架构适配与驱动开发实战](/posts/2026/04/09/darwin-wii-kernel-porting/) - 日期: 2026-04-09T00:50:44+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析将macOS Darwin内核移植到Nintendo Wii的技术挑战，涵盖PowerPC 750CL适配、自定义引导加载器编写及IOKit驱动兼容性实现。 ### [Go-Bt 极简行为树库设计解析：节点组合、状态机与游戏 AI 工程实践](/posts/2026/04/09/go-bt-behavior-trees-minimalist-design/) - 日期: 2026-04-09T00:03:02+08:00 - 分类: [systems](/categories/systems/) - 摘要: 深入解析 go-bt 库的四大核心设计原则，探讨行为树与状态机在游戏 AI 中的工程化选择。