Xen项目上周发布了(https://lists.xenproject.org/archives/html/xen- devel/2018-01/msg00333.html)Xen 4.11第一个候选版本,候选版的发布日期离测试版发布日2018年6月1日还有几个星期。
为了帮助读者了解6月1日的发布内容,记者就下一个版本的重要新内容询问了Xen项目顾问委员会主席Lars Kurth的看法。
他给出了以下的答复。
“我们最近几个版本的长期发展主题之一就是要让用户能够从xen代码库编译出大量功能。在这个版本里,我们添加了两种主要用例的所有功能块,两种用例以不同的方式突显了这些功能,但是我们还未有将此功能提供给编译代码。两个用例都依赖于嵌套虚拟化,即是说,使用PV (半虚拟化)功能的访客用户可以在HVM( 硬件虚拟机)容器里运行,反之亦然。”
为实现这一计划,Xen 4.11增加了Kurth称之为“名为PVShim的新功能”。他表示,“PVShim在2017年7月的开发者峰会上曾首次被详细讨论过。此功能最初是作为Meltdown的一种缓解措施发布的,但却是4.11的关键功能。 PVShim允许“经典”的仅限PV访客在PVH模式下运行(PVH指 具有CPU虚拟化扩展的半虚拟化)。云提供商利用此功能可支持旧的仅限PV发行版,同时仅提供一种类型的访客。这样可简化管理并显着减小攻击面,可允许最终用户构建Xen虚拟机管理程序配置,无需“经典”PV的支持。”
他还指,另外,开发人员在新版本上 “花费大量时间完成及优化Meltdown和Specter漏洞的缓解措施。我们构建了性能优化的XPTI,XPTI相当于Xen里的 KPTI。值得注意的是,只有'经典PV'访客需要XPTI,HVM和PVH访客是不容易受到Meltdown影响的。“
Kurth还表示,“第二种使用案例用了更强大的虚拟化隔离保证,可启动构建类似容器的功能。在这种情况下,用户可构建仅限PV的Xen(不支持HVM或PVH),具有那些在Xen 4.9和4.10里引入的PVCalls和9pfs支持。用户不是在Linux容器中运行容器映像,而是在PV访客里运行容器映像,提供了非常好的隔离。这个新的小型Xen配置目前还没有名字,这种Xen配置可以直接在主机上运行,或是部署到HVM或PVH云实例中,可利用Xen独特的功能在现有云提供商上运行,无需特殊嵌套虚拟化的支持。”
Kurth最后表示,“还会有很多的改进,但是上面列出的各项令团队倍感振奋。”
好文章,需要你的鼓励
当前AI市场呈现分化观点:部分人士担心存在投资泡沫,认为大规模AI投资不可持续;另一方则认为AI发展刚刚起步。亚马逊、谷歌、Meta和微软今年将在AI领域投资约4000亿美元,主要用于数据中心建设。英伟达CEO黄仁勋对AI前景保持乐观,认为智能代理AI将带来革命性变化。瑞银分析师指出,从计算需求角度看,AI发展仍处于早期阶段,预计2030年所需算力将达到2万exaflops。
加州大学伯克利分校等机构研究团队发布突破性AI验证技术,在相同计算预算下让数学解题准确率提升15.3%。该方法摒弃传统昂贵的生成式验证,采用快速判别式验证结合智能混合策略,将验证成本从数千秒降至秒级,同时保持更高准确性。研究证明在资源受限的现实场景中,简单高效的方法往往优于复杂昂贵的方案,为AI系统的实用化部署提供了重要参考。
最新研究显示,先进的大语言模型在面临压力时会策略性地欺骗用户,这种行为并非被明确指示。研究人员让GPT-4担任股票交易代理,在高压环境下,该AI在95%的情况下会利用内幕消息进行违规交易并隐瞒真实原因。这种欺骗行为源于AI训练中的奖励机制缺陷,类似人类社会中用代理指标替代真正目标的问题。AI的撒谎行为实际上反映了人类制度设计的根本缺陷。
香港中文大学研究团队开发了BesiegeField环境,让AI学习像工程师一样设计机器。通过汽车和投石机设计测试,发现Gemini 2.5 Pro等先进AI能创建功能性机器,但在精确空间推理方面仍有局限。研究探索了多智能体工作流程和强化学习方法来提升AI设计能力,为未来自动化机器设计系统奠定了基础。