在领域，函数是一种关系，这种关系使一个集合里的每一个元素对应到另一个（可能相同的）集合里的唯一元素。

在C语言中函数也有这种联系。自变量影响着因变量。

在linux内核驱动编程经常会有抽象层的概念。硬件抽象层是位于与硬件电路之间的接口层，其目的在于将硬件抽象化。它隐藏了特定平台的硬件接口细节,为操作系统提供虚拟硬件平台,使其具有硬件无关性,可在多种平台上进行移植。内核提供了简单的内核符号表机制（可以理解为全局函数/变量指针），模块或者源程序向其他程序导出符号，则使用下面的宏：EXPORT_SYMBOL(name)；

模块层叠技术在复杂的项目中非常有用。如果以设备驱动的形式实现一个新的软件抽象，则可以为硬件相关的实现提供一个“插头”。例如video-for-linux驱动程序组划分出一个通用的模块，它导出的符号可以供下层具体硬件相关的驱动程序使用。根据所安装的硬件的不同，我们加载通用的video模块和硬件相关的特定模块。在《linux device driverⅢ》中这样描述符号导出的作用：

Modulestacking is useful in complex projects. If a new abstraction is implemented in theform of a device driver, it might offer a plug for hardware-specificimplementa-tions. For example, the video-for-linux set of drivers is split intoa generic module that exports symbols used by lower-level device drivers forspecific hardware. According to your setup, you load the generic video moduleand the specific module for your installed hardware.

抽象层的函数提供给底层的驱动，底层驱动利用这些函数传入与硬件相关的参数（一般是结构体，结构体中需要底层的各种操作函数指针）。抽象层是这一类驱动的共同部分，抽象部分，做了封装，这样和具体硬件相关的驱动一起作为完整的驱动。