FreeBSD可执行程序格式

在FreeBSD下的可执行程序通常可分为两类，一类为使用各种解释语言编写的脚本，如sh、awk、perl、Tcl等，这些程序需要解释程序进行解释执行，小巧方便，对于实现不常使用、不要求效率的程序非常有用；另一类就是使用C等高级语言编译后产生的可执行二进制程序。

　　Unix之所以功能强大，原因之一就在于它提供了强大的再开发能力。这不仅与提供了高级语言C的编译器有关，而且也与提供了很多种能以解释方式执行的简单脚本语言有关。解释程序脚本的特点是方便性、简单灵活，而且也比较容易学习入手。很多情况下，需要完成的工作任务功能比较单一，并不需要频繁运行，而且要求快速编写出来，这就适合使用解释型语言编写，并且解释程序本身就具备处理文本和字符串的便捷性，并能够和很多现有程序通过系统提供的管道、环境变量等方式结合起来，使得它们非常适合实现文本处理功能。

　　解释语言的缺点是每次运行程序时都要载入语言的解释器，解释执行程序，因而效率较低，并且不能直接操纵内存和I/O设备，不适合编写大型程序和对效率要求较高的场合。

　　每个解释脚本程序的第一行指出该脚本程序使用的解释器，例如一个普通的shell程序的第一行为：#! /bin/sh

　　不同的解释语言可用在不同的方面，最常用的有shell解释程序，依据使用shell的不同，也分为不同的shell脚本，基本上也分为sh和csh 两种不同的风格。系统管理中经常使用shell程序来执行一些日常管理任务，很多软件也使用shell程序来提供辅助安装和设置任务。perl也是一种常用的、功能强大的解释语言，它兼有解释性程序的方便性和高级编程语言的强大功能，使程序员能在很短的时间内写出非常有效的程序。因此perl得到了众多程序员的支持，通过为perl开发了更多的程序模块，进一步使得perl的处理能力变得更为强大。当前perl已经成为了最流行的一种解释语言，尤其在编写Web服务器上的CGI程序方面，更是处于无可争议的地位。Tcl/tk是另一种解释语言，它能用在X Window系统下，使用描述语言显示不同的X控件，因此很多X应用程序使用它来建立自己的图形接口。

二进制执行程序

　　使用高级语言编写、并经过编译得到的二进制执行程序执行效率更高，并且只有二进制格式的执行文件才能充分利用Unix系统提供的全部功能。同样系统内核也是一个特殊格式的二进制执行文件。

　　早期的Unix使用a.out格式作为它的执行文件格式，随着Unix的发展，又出现了其他几种执行文件的格式，当前最重要的执行文件格式为ELF 格式，采用这种格式的最初想法是为了在不同平台间采用相同的执行文件格式，并实现动态共享连接库。虽然ELF文件格式并没有达到AT&T最初设想的全部目的，但这种文件格式却成为最流行的执行文件格式。除此之外，实际使用的文件格式还有一种较老的COFF格式，这种格式是在Unix System V R3.2中使用的，当前只有老版本的SCO Unix中还在使用它，而 SCO也正逐渐转向ELF格式。

　　

　　FreeBSD可以同时支持这两种执行文件的格式，FreeBSD 2.2.x之前的版本使用a.out格式作为缺省的执行文件格式，到FreeBSD 3.x之后ELF格式成为缺省的执行文件格式，并且以后会彻底转向ELF。事实上在FreeBSD 下的a.out格式具备了相当多的特性，如动态连接等ELF格式具备的特性，也有一些ELF格式不具备的特性，如压缩执行文件格式。但由于FreeBSD中使用的编译器gcc决定不再支持a.out格式的缘故，因此FreeBSD也必须转向 ELF格式。这也是当前还支持a.out格式的FreeBSD版本缺省使用较老版本编译器的原因之一。

　　在FreeBSD中，a.out格式的执行文件可以支持压缩执行格式，这使得使用gzip压缩过的a.out格式的执行文件也能立即执行，当前还不能对ELF 格式的文件提供这种支持。

　　FreeBSD的文件格式从aout到ELF的转变是渐变的，首先是在3.0-RELEASE 中将执行程序的缺省格式转变为ELF格式，内核文件还保持aout格式，直至 FreeBSD-3.1，全部执行文件格式才缺省设置为ELF格式。

　　转向ELF也造成很多相关程序的转变，如原有的Boot Loader不支持 ELF格式的内核，3.1-RELEASE就升级到新Boot Loader；而原有的可加载模块lkm为aout格式，也需要转向ELF格式的modules。新可加载模块的位置为 /modules目录，并使用kldload、klduload、kldstat来进行管理。（aout格式的模块管理命令为modload、modstat和modunload）。

　　a.out和ELF格式使用的库文件也是不同的，使用ELF执行文件格式的 FreeBSD 3.x中，/usr/lib下为ELF格式的函数库，而用一个子目录/usr/lib/aout 存放a.out格式的函数库，用于兼容2.2.x之前版本的FreeBSD程序。但这给一些使用包装技术的软件（一些中文外挂系统）造成了一些小麻烦。对不同格式的执行文件要使用不同的包装库，系统不会将与程序本身格式不同的连接库连接到程序上，对应的错误信息为 “bad magic”，指出文件格式的不同。

　　由于3.x之后的缺省格式为elf格式，为了生成a.out格式的文件，必须在编译和连接时使用 -aout参数，告诉编译器gcc和连接器ld使用不同的格式生成执行文件。

静态连接和动态连接

　　在操作系统发展的早期，除了内核提供的接口，所有的库函数都要连接到程序中，这样所有的程序都可以直接在系统内核下运行。然而事实上大部分程序都会使用一些相同的库函数，尤其是在使用高级语言编程的时候，通常都使用同样的库。例如，C语言编写的程序通常都使用printf函数进行输出，使用scanf读入用户输入内容。如果每个库函数都连接到用户程序中，这样每个程序都会包括这个函数的一个拷贝，就浪费了内存空间。

　　

　　因此，现代操作系统使用动态连接的技术，不将常用的库直接编译进每个程序中，而是保留相应的接口，在内核载入程序时，再使用动态连接程序将库载入并和执行程序连接起来。这就是动态连接的技术，由于库和程序是分别载入的，因此多个程序可以共享一个库的同一个拷贝，节约了资源。

　　不论对于a.out格式还是ELF格式，FreeBSD均支持动态连接，因此应用程序缺省就使用动态连接的方式。如果想使用静态连接，可以在应用程序编译连接时，指定-static连接选项，将目标程序连接成静态连接的执行文件。由于库代码被连接进执行文件中，静态连接的执行文件要比动态连接的执行文件要大。$ cc -static -o a1 hello.c$ cc -o a2 hello.c$ ls -l

　　a1 a2-rwxr-xr-x

　　1 wb

　　wheel

　　45017 Apr 18 16:26 a1-rwxr-xr-x

　　1 wb

　　wheel

　　2540 Apr 18 16:27 a2

　　在FreeBSD下，共享库被放到/etc/ld-config设定的目录下，通常为 /usr/lib，每个库文件使用.so和库的版本号结尾。例如，libc.so.3.1为一个标准C库函数的动态共享库文件。对于a.out格式的执行文件，其动态库文件位于/usr/lib/aout目录下。

　　可以使用程序ldd来确定一个程序使用的动态连接库：bash-2.02$ ldd /usr/bin/vi/usr/bin/vi:

　　libcurses.so.2 => /usr/lib/libcurses.so.2 (0x2808e000)

　　libtermcap.so.2 => /usr/lib/libtermcap.so.2 (0x2809a000)

　　libc.so.3 => /usr/lib/libc.so.3 (0x2809f000)

　　

其他系统的执行文件

　　很多其他Unix系统，例如BSD/OS和Linux，也是运行在Intel平台上的系统，那么执行程序中的处理器指令是完全相同的，不同之处只在于应用程序的格式、应用程序与操作系统的接口、库文件等。事实上由于同为Unix系统，这些差异也很小，因此通过调整内核的一些参数设置，FreeBSD完全可以直接运行这些系统下的执行程序。

　　FreeBSD能够同BSD/OS、NetBSD和OpenBSD的Intel平台上的应用程序相兼容，同为BSD家族的成员，他们非常类似。NetBSD、OpenBSD和FreeBSD同为免费系统，并且具有同样的起源，与FreeBSD的关系非常密切，因此FreeBSD能直接运行NetBSD和OpenBSD的Intel平台下的执行程序。然而NetBSD和OpenBSD 也是自由操作系统，因此它们中的应用程序也会有相应的FreeBSD版本，因此这个功能一般很少用到。BSDI是一个商业公司，因此会提供BSD/OS下的二进制执行文件，但不提供源代码。FreeBSD能够完美的运行BSD/OS下的a.out格式的执行文件，ELF执行格式的程序也能执行，但偶尔会有问题发生，因此就需要调整系统设置。

　　

　　FreeBSD也能够执行SCO Unix的执行文件，这需要使用内核的ibcs2（ Intel binary compatibility system 2）选项。这需要载入一个内核可加载模块，这需要使用root身份执行ibcs2命令以载入ibcs2模块。# ibcs2

　　可以在rc.conf中设置 “ibcs2_enable=YES” ，使开机后立即载入这个模块。

　　但是要执行SCO的应用程序，仅有内核支持还是不够的，还需要有SCO Unix的函数库。但SCO Unix的库函数是SCO Unix的一部分，受版权保护的。如果使用者拥有合法的SCO共享库和应用程序，就可以运行SCO Unix上的大型商业应用程序。

　　同样，FreeBSD也能够运行Linux的可执行程序，与执行SCO程序类似，这也要求内核支持并载入相应的模块。rc.conf中的相应参数为 “linux_enable” 。# linux

　　但是与SCO不同的是，Linux是一种自由操作系统，其库函数为GNU开发的函数库，使用GNU通用许可保护自由使用的权利。因此FreeBSD在Packages Collection中提供了Linux的共享库，安装了这些Linux的库函数之后，就可以执行Linux的执行程序了。# pkg_add /cdrom/packages/All