64、汇编器、加载与链接技术详解

汇编器、加载与链接技术详解

1. 最大公约数算法与汇编实现

最大公约数（GCD）的定义为：$gcd(a, b) = max[k, 使得 k 能整除 a 且 k 能整除 b]$，这里若整除无余数，则称 k 能整除 a。欧几里得算法求最大公约数基于定理：对于任意非负整数 a 和 b，$gcd(a, b) = gcd(b, a \mod b)$。

以下是用 C 语言实现欧几里得算法的代码：

unsigned int gcd (unsigned int a, unsigned int b)
{
  if (a == 0 && b == 0)
      b = 1;
  else if (b == 0)
      b = a;
  else if (a != 0)
      while (a != b)
         if (a < b)
             b -= a;
         else
             a -= b;
  return b;
}

此外，还有两种汇编语言版本的实现，一个是 C 编译器生成的，另一个是手动编写的，手动编写的版本运用了一些编程技巧，实现更紧凑高效。

2. 汇编器概述

汇编器是一种软件工具，它以汇编程序为输入，生成目标代码输出，目标代码是二进制文件，汇编器将该文件视为从相对位置 0 开始的一块内存。汇编器主要有两种实现方式：两遍汇编器和一遍汇编器。

3. 两遍汇编器

两遍汇编器更为常见且易于理解，它会对源代码进行两次遍历：