面向Dockerfile的容器镜像构建工具①.PDF

计 算 机 系 统 应 用 2016 年 第 25 卷 第 11 期 ① 面向Dockerfile 的容器镜像构建工具 1,2 2 2 耿 朋 , 陈 伟 , 魏 峻 1( 中国科学院大学, 北京 100049) 2( 中国科学院软件研究所 软件工程技术研究开发中心, 北京 100190) 摘 要: 在容器虚拟化中, 主流的镜像构建方式是通过 Dockerfile 来构建的. 然而, 在使用 Dockerfile 构建镜像时 存在着明显的不足: 由于 Dockerfile 语言的复杂性, 使用文本编辑方式没有提供有效的语法引导, 没有对 Dockerfile 可能存在的错误进行有效的检测, 导致构建容器镜像工作效率低下. 此外, 使用说明不完整的第三方 镜像, 无法有效的确定镜像的功能和使用方法, 安全性也是第三方镜像所面临的一大挑战, 这带来了容器镜像的 重复利用率低下的问题. 针对上述问题, 在分析 Dockerfile 语法和统计分析 Dockerfile 常见错误以及深入研究 Docker 镜像存储机制的基础上, 设计了一个面向 Dockerfile 的镜像构建工具, 并使用了可视化编辑, 错误检测, 逆向分析等关键技术进行实现. 该工具能够在镜像构建中提供有效的语法引导, 对 Dockerfile 常见的错误进行有 效检测, 为了验证第三方镜像的功能和安全性, 设计了一种由 Docker 镜像逆向生成 Dockerfile 的方式, 用户可以 通过 Dockerfile 完全了解第三方镜像的功能和使用方式, 另外通过二次构建的方式也可一定程度上解决第三方镜 像的安全性问题. 关键词: Docker 镜像; 错误检测; 逆向工程; Dockerfile Tool for Building Docker Image on Dockerfile 1,2 2 2 GENG Peng , CHEN Wei , WEI Jun 1(University of Chinese Academy of Sciences, Beijing 100049, China) 2(Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China) Abstract: In container-based virtualization, the mainstream way to build images is Dockerfile. However, using Dockerfile to build images has the obvious deficiency: Because of complexity of the Dockerfile syntax, the way of editing with text does not provide effective guidance of syntax, and effective detection for common errors, which lead to low efficiency in building images. In addition, using the 3rd party images with no complete expla