衡量链接器性能的关键指标除了链接速度以及生成的可执行文件的性能外,就是可执行文件的大小。对于当今大型项目而言,程序工程中往往包含一些无用的代码块,这些代码块在一定程度上增大了可执行文件的大小。通过链接时死代码删除,可以删除这些无用的代码块,从而达到减小可执行文件大小的效果。由于传统程序链接技术是基于“段”的,因此不能对死代码以函数或变量等为单位进行删除。基于原子的程序链接技术则不同,它是基于更细粒度的“原子”的。原子是对函数、变量以及常量字符串等不可再分的代码或数据块的抽象表示。开源编译基础设施LLVM的子项目11d正是基于原子模型的链接器。本文首先分析了基于原子模型的链接的实现过程,然后基于11d,实现了针对X86₆4Linux平台的链接时死代码删除。实验结果表明,经过死代码删除优化后,链接器能生成更小的可执行文件。机器码翻译是把机器码转换成汇编代码的过程,常用于反汇编、程序调试、病毒分析等领域。机器码翻译依赖于描述指令集的一系列表格,包括指令格式表、操作码表、寻址方式表等。传统的机器码翻译方法,通过逐步查询这些表格,找到对应机器码的汇编码,从而实现翻译。由于传统方法查表过程复杂,导致其翻译速度较慢。本文提出了基于模式匹配的方法,通过建立模式表、匹配表从而直接建立机器码与汇编码间的映射关系。由于该方法大大简化了机器码翻译的查表过程,因此在一定程度上提高了机器码翻译的速度。同时,采用该方法实现的程序开发时间更短、后期维护更容易。