Android操作系统拥有巨大的用户基础和空前的发展前景,对于Android操作系统的研究具有重要的意义。虚拟机是Android系统的核心组件,目前ART虚拟机已经取代Dalvik虚拟机成为Android 5.0以后版本的默认虚拟机,那么对于ART虚拟机及其各个模块的原理分析与功能优化将是Android系统的研究热点之一。基于此本文提出对ART虚拟机的Quick编译技术分析与优化,希望对该领域的研究有一定的推动作用。本文所做主要工作如下:(1)简要分析Dalvik虚拟机与ART虚拟机两者的运行机制。(2)静态分析Quick编译器源码,阐明Quick编译器函数调用流程,并在此基础上展开对Quick编译器体系结构与设计原理的分析,本文将Quick编译器分为前端和后端两个模块,在前端模块主要进行MIR生成、构造基本块、构建控制流图和SSA转换的分析工作,在后端模块主要进行LIR生成和机器码生成的分析工作。(3)然后本文通过Quick编译器编译示例程序生成本地机器码,并以生成的本地机器码为基础,阐明Quick编译器存在对部分冗余数组边界检查指令优化不足的问题,进而提出一种部分冗余数组边界检查消除算法,详细阐明算法中数据定义与执行流程。最后本文以自行设计测试用例的方式,分别通过实验检验Quick编译器体系结构与设计原理分析的正确性和部分冗余数组边界检查消除算法的优化效果。