firecracker

firecracker

开源虚拟化技术实现安全高效的多租户容器和函数服务

Firecracker是一种开源虚拟化技术,用于创建和管理安全、多租户的容器和函数服务。它通过轻量级虚拟机(microVM)运行工作负载,结合硬件虚拟化的安全性和容器的灵活性。Firecracker采用最小化设计,降低内存占用和攻击面,同时提高启动速度和硬件利用率。该技术已应用于AWS Lambda和AWS Fargate等服务,并可与多种容器运行时集成。

Firecracker虚拟化技术微型虚拟机容器开源Github开源项目
<picture> <source media="(prefers-color-scheme: dark)" srcset="docs/images/fc_logo_full_transparent-bg_white-fg.png"> <source media="(prefers-color-scheme: light)" srcset="docs/images/fc_logo_full_transparent-bg.png"> <img alt="Firecracker 标志标题" width="750" src="https://yellow-cdn.veclightyear.com/835a84d5/c81a0355-57ad-4659-a5bb-9fe5bf51a4ca.png"> </picture>

我们的使命是实现安全、多租户、低开销的容器和函数工作负载执行。

这里阅读更多关于 Firecracker 章程的信息。

Firecracker 是什么?

Firecracker 是一个开源虚拟化技术,专为创建和管理安全、多租户的容器和基于函数的服务而设计,这些服务提供无服务器运营模式。Firecracker 在轻量级虚拟机(称为 microVM)中运行工作负载,结合了硬件虚拟化技术提供的安全性和隔离性,以及容器的速度和灵活性。

概述

Firecracker 的主要组件是一个虚拟机监视器(VMM),它使用 Linux 内核虚拟机(KVM)来创建和运行 microVM。Firecracker 采用极简设计,排除了不必要的设备和面向客户的功能,以减少每个 microVM 的内存占用和攻击面。这提高了安全性,缩短了启动时间,并提高了硬件利用率。Firecracker 还已集成到容器运行时中,例如 Kata ContainersFlintlock

Firecracker 由亚马逊网络服务开发,旨在加快 AWS LambdaAWS Fargate 等服务的速度和效率。Firecracker 根据 Apache 2.0 版本 开源。

要了解更多关于 Firecracker 的信息,请查看 firecracker-microvm.io

入门

要开始使用 Firecracker,请下载最新的发布版本二进制文件或从源代码构建。

你可以在任何运行 Docker(我们使用开发容器)并安装了 bash 的 Unix/Linux 系统上构建 Firecracker,如下所示:

git clone https://github.com/firecracker-microvm/firecracker cd firecracker tools/devtool build toolchain="$(uname -m)-unknown-linux-musl"

Firecracker 二进制文件将位于 build/cargo_target/${toolchain}/debug/firecracker。有关构建、测试和运行 Firecracker 的更多信息,请查看快速入门指南

Firecracker microVM 的整体安全性,包括满足安全多租户计算标准的能力,取决于配置良好的 Linux 主机操作系统。我们认为满足这一标准的配置包含在生产主机设置文档中。

贡献

Firecracker 已经在 AWS 内部运行生产工作负载,但在我们使命指引的旅程中,这仍然只是第一天。还有很多要构建的,我们欢迎所有的贡献。

要为 Firecracker 做出贡献,请查看入门指南中的开发设置部分,然后查看 Firecracker 贡献指南

发布

新的 Firecracker 版本通过 GitHub 仓库的发布页面发布,通常每两到三个月一次。变更历史记录在我们的更新日志中。

Firecracker 的发布政策详见此处

设计

Firecracker 的整体架构在设计文档中有描述。

特性与功能

Firecracker 由一个单一的微型虚拟机管理器进程组成,启动后向主机公开 API 端点。API 以 OpenAPI 格式指定。在 API 文档中了解更多信息。

API 端点可用于:

  • 通过以下方式配置 microvm:
    • 设置 vCPU 数量(默认为 1)。
    • 设置内存大小(默认为 128 MiB)。
    • 配置 CPU 模板
  • 向 microVM 添加一个或多个网络接口。
  • 向 microVM 添加一个或多个读写或只读磁盘,每个磁盘由文件支持的块设备表示。
  • 在客户机运行时触发块设备重新扫描。这使客户操作系统能够获取块设备后备文件的大小变化。
  • 在客户机启动前后更改块设备的后备文件。
  • 为 virtio 设备配置速率限制器,可以限制带宽、每秒操作数或两者兼有。
  • 配置日志和指标系统。
  • [测试版] 配置面向客户的元数据服务的数据树。只有在配置此资源时,服务才对客户可用。
  • 向 microVM 添加 vsock 套接字
  • 向 microVM 添加熵设备
  • 使用给定的内核镜像、根文件系统和启动参数启动 microVM。
  • [仅限 x86_64] 停止 microVM。

内置功能

  • 默认启用按需页面错误和 CPU 超额订阅。
  • 高级的、线程特定的 seccomp 过滤器,以增强安全性。
  • Jailer 进程用于在生产场景中启动 Firecracker;应用 cgroup/namespace 隔离屏障,然后放弃特权。

测试平台

我们测试以下所有组合:

实例主机操作系统和内核客户根文件系统客户内核
c5n.metalal2 linux_5.10ubuntu 22.04linux_4.14
m5n.metalal2023 linux_6.1linux_5.10
m6i.metal
m6a.metal
m6g.metal
m7g.metal

已知问题和限制

  • aarch64 上的 pl031 RTC 设备不支持中断,因此使用 RTC 闹钟的客户程序(如 hwclock)将无法工作。

性能

Firecracker 的性能特征作为规范文档的一部分列出。所有规范都是我们支持无服务器运营模式下的容器和函数工作负载的承诺的一部分,因此通过持续集成测试强制执行。

安全披露政策

Firecracker 的安全性是我们的首要任务。如果你怀疑发现了漏洞,请按照我们的安全政策文档中概述的方式私下联系我们;我们将立即优先处理你的披露。

常见问题解答和联系方式

常见问题解答收集在我们的 FAQ 文档中。

你可以通过以下方式与 Firecracker 社区联系:

在 Firecracker 社区内沟通时,请遵守我们的行为准则

编辑推荐精选

Vora

Vora

免费创建高清无水印Sora视频

Vora是一个免费创建高清无水印Sora视频的AI工具

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

下拉加载更多