链接时死代码删除与基于模式匹配的机器码翻译-计算机系统结构专业论文.docxVIP

中国科学技术大学硕士学位论文 中国科学技术大学 硕士学位论文 链接时死代码删除与基于模式匹配的 机器码翻译 作者姓名： 李彭勇 学科专业： 计算机系统结构 导师姓名： 郑启龙副教授 完成时间： 二O一五年四月二十日 万方数据 University University of Science and Technology of China A Dissertation for Master’S Deg ree Link Time Dead Code Elim ination and Machine Code TranSIatiOn based on Pattern Match i ng Author’S Name： Pengyong Li speciality： Computer Architecture Supervisor： Assoc．Prof．Qilong Zheng Finished time： Apirl 20砸，2015 万方数据 中国科学技术大学学位论文原创性声明本人声明所呈交的学位论文，是本人在导师指导下进行研究工作所取得的 中国科学技术大学学位论文原创性声明 本人声明所呈交的学位论文，是本人在导师指导下进行研究工作所取得的 成果。除已特别加以标注和致谢的地方外，论文中不包含任何他人已经发表或 撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作 了明确的说明。作者签名：燃 签字日期： 洫正c。咨 中国科学技术大学学位论文授权使用声明 作为申请学位的条件之一，学位论文著作权拥有者授权中国科学技术大学 拥有学位论文的部分使用权，即：学校有权按有关规定向国家有关部门或机构 送交论文的复印件和电子版，允许论文被查阅和借阅，可以将学位论文编入《中 国学位论文全文数据库》等有关数据库进行检索，可以采用影印、缩印或扫描 等复制手段保存、汇编学位论文。本人提交的电子文档的内容和纸质论文的内 容相一致。 作者签名：盔努至 导师签名： 淄 保密的学位论文在解密后也遵守此规定。 鬯么开 口保密(——年) 上煎珥 签字日期：丛生：￡!这 签字日期： 万方数据 摘要摘要 摘要 摘要 衡量链接器性能的关键指标除了链接速度以及生成的可执行文件的性能 外，就是可执行文件的大小。对于当今大型项目而言，程序工程中往往包含一 些无用的代码块，这些代码块在一定程度上增大了可执行文件的大小。通过链 接时死代码删除，可以删除这些无用的代码块，从而达到减小可执行文件大小 的效果。由于传统程序链接技术是基于“段”的，因此不能对死代码以函数或 变量等为单位进行删除。 基于原子的程序链接技术则不同，它是基于更细粒度的“原子”的。原子 是对函数、变量以及常量字符串等不可再分的代码或数据块的抽象表示。开源 编译基础设施LLVM的子项目1ld正是基于原子模型的链接器。本文首先分析 了基于原子模型的链接的实现过程，然后基于11d，实现了针对X86—64 Linux 平台的链接时死代码删除。实验结果表明，经过死代码删除优化后，链接器能 生成更小的可执行文件。 机器码翻译是把机器码转换成汇编代码的过程，常用于反汇编、程序调试、 病毒分析等领域。机器码翻译依赖于描述指令集的一系列表格，包括指令格式 表、操作码表、寻址方式表等。传统的机器码翻译方法，通过逐步查询这些表 格，找到对应机器码的汇编码，从而实现翻译。由于传统方法查表过程复杂， 导致其翻译速度较慢。本文提出了基于模式匹配的方法，通过建立模式表、匹 配表从而直接建立机器码与汇编码间的映射关系。由于该方法大大简化了机器 码翻译的查表过程，因此在一定程度上提高了机器码翻译的速度。同时，采用 该方法实现的程序开发时间更短、后期维护更容易。 关键词：原子模型链接时优化死代码删除机器码翻译模式匹配 万方数据 摘要 II 万方数据 AbstractABSTRACT Abstract ABSTRACT Except the speed of linking and the performance of the output file，the size of the output file is one of the most important parameters of a linker．For today’S large-scale software projects，there are many useless codes and files which greatly increase the size of the executable file．Though link time dead code elimination．we can eliminate these codes and redu