近日，北京大学信息科学技术学院计算机科学技术系肖臻研究员领导的课题组开发出一套基于硬件辅助虚拟化的多核确定性重演系统，引起业界广泛关注。确定性重演是指在处理器指令执行过程中，通过记录开始时的状态和执行过程中的必要信息，从而使得将处理器恢复到开始位置重新根据记录的信息执行这一系列指令后，能够获得与前一次执行完全相同的结果。虚拟机确定性重演技术在软件调试、信息安全、入侵检测、病行为分析、双机热备份等众多领域有广泛的应用。
彭博社：欧盟委员会今日将制定推出数字欧元的计划:6月28日消息，欧盟委员会今日将制定推出数字欧元的计划，并为欧元区建立主权数字货币。彭博社表示，根据相关规则草案，要求欧洲央行对其使用设定限制，但没有提出交易或持有的具体门槛。[2023/6/28 22:05:28]
针对单核处理器的确定性重演系统已经比较成熟，并且出现了商用系统，然而多核处理器环境的出现给确定性重演带来了极大的挑战。在多核环境下，多线程程序的各个线程对共享内存的交织访问是导致程序执行结果不确定的重要原因之一。业界已有的在多核环境下进行确定性重演的方案往往需要修改处理器架构增加专门用于记录的硬件，从而使得成本大大提高，目前还没有任何一家能够在实际中得到推广。
印度上议院议员：印度需要阻止人们投资加密货币和数字资产:金色财经报道，印度上议院议员、执政的印度人民党 (BJP) 成员Sushil Kumar Modi在接受采访时表示，印度应该考虑对加密货币和数字资产的收益征税高达 50%。Modi承认，政府尚未决定是否应该彻底禁止加密货币，甚至如何对其进行监管。?
Modi称，印度政府正在制定法律，在未来几天，他们将决定这种加密货币的命运：如何对待这种加密货币、它是一种资产吗？是商品吗？是股票吗？是商品还是服务？?所有这些事情都必须在不久的将来做出决定。从 4 月 1 日开始，印度要求对出售虚拟数字资产和加密资产的所有利润征收 30% 的税，并将从 7 月 1 日开始对每笔加密交易从源头上扣除 1% 的税。（forkast）[2022/4/5 14:05:03]
肖臻研究员领导的课题组第一次提出基于硬件辅助虚拟化的技术从软件上实现多核虚拟机在线确定性重演。该系统采用了基于指令块的方法，通过内存访问写时复制机制和指令块的提交-回滚机制保证指令块的执行满足原子性和可串行性。该方法利用IntelCPU中已有的硬件辅助虚拟化特性，不需要对硬件做任何修改，就可以把虚拟机多核确定性重演的效率提高一个数量级，把检查点恢复的延迟降低一个数量级，从而使该项技术真正走向实用。
现场 | 蒋威：数字货币金融服务商面临合规监管及融资困难等问题:2019年12月27日，由金色财经主办的“与时共创”颁奖盛典在京举行。在活动现场， ASPRO DIGITAL CBO蒋威针对数字货币金融服务商发展现状指出：数字货币金融服务商发展现状：
资金有限、投资不可预期；进场意愿不高、空气项目居多；合规监管问题、融资困难；
数字货币金融服务商的转折点：细分职能、全球合规、数字券商、赋能实体、跨界创新。[2019/12/27]
肖臻课题组从事虚拟机确定性重演的研究已经有十几年的历史，在国际著名会议和期刊上发表了很多论文，相关成果都以开源软件的方式发布到社区，供大家免费使用。肖臻课题组目前正在致力于利用确定性重演技术实现智能合约的高效、细粒度并发执行。已有的区块链技术只支持单线程，就是因为在多核环境下并行程序的执行存在不确定性，影响区块链中的节点达成共识。肖臻课题组开发的确定性重演技术有希望极大地提高智能合约的执行效率，成为区块链3.0中不可或缺的核心技术。
有关该课题组的更多信息，请参考肖臻研究员的主页：http://zhenxiao.com/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。