Arrakis核心功能揭秘：MicroVM隔离、快照回溯与自动端口转发技术详解

发布时间：2026/7/12 21:30:36

Arrakis核心功能揭秘：MicroVM隔离、快照回溯与自动端口转发技术详解

Arrakis核心功能揭秘：MicroVM隔离、快照回溯与自动端口转发技术详解

【免费下载链接】arrakisA fully customizable and self-hosted sandboxing solution for AI agent code execution and computer use. It features out-of-the-box support for backtracking, a simple REST API and Python SDK, automatic port forwarding, and secure MicroVM isolation. Perfect for safely running, testing, and backtracking multi-step agent workflows.项目地址: https://gitcode.com/gh_mirrors/arra/arrakis

Arrakis是一款专为AI智能体设计的完全可定制、自托管的沙箱解决方案，为代码执行和计算机使用提供安全的隔离环境。这个强大的工具集成了MicroVM隔离、快照回溯和自动端口转发三大核心技术，让AI智能体能够在安全的环境中自由运行、测试和回溯多步骤工作流，同时保护主机系统免受潜在恶意代码的攻击。🚀

为什么需要Arrakis？AI智能体的安全挑战

AI智能体在生成代码时可能产生恶意或有缺陷的程序，这些程序可能对运行它们的系统构成威胁。更重要的是，许多智能体采用复杂的多步骤计划来实现目标，能够回溯到中间状态的能力对它们至关重要。Arrakis正是为了解决这些挑战而设计，提供了一个安全、可定制、自托管的解决方案。

核心技术一：MicroVM隔离安全机制

基于Cloud-Hypervisor的轻量级虚拟化

Arrakis采用Cloud-Hypervisor作为虚拟化管理器，这是一种基于Rust的高性能虚拟化解决方案。与传统虚拟机相比，MicroVM具有以下优势：

  • 极速启动：启动时间通常在毫秒级别
  • 资源高效：内存和CPU开销极小
  • 安全隔离：每个沙箱在独立的MicroVM中运行

多层次安全防护体系

Arrakis构建了多层次的安全防护机制：

  1. 硬件级隔离：通过KVM虚拟化技术实现硬件级别的安全隔离
  2. 网络隔离：每个沙箱获得独立的tap设备，连接到Linux网桥
  3. 文件系统保护：使用overlayfs保护每个沙箱的根文件系统

配置文件config.yaml中的关键安全设置包括：

  • bridge_name: "br0"- 网络桥接配置
  • bridge_subnet: "10.20.1.0/24"- 子网划分
  • guest_mem_percentage: "30"- 内存限制

核心技术二：快照回溯功能详解

智能体工作流的革命性改进

快照回溯是Arrakis最强大的功能之一，它允许AI智能体：

  • 保存中间状态：在执行过程中的任意点创建快照
  • 即时恢复：随时恢复到之前的快照状态
  • 实验性探索：尝试不同的代码路径而无需担心破坏性后果

快照操作的实际应用

通过Python SDKpy-arrakis，开发者可以轻松实现快照功能：

# 创建沙箱并写入数据 sandbox = sandbox_manager.start_sandbox('agent-sandbox') sandbox.run_cmd("echo '重要数据' > /tmp/data.txt") # 创建快照 snapshot_id = sandbox.snapshot("完成数据写入") # 继续操作 sandbox.run_cmd("rm /tmp/data.txt") # 恢复到快照状态 sandbox = sandbox_manager.restore('agent-sandbox', snapshot_id) # /tmp/data.txt文件将恢复原状

快照的技术实现

快照功能在cmd/client/main.go中实现，通过调用REST API端点来管理VM状态。每个快照包含：

  • VM内存状态
  • 磁盘状态
  • 网络配置
  • 运行中的进程状态

核心技术三：自动端口转发系统

智能网络管理

Arrakis的自动端口转发系统简化了沙箱访问：

  1. VNC服务器自动配置：每个沙箱启动时自动运行VNC服务器
  2. 端口动态分配：系统自动分配和管理端口映射
  3. 外部访问简化：客户端无需复杂配置即可访问沙箱GUI

端口转发配置示例

在config.yaml中，端口转发配置如下：

port_forwards: - port: "5901" description: "gui" - port: "5736-5740" description: "code"

实际使用场景

启动沙箱后，可以通过以下方式获取连接信息：

sb = sandbox_manager.start_sandbox('agent-sandbox') info = sb.info() # 输出包含VNC连接详细信息

连接信息示例：

{ 'name': 'agent-sandbox', 'status': 'RUNNING', 'ip': '10.20.1.2/24', 'port_forwards': [{'host_port': '3000', 'guest_port': '5901', 'description': 'gui'}] }

使用VNC客户端连接：vnc://<服务器IP>:3000

完整的生态系统集成

多种交互方式

Arrakis提供了多种与沙箱交互的方式：

  1. REST API：通过arrakis-restserver提供完整的API接口
  2. Python SDK：py-arrakis库提供Python原生支持
  3. CLI工具：arrakis-client命令行工具
  4. MCP服务器：与Claude Desktop、Windsurf等AI工具集成

主要组件架构

Arrakis包含以下核心组件：

  • arrakis-restserver：REST API服务器，管理VM生命周期
  • arrakis-client：命令行客户端
  • arrakis-cmdserver：执行shell命令的服务
  • arrakis-guestinit：MicroVM内部的init系统
  • arrakis-rootfsmaker：构建客机根文件系统的工具

快速开始指南

环境准备

确保系统支持虚拟化：

stat /dev/kvm

安装和配置

  1. 克隆仓库：
git clone https://gitcode.com/gh_mirrors/arra/arrakis cd arrakis
  1. 安装依赖：
./setup/install-images.py
  1. 构建项目：
make all

启动和使用

  1. 启动REST服务器：
sudo ./out/arrakis-restserver
  1. 创建沙箱：
./out/arrakis-client start -n my-sandbox
  1. 访问沙箱：
  • SSH访问：ssh elara@10.20.1.2(密码：elara0000)
  • VNC访问：通过分配的端口访问GUI界面

高级定制功能

根文件系统定制

通过修改resources/scripts/rootfs/Dockerfile，可以完全自定义沙箱环境：

# 添加自定义软件包 RUN apt-get update && apt-get install -y \ python3-pip \ nodejs \ git # 添加自定义脚本 COPY custom_scripts/ /opt/custom_scripts/

内核定制

Arrakis支持使用自定义Linux内核：

  • 默认内核位置：resources/bin/vmlinux.bin
  • 可在配置文件中指定自定义内核路径

服务配置

在config.yaml中可以配置多种服务参数：

  • 内存分配比例
  • 存储空间大小
  • 网络配置
  • 端口转发规则

实际应用场景

AI智能体开发

Arrakis特别适合以下AI应用场景：

  1. 代码生成和测试：安全地运行AI生成的代码
  2. 多步骤工作流：复杂任务的分步执行和回溯
  3. 实验性编程：尝试不同算法和实现方案
  4. 教育环境：为学生提供安全的编程练习环境

企业级应用

  • 安全代码审查：在隔离环境中测试第三方代码
  • CI/CD流水线：安全的自动化测试环境
  • 研发环境隔离：防止开发环境间的相互干扰

性能优化建议

启动时间优化

Arrakis团队正在努力将沙箱启动时间优化到500毫秒以下，这对于需要快速迭代的AI工作流至关重要。

资源管理技巧

  1. 合理分配内存：根据工作负载调整guest_mem_percentage
  2. 快照管理：定期清理不再需要的快照以释放存储空间
  3. 并发控制：根据主机资源限制并发沙箱数量

安全最佳实践

配置安全建议

  1. 网络隔离：确保沙箱网络与生产环境隔离
  2. 访问控制：限制对REST API的访问权限
  3. 定期更新：保持Cloud-Hypervisor和内核的最新版本
  4. 监控日志：定期检查系统日志以检测异常行为

数据保护

  • 敏感数据不应存储在沙箱中
  • 使用加密通信访问沙箱
  • 定期备份重要快照

未来发展方向

Arrakis项目正在积极开发中，未来的改进方向包括：

  1. 更快的启动时间：目标低于500毫秒
  2. 更好的AI智能体集成：优化现有编码智能体的兼容性
  3. 扩展的API功能：提供更多管理和监控接口
  4. 云原生支持：更好的Kubernetes和云平台集成

总结

Arrakis作为一款先进的AI智能体沙箱解决方案，通过MicroVM隔离、快照回溯和自动端口转发三大核心技术，为AI开发者和研究人员提供了安全、灵活、高效的工作环境。无论是进行代码实验、多步骤工作流测试，还是需要安全隔离的执行环境，Arrakis都能提供完美的解决方案。🎯

随着AI技术的快速发展，安全可靠的执行环境变得越来越重要。Arrakis不仅解决了当前的安全挑战，还为未来的AI应用奠定了坚实的基础。立即开始使用Arrakis，为你的AI项目提供坚如磐石的安全保障！🛡️

【免费下载链接】arrakisA fully customizable and self-hosted sandboxing solution for AI agent code execution and computer use. It features out-of-the-box support for backtracking, a simple REST API and Python SDK, automatic port forwarding, and secure MicroVM isolation. Perfect for safely running, testing, and backtracking multi-step agent workflows.项目地址: https://gitcode.com/gh_mirrors/arra/arrakis

创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考

相关新闻

上海江诗丹顿回收价格查询和靠谱平台实测排行（2026年7月最新） - 诚收名表回收平台

上海江诗丹顿回收价格查询和靠谱平台实测排行（2026年7月最新） - 诚收名表回收平台

2026年7月13日，上海江诗丹顿回收价格根据表款、品相、附件及市场行情波动，主力款如纵横四海系列4500V回收价约在18万至25万元区间，传承系列87172回收价约8万至12万元，而限量款或复杂功能款（如三问、陀飞轮）可达5…

2026/7/12 21:30:36
Subnautica Nitrox多人联机模组：5个关键技术突破让深海探险不再孤单

Subnautica Nitrox多人联机模组：5个关键技术突破让深海探险不再孤单

Subnautica Nitrox多人联机模组&#xff1a;5个关键技术突破让深海探险不再孤单 【免费下载链接】Nitrox An open-source, multiplayer modification for the game Subnautica. 项目地址: https://gitcode.com/gh_mirrors/ni/Nitrox 想要在《深海迷航》的神秘海洋世界中…

2026/7/12 21:30:36
珍贵书画古籍不便运送，专业上门回收悉心护藏 - 深鉴新闻

珍贵书画古籍不便运送，专业上门回收悉心护藏 - 深鉴新闻

中堂立轴字画、成套古籍善本搬运十分棘手，纸绢藏品质地脆弱，磕碰受潮就会形成永久损伤，自行往返古玩市场既劳累，藏品安全也难以保障。北京丰宝斋：010-53391996 15210016680 藏家都想选择上门回收，却顾虑对方没有…

2026/7/12 21:30:36

最新新闻

从《三体》到《沙丘》：ScienceFictionCollection中的5部必看硬核科幻小说

从《三体》到《沙丘》：ScienceFictionCollection中的5部必看硬核科幻小说

从《三体》到《沙丘》&#xff1a;ScienceFictionCollection中的5部必看硬核科幻小说 【免费下载链接】ScienceFictionCollection 科幻小说作品集&#xff0c;在线地址&#xff1a;https://github-novel-read.vercel.app 项目地址: https://gitcode.com/gh_mirrors/sc/Scienc…

2026/7/12 22:30:44
Cal Sans可变字体终极指南：如何用开源几何无衬线字体重塑现代数字设计

Cal Sans可变字体终极指南：如何用开源几何无衬线字体重塑现代数字设计

Cal Sans可变字体终极指南&#xff1a;如何用开源几何无衬线字体重塑现代数字设计 【免费下载链接】sans The home for our Cal Sans font. 项目地址: https://gitcode.com/gh_mirrors/fo/sans 你是否在为下一个设计项目寻找完美的标题字体&#xff1f;Cal Sans字体以其…

2026/7/12 22:30:44
Dr.Jit内存管理与缓存策略：高效处理大规模数据的终极指南

Dr.Jit内存管理与缓存策略：高效处理大规模数据的终极指南

Dr.Jit内存管理与缓存策略&#xff1a;高效处理大规模数据的终极指南 【免费下载链接】drjit Dr.Jit — A Just-In-Time-Compiler for Differentiable Rendering 项目地址: https://gitcode.com/gh_mirrors/dr/drjit Dr.Jit作为一个面向可微分渲染的即时编译器&#xff…

2026/7/12 22:30:44
别盯着模型参数卷了：Agent 上线前，这三层基建决定生死

别盯着模型参数卷了：Agent 上线前，这三层基建决定生死

如果你正准备往大模型方向转&#xff0c;《Agent上线前&#xff0c;最值得检查的不是模型参数》这类问题别只看热度。更重要的是判断自己该补哪块能力&#xff0c;以及怎么证明你真的会。摘要先把这篇文章的目标说清楚&#xff1a;看完之后&#xff0c;你应该能判断这件事值不值…

2026/7/12 22:30:44
暗黑破坏神2存档编辑器：5分钟掌握游戏角色与装备的智能管理

暗黑破坏神2存档编辑器：5分钟掌握游戏角色与装备的智能管理

暗黑破坏神2存档编辑器&#xff1a;5分钟掌握游戏角色与装备的智能管理 【免费下载链接】d2s-editor 项目地址: https://gitcode.com/gh_mirrors/d2/d2s-editor 你是否曾经在《暗黑破坏神2》中花费数小时刷装备&#xff0c;却始终得不到心仪的物品&#xff1f;或者因为…

2026/7/12 22:30:44
3分钟上手：Qu1cksc0pe恶意软件分析工具全攻略 [特殊字符]

3分钟上手：Qu1cksc0pe恶意软件分析工具全攻略 [特殊字符]

3分钟上手&#xff1a;Qu1cksc0pe恶意软件分析工具全攻略 &#x1f680; 【免费下载链接】Qu1cksc0pe All-in-One malware analysis tool. 项目地址: https://gitcode.com/gh_mirrors/qu/Qu1cksc0pe 在网络安全领域&#xff0c;恶意软件分析是每个安全研究员的必备技能。…

2026/7/12 22:29:50

日新闻

PlantUML 实战：5分钟将 UML 2.5 序列图转换为可执行代码草图

PlantUML 实战：5分钟将 UML 2.5 序列图转换为可执行代码草图

PlantUML 实战&#xff1a;5分钟将 UML 2.5 序列图转换为可执行代码草图 在软件开发过程中&#xff0c;清晰的系统设计往往比编码本身更为关键。传统拖拽式UML工具虽然直观&#xff0c;却常常成为效率杀手——频繁的鼠标操作打断设计思路&#xff0c;版本控制困难&#xff0c;…

2026/7/12 0:00:17
【RT-DETR涨点改进】29 动态Batch推理：让RT-DETR在低延迟下吃满GPU算力

【RT-DETR涨点改进】29 动态Batch推理：让RT-DETR在低延迟下吃满GPU算力

29 动态Batch推理：让RT-DETR在低延迟下吃满GPU算力 开篇故事 上个月帮一家安防厂商做项目优化，他们用RT-DETR做实时人流统计，部署在NVIDIA A10上。客户反馈说：“GPU利用率才30%，但延迟已经飙到40ms了，加人流量就丢帧。” 我远程一看，好家伙——生产环境里每个请求单独…

2026/7/12 0:00:17
Postman 环境变量实战：3种动态设置方法与CI/CD集成避坑指南

Postman 环境变量实战：3种动态设置方法与CI/CD集成避坑指南

Postman 环境变量高阶实战&#xff1a;动态管理与 CI/CD 深度集成在接口自动化测试领域&#xff0c;环境变量的灵活运用往往成为区分初级与高级测试工程师的关键能力。本文将深入探讨 Postman 环境变量的三种动态设置模式&#xff0c;并分享 Newman 在 CI/CD 流水线中的实战避坑…

2026/7/12 0:00:18

周新闻

PlantUML 实战：5分钟将 UML 2.5 序列图转换为可执行代码草图

PlantUML 实战：5分钟将 UML 2.5 序列图转换为可执行代码草图

PlantUML 实战&#xff1a;5分钟将 UML 2.5 序列图转换为可执行代码草图 在软件开发过程中&#xff0c;清晰的系统设计往往比编码本身更为关键。传统拖拽式UML工具虽然直观&#xff0c;却常常成为效率杀手——频繁的鼠标操作打断设计思路&#xff0c;版本控制困难&#xff0c;…

2026/7/12 0:00:17
【RT-DETR涨点改进】29 动态Batch推理：让RT-DETR在低延迟下吃满GPU算力

【RT-DETR涨点改进】29 动态Batch推理：让RT-DETR在低延迟下吃满GPU算力

29 动态Batch推理：让RT-DETR在低延迟下吃满GPU算力 开篇故事 上个月帮一家安防厂商做项目优化，他们用RT-DETR做实时人流统计，部署在NVIDIA A10上。客户反馈说：“GPU利用率才30%，但延迟已经飙到40ms了，加人流量就丢帧。” 我远程一看，好家伙——生产环境里每个请求单独…

2026/7/12 0:00:17
Postman 环境变量实战：3种动态设置方法与CI/CD集成避坑指南

Postman 环境变量实战：3种动态设置方法与CI/CD集成避坑指南

Postman 环境变量高阶实战&#xff1a;动态管理与 CI/CD 深度集成在接口自动化测试领域&#xff0c;环境变量的灵活运用往往成为区分初级与高级测试工程师的关键能力。本文将深入探讨 Postman 环境变量的三种动态设置模式&#xff0c;并分享 Newman 在 CI/CD 流水线中的实战避坑…

2026/7/12 0:00:18

月新闻

[C++]内存管理：串顺序存储的内存回收

[C++]内存管理：串顺序存储的内存回收

在串&#xff08;字符串&#xff09;的顺序存储中&#xff0c;内存回收的方式取决于字符串的存储方式以及所使用的编程语言和相关库。以下以 C 为例进行说明&#xff0c;因为 C 对内存管理有较为直接的控制。 1. 基于 char 数组的串顺序存储 如果使用普通的 char 数组来存储字…

2026/7/12 14:27:04
移动端游戏功耗测试实战：电流、功率、亮度和场景对比

移动端游戏功耗测试实战：电流、功率、亮度和场景对比

移动端游戏功耗测试：先控制变量，再比较优化是否真的省电 摘要：功耗测试最容易犯的错误，是拿两次不同温度、不同亮度、不同场景的平均功率直接比较。本文给出一套可复现的游戏功耗测试方法，覆盖引擎特性验证、版本回归和黑盒体验测试，并说明如何把功耗与帧率、温控、CPU/G…

2026/7/12 18:30:40
足球口袋教练 HarmonyOS 离线应用实战（03/20）：ArkUI 首页仪表盘搭建

足球口袋教练 HarmonyOS 离线应用实战（03/20）：ArkUI 首页仪表盘搭建

本文是“足球口袋教练 HarmonyOS 离线应用实战”系列第 3 篇。示例项目是一个 HarmonyOS / ArkTS / ArkUI 编写的离线足球训练助手&#xff0c;围绕真实页面、真实截图和可复现操作展开。 本篇要解决的问题 训练 App 的首页不能只展示欢迎语&#xff0c;它要解决“我现在该点哪…

2026/7/11 17:09:14