为虚拟机提供绝佳隔离效果,同时亦延伸至更为广泛的ARM服务器领域。
Xen项目已经发布其虚拟机管理程序的4.10版本。
项目维护负责人Julien Grail写道,“正如Xen 4.9一样,我们在Xen 4.10中同样坚持以安全为中心的原则,投入大量精力提升代码质量并强化安全性水平。”
“这不可避免地会放慢我们对新功能的接受度,自然也推迟了版本发布的速度; 但我们相信,我们已经在成熟的安全实践与创新之间找到了有意义的平衡点。”
那么新版本带来哪些新惊喜?首先是在选定CPU上运行虚拟机的能力,以及提供一种更好的方式“在处理器上表达vCPU的位置偏好,从而在适当配置条件下提升缓存与内存性能。”
虚拟机内省机制得到增强,特别是“在ARM上为虚拟机添加了软件页表walker,其为ARM CPU的引入打下了良好的基础。”
新的UI则允许用户轻松实现“对特定引导参数的修改,而无需重新引导Xen。”
根据该项目最新版本发布内容的说明,“目前可通过配置文件中的类型选项选择访客类型,其中用户可以选择PV、PVH或者HVM访客。”
对系统芯片的支持能力也已经得到增强,目前其可支持64位ARMv8-A架构高通Centriq 2400与Cavium ThunderX芯片。由于二者皆属于服务器架构,因此Xen显然已经决定为市场上可能陆续出现的ARM支持型服务器作好准备。
不过此次发布的新版本也同时增加了在微型服务器上运行二级缓存分配技术(简称CAT)的支持能力,而这项技术为英特尔CPU所独有。因此,Xen项目明显不会在ARM上押下全部赌注。
感兴趣的朋友可以点击此处查看完整的版本说明,亦可点击此处参阅如何访问并构建这套最新发行版。
如果大家此前已经注意到美国国家安全局曾经为Xen项目贡献大量代码,那么这一次同样不例外——国安局方面继续被列入贡献者名单之内。
好文章,需要你的鼓励
这期是技术加情怀了。极少数人基于热情和对卓越的执念,构建了数十亿人每天依赖但普通人从不知晓的基础设施。
这篇来自上海交通大学的研究构建了名为AcademiClaw的AI测试基准,收录了80道由本科生从真实学业困境中提炼出的复杂任务,覆盖25个以上专业领域,涵盖奥数证明、GPU强化学习、全栈调试等高难度场景。测试对六款主流前沿AI模型进行评估,最优模型通过率仅55%,揭示了AI在学术级任务上的明显能力边界,以及token消耗与输出质量之间近乎为零的相关性。
Antigravity A1无人机推出"大春季更新",新增AI智能剪辑、语音助手、延时摄影模式及升级版全向避障系统。用户可通过语音命令控制Sky Genie、深度追踪等核心功能,虚拟驾驶舱支持第三人称视角飞行。随着产品进入墨西哥市场,Antigravity全球覆盖已近60个国家,持续推动无人机向更智能、更易用方向发展。
Meta AI安全团队于2026年5月发布了代码世界模型(CWM)的预发布安全评估报告(arXiv:2605.00932v1)。该报告对这款320亿参数的开源编程AI在网络安全、化学与生物危险知识及行为诚实性三个维度进行了系统性测试,并与Qwen3-Coder、Llama 4 Maverick和gpt-oss-120b三款主流开源模型横向比较,最终认定CWM的风险等级为"中等",不超出现有开源AI生态的风险基线,可安全发布。