DirectFB 快速入门

DirectFB(简称 DFB)

参考:

Chromium 定制之 FFmpeg 裁剪

一、FFmpeg 的定制

在定制 Chromium 过程中,发现 WebAudio 模块依赖于 FFmpeg,但是只用到了里面的少许接口,因此需要对 FFmepg 做裁剪。

Chromium 源码中提供了对 FFMPEG 整个模块编译的支持,并提供了相关的开关来控制,但是默认该开关是关闭的。

发现 WebAudio 中用到的几个 FFmpeg 中的接口都是 RDFT 相关。接口的实现全都在 avfft.c 这个 C 源文件中。该源文件中还有 FFT、MDCT、DCT 部分的接口实现,这些函数都被预处理指令结合诸如 CONFIG_RDFT、CONFIG_MDCT、CONFIG_DCT 之类的宏定义来控制是否参与编译。

剩下的任务便是从 FFMPEG 中 截取 RDFT 相关接口来做最小化定制。即以 avfft.c 文件出发,编译出一个可用的最小动态库,以满足 WebAudio 模块的需求。

对于 CONFIG_RDFT、CONFIG_MDCT、CONFIG_DCT 等宏的定义,Chromium 针对不同的平台,以及针对 Chrome/Chromium 商标的区分,分别作了预设的配置:

针对ARM 平台,找到了相关头文件的路径:

因此便可通过修改该头文件中相关宏的定义,来控制编译,实现针对 RDFT 模块的最小化定制。

通过不断的尝试,最终完成了 ARM 平台下 FFmpeg 的最小化定制,并且能正常工作。相关技巧见本文第三部分。

二、FFmpeg Wrapper 改造

Chromium 提供了针对 FFmpeg 中相关接口的 wrapper。编译时 WebAudio 模块中关于 FFMPEG 中的 function 调用都链接的是 wrapper function。在 wrapper 中去通过 dlopen/dlsym 的方式去加载关于 FFMPEG 的动态链接库。

继续调查发现,该 wrapper 的源文件是通过 python 脚本根据一个符号列表自动生成的。相关过程粗略介绍如下:

首先,有一个 ffmpegsumo.sigs 的文件,记录着 Chromium 使用到的 FFMPEG 中的全部接口,该文件其实就是一个 C 头文件。

编译时,通过调用 generate_stubs.py 这个脚本去逐行 parse 该文件中的符号,针对每一个 function 生成对应的 wrapper function。涉及到某些重复的逻辑会用到一些函数模板,一个典型的模板如下:

该模板根据上述符号列表文件中的每一行记录,经 parse 得到 return_type(返回值类型)、name(函数名)、params(参数)、export(可见性控制符)等符号,再去生成 wrapper function。具体输出如下:

然后这些 wrapper function 以及 dlopen、dlsym 等动作都会被组合并输出到同一个源文件中,最后编译器再去编译生成的源文件。

通过研究该模板发现一个严重的问题:在 dlopen、dlsym 失败的时候,wrapper 模块会将所有的函数指针都置空。该模板生成的 wrapper function 又没有去判断函数指针是否为空,此种情形下一旦被 call 到,就会发生 coredump。

由于 wrapper 模块的源码是由脚本生成的,要去修改相关的逻辑必须修改相应的 python 脚本中的函数模板。

首先,在 wrapper function 中 call 实际的 function 之前,必须要进行空指针的判断。否则返回一个与原返回值类型相同的默认值。根据返回值的不同,又将原有模板拆分为三个不同的模板,分别针对一般函数、void 型函数和指针函数来进行处理:

通过这三个模板生成的 wrapper function 举例如下:

经此调整,修复了 wrapper function 中原有的缺陷,避免了异常情况下的 coredump。

三、技巧总结

3.1、关于 shared libary 的编译

编译 executuble file 与 shared libary,编译器的策略是不同的。编译 executable file,编译器会从 main function 出发,只处理被使用到的所有符号;而编译 shared libary,编译器会处理参与编译的源文件中的所有符号。针对后者,只要没有语法错误与符号冲突,一般编译都会通过。但是在动态加载时(比如 dlopen ),如果目标文件中状态为 UNDEFINED(链接到其他动态库的不算)的并且作用域为 GLOBAL 的符号,就会返回错误。

如果每编译一次,就拿到开发板上测试,效率是相当低的。那么如何在编译之后,不用运行就能确认一个 shared libaray 是可被正常使用的呢?首先,编译通过是必须的。然后,通过查看其中所有对外可见的符号及其状态、作用域等信息,来进行判断。

首先可以通过 readelf 命令加 -s 参数去查找并列出目标文件 libffmpegsumo.so 中的符号。举例如下:

从以上输出中可以看到目标文件中所有符号的索引号、起始地址、Section 大小、类型、状态以及符号名等信息。在此基础上加上一些过滤条件可以找到那些会导致动态加载失败的符号。下面的命令组合可以有效完成此工作:

过滤条件“UND”表示只列出其中状态为“UNDEFINED”的符号;-v “@” 表示没有 “@” 符号,即列出没有在其他动态库中定义的符号。

最后,一个命令组合便可确定该动态库是否实际可用:

结论:输出为 1 即表示该动态库可用。

注:分号后一条指令输出前一条指令返的返回值;返回值为 1,即表示最后一条 grep 查找失败,也就是在目标文件中没有找到符合过滤条件(类型为 GLOBAL、状态为 UNDEFINED、并且没有链接到其他动态库中)的符号。

3.2、关于 LICENSE 的检查

编译中遇到的另外一个问题是源文件的 LICENSE 检查。一个直接的方法是查看源文件头部的版权声明。例如 avfft.h 这个头文件中的版权申明是这样的:

可以看到该文件使用了 LPGL(GNU Lesser General Public License)许可证。但是针对大量的源文件,这样逐个文件地检查是比较耗时的。无意间发现 Chromium 的源码中有一个 LICENCES 检查的工具 checklicense.py,它既可以检查单个文件,又可以遍历整个目录:

针对单个文件的 LICENSE 检查:

针对目录的 LICENSE 检查:

这个工具结合其他文本处理命令可以迅速完成针对第三方源码库的 LICENSE 分析。

指针与整数之间的转换

现代机器上,指针的长度一般等于 CPU 运行模式的寻址位数,在 32 位操作系统上为 4 字节,在 64 位操作系统上为 8 字节;而整数长度在 32 位和 64 位操作系统上一般都为 4 字节。因此将指针与整形相互转换时,务必考虑对 32 位及 64 位操作系统的兼容性。

  • 将整数转换为指针

由于指针的长度一般大于或等于整形的长度,因此直接强制类型转换就可以了:

  • 将指针转换为整数

使用 uintptr_t 或 intptr_t 类型。这两种类型定义在头文件 <stdint.h> 中。