音频渐弱为何导致CPU飙升？解析次正规数与IEEE 754浮点标准

LaurieWired

总结：

音频渐弱可能导致CPU使用率大幅飙升，原因在于数字音频工作站（DAW）在处理极小音量时会遇到“次正规数”（subnormal numbers）。处理这些次正规数需要额外的CPU周期，尤其是在x86架构上，可能增加数百个时钟周期。历史上，计算机曾缺乏统一的浮点计算标准，导致精度问题。为了解决这一问题，IEEE 754浮点标准被制定，引入了“渐进式下溢”概念（即次正规数），以保持计算精度，而非简单地将极小数冲刷为零。然而，这种精度是以计算成本为代价的，导致DAW等应用需要显式禁用次正规数以优化性能。实验证明，在音频渐弱场景下启用次正规数可使CPU使用率从22%激增至64%。

次正规数算术成本 [00:00]

• 音频渐弱与CPU负载 [00:00]
  • 音频渐弱通过持续将音量减半，最终处理越来越小的数字 [00:04]
  • 这些极小的数字被称为“次正规数”（subnormals） [00:17]
  • 计算次正规数会显著增加算术成本，可能额外消耗数百个时钟周期 [00:21]
• 历史背景：DAW的性能问题 [00:28]
  • 2000年代初期，Intel发布奔腾4处理器后，许多数字音频工作站（DAW）出现严重的性能下降 [00:35]

    

  • 处理器为了提供更精确的算术，正确处理了次正规数 [00:48]
  • 音频工程师曾采用“添加恒定模糊”等“疯狂”的变通方法，以避免进入次正规数计算范围 [00:56]

    

  • Intel的回应是建议开发者使用适当的SSE优化来编译代码 [01:07]
  • 现代音频软件不得不禁用某些CPU特性，其根源可追溯到20世纪80年代Intel的微处理器设计 [01:15]

精确度之争 [02:25]

• 浮点精度挑战的起源 [01:25]
  • 20世纪60-70年代，计算机缺乏统一的浮点精度标准 [01:27]
  • 导致同一程序在不同计算机上，甚至在同一计算机上的不同操作（赋值、比较、加减乘）中产生不同的、不可预测的舍入结果 [01:32]
• 浮点计算的实际问题 [01:51]
  • 示例1：3.141592 * 1.0 可能得到 3.1414 [01:54]

    

    

  • 示例2： 3.0 - 2.9 可能得到 0 [02:03]

    

• 早期程序员的变通方法 [02:17]
  • 程序员曾使用诸如 x = (x + x) - x 的方法来尝试在一次计算中获得一致的精度水平 [02:26]

    

• 精度与成本的辩论 [02:41]
  • 当时，寻找最经济且提供最精确算术计算的计算机成为焦点 [02:44]
  • 人们担心浮点计算的精度会变得极其昂贵 [02:59]

数字太小无法计算？ [06:28]

• 浮点数的表示方式 [03:17]
  • 计算机使用特殊的科学记数法来表示浮点数 [03:36]
  • 这种表示引入了奇怪的副作用 [03:43]

    

• 浮点数的二进制构成 [04:20]
  • 浮点数被分解为符号位、指数和尾数 [04:27]
  • 例如，在IEEE 754单精度浮点格式中，第一个位是符号位，接下来的八位是指数，最后23位是尾数 [04:27]

    

• 浮点表示的固有不精确性 [04:49]
  • 将一个数（如6.28）转换为浮点格式后，可能会得到一个近似值（如6.2800002），而非精确值 [05:01]

    

  • 这种不精确性在不同精度下打印时会显现出来 [05:25]

    

• 最小可表示数 [06:17]
  • 32位浮点数能表示的最小非零数大约是1.17 × 10^-38 [06:35]

    

  • 当数字小于此值时，会出现“下溢”（underflow）问题 [06:23]
• Intel与DEC的理念冲突 [06:40]
  • Intel：在设计i8087微处理器时，致力于实现一致且未来兼容的最佳算术精度 [06:56]
  • DEC：当数字小到触发下溢状态时，直接将其“冲刷为零”（flush to zero），损失所有精度 [07:15]

    

  • 浮点标准成为热门话题，促使跨公司专家委员会讨论制定标准 [07:35]
  • Intel通过William Kahan推动其浮点计算标准，甚至公开了未发布i8087处理器的规格 [07:42]
  • DEC声称Intel的提案在硬件上实现起来过于困难且不够快 [08:11]

IEEE 754标准 [08:56]

• 标准的诞生与内容 [08:33]
  • 漫长的讨论最终产生了IEEE 754浮点标准，为所有机器提供了计算浮点数的蓝图 [08:38]
  • 该标准明确规定了符号位、指数位和尾数位的位数构成 [08:58]

    

• 次正规数（Subnormals）的引入 [09:16]
  • Intel提出的最具争议但最终被采纳的解决方案是“次正规数”概念 [09:10]
  • 之前的机器在下溢时会直接将数字冲刷为零，造成突变 [09:19]
  • 次正规数引入了“渐进式下溢”（gradual underflow）概念，在数字中缓慢引入舍入误差，使变化更平滑 [09:27]
• 渐进式下溢的代价 [09:37]
  • 渐进式下溢需要CPU处理所有这些“微小”的数字，导致额外的计算成本 [09:40]
  • 在x86架构上，这可能增加多达100个额外的时钟周期 [09:54]
  • 这也是当年各公司极力反对采纳该标准的原因 [09:10]

数字音频工作站的困境 [10:17]

• 次正规数对音频渐弱的影响 [10:17]
  • 音频渐弱是触发次正规数行为的完美场景，因为它不断处理越来越小的音量数字 [10:19]
  • 然而，从人耳的角度来看，这种超高精度是多余的，人耳无法检测到 [10:34]
• 现代DAW的优化 [10:44]
  • 即使在今天，许多DAW（如Reaper）插件的默认代码第一行就是禁用次正规数 [10:46]
  • 禁用次正规数（也称为“去正规数”denormals）并非易事，需要特定的编译器标志 [11:14]

    

• 演示：启用与禁用次正规数的代码行为 [11:41]
  • 一个简单的C程序可以测试数字是次正规数还是正规数 [12:05]

    

  • 使用常规编译，程序会检测到一个次正规数，并打印其近似值 [12:24]
  • 使用fast-math编译器标志（禁用次正规数），程序会检测到零，表示次正规数被冲刷为零 [12:41]

    

巨大的CPU峰值 [14:18]

• Reaper中的CPU使用率演示 [12:55]
  • 在Reaper中加载多条音轨并播放，初始CPU使用率约为22% [13:26]

    

  • 启用优化插件（禁用次正规数）后，CPU使用率稳定在约32%，增加了约10% [13:37]
  • 启用未优化插件（未禁用次正规数）后，CPU使用率从22%飙升至64%，产生了巨大的CPU峰值 [14:00]

    

  • 这解释了用户在使用大量音轨并进行音频渐弱时，CPU使用率突然达到100%的原因 [14:31]
• 次正规数标志的底层机制 [14:42]
  • 编译后的应用程序中，禁用次正规数的代码通过设置特定的CPU标志来实现 [14:48]

    

  • 浮点运算单元（FPU）会识别这些标志 [15:17]
  • 如果设置了禁用标志，FPU会将次正规数冲刷为零；否则，它将执行额外的步骤来精确计算次正规数 [15:22]
• 浮点计算精度在其他领域的重要性 [15:36]
  • 除了音乐，金融领域对浮点计算精度也有极高要求 [15:45]
  • 例如，在股票交易中，微小的浮点不精确性在数千次交易后会累积成不可忽略的问题 [15:54]
  • 一个itBit比特币交易所的例子说明了浮点计算错误可能导致“免费资金”的漏洞 [15:40]
• 精度与性能的权衡 [16:07]
  • 视频最后抛出问题：你是支持Intel的超高精度优先理念，还是认为这种精度带来的CPU成本和麻烦太多，默认应该禁用？ [16:09]