为虚拟机提供绝佳隔离效果,同时亦延伸至更为广泛的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项目贡献大量代码,那么这一次同样不例外——国安局方面继续被列入贡献者名单之内。
好文章,需要你的鼓励
Birk Jernstrom在Shopify收购其上一家初创公司后,创立了货币化平台Polar,专注帮助开发者构建单人独角兽企业。该平台为开发者提供支付基础设施服务,处理全球计费和税务问题,让企业从第一天起就能销售在线产品和SaaS订阅服务。Polar获得了Accel领投的1000万美元种子轮融资,自2024年9月推出以来已吸引1.8万名客户。
Anthropic和Open Philanthropy研究人员发现,之前声称AI推理模型存在"准确率崩溃"的研究实际上混淆了推理能力和物理限制。通过重新分析发现,AI模型在遇到输出长度限制时会主动停止,而非推理失败;部分测试题目本身无解却被当作失败案例;改用程序生成方式后,模型在复杂问题上表现出色,揭示了AI评估方法的重要缺陷。
OpenAI首席执行官奥特曼证实,Meta为挖角OpenAI和谷歌DeepMind的顶尖AI研究人员,开出了超过1亿美元的薪酬包。然而,这些挖角努力基本失败。奥特曼表示,员工们认为OpenAI在实现AGI方面机会更大,公司文化更注重创新使命而非高薪。Meta正在组建超级智能团队,但面临OpenAI、Anthropic等竞争对手的激烈竞争。
华为联合多所高校发布TeleMath数据集,这是首个专门评估大型语言模型在通信数学问题求解能力的基准测试。研究团队设计创新的合成数据生成框架,从50个专家问题扩展至500个测试样本,涵盖信号处理、网络优化等七大领域。评估结果显示,专门的推理模型明显优于通用模型,为通信AI应用指明方向。