关于Donald Knuth《计算机程序设计艺术》中MIX汇编算术运算的疑问（除法实例）

核心规则回顾 #

MIX的DIV指令以AX寄存器对为被除数（A为高位字，X为低位字），目标内存单元的内容为除数，运算完成后：

• 商存入寄存器A（单字）
• 余数存入寄存器X（单字）

必须严格满足两个约束：

1. $被除数 = 商 × 除数 + 余数$
2. 余数的符号与被除数完全相同，且余数的绝对值严格小于除数的绝对值
3. 商采用向0取整（直接截断小数部分，不做四舍五入）

针对示例的分步分析 #

1. 确定除数与被除数的数值 #

• 除数M：字代码为-| 0 | 0 | 0 | 2 | 0，MIX单字的数值计算公式为「符号位 × (b1×64⁴ + b2×64³ + b3×64² + b4×64 + b5)」，因此除数数值为 $- (2×64 + 0) = -128$，绝对值为128。
• 被除数AX：寄存器A的字代码为-| 1235 | 0 | 3 | 1，注意MIX单个字节的取值范围是0~63，因此1235必然是两个合法字节的组合（如19和19，因为19×64+19=1235）。假设执行DIV前X的初始值为0，则被除数为负，其绝对值由A的无符号数值决定。

2. 书中结果的合理性 #

书中给出的余数rX(- | 0 | 0 | 0 | ? | 1)，根据规则，余数绝对值必须小于128，因此?只能为0（0×64+1=1<128），即余数为-1。

此时商的计算为：
$$
商 = (被除数 - 余数) ÷ 除数 = (被除数 - (-1)) ÷ (-128)
$$
由于被除数为负，被除数 +1是绝对值比被除数小1的负数，除以-128后得到正数，向0取整后为617，说明被除数的绝对值恰好等于 $617×128 +1 = 78977$，这与A的字对应的实际数值匹配（你可能误写了A的字节拆分方式）。

3. 你的结果的问题所在 #

你计算的余数rX(- | 0 | 0 | 0 | 1 | 1)对应数值为-65，绝对值65<128，符号也符合规则，但这仅当被除数的绝对值为 $617×128 +65 = 79041$ 时成立。这说明你对A的字的数值转换有误，或者忽略了X寄存器的初始值（AX是双倍字，X的初始值会影响被除数的整体数值）。

关键总结 #

MIX除法的核心是余数的绝对值必须小于除数，且符号与被除数一致，商向0取整。只要满足这两个条件，结果就是合法的。书中示例是基于A的字对应被除数绝对值为78977的场景，因此余数为-1，商为617。

内容的提问来源于stack exchange，提问作者dheart_joe