近日，北京大学信息科学技术学院计算机科学技术系肖臻研究员领导的课题组开发出一套基于硬件辅助虚拟化的多核确定性重演系统，引起业界广泛关注。确定性重演是指在处理器指令执行过程中，通过记录开始时的状态和执行过程中的必要信息，从而使得将处理器恢复到开始位置重新根据记录的信息执行这一系列指令后，能够获得与前一次执行完全相同的结果。虚拟机确定性重演技术在软件调试、信息安全、入侵检测、病行为分析、双机热备份等众多领域有广泛的应用。
北大副教授徐远：央行数字货币或推动货币体系转向“国家信用＋技术信用”:北京大学国家发展研究院副教授、数字金融研究中心高级研究员徐远表示，央行数字货币的出现，有可能推动人类货币体系从国家信用转向“国家信用＋技术信用”。作为有国家信用“加持”的法币，央行数字货币正式落地后，推广进程可能会较为顺利。数字货币的普及应用，将对整个社会的商业行为、金融业态、监管方式产生深远影响，甚至会对技术进步、社会变迁产生重要推动。在徐远看来，比特币并非严格意义上的货币，它更像是数字资产，也有人把它称作数字黄金。货币有两种基本性质——政府信用背书，以及央行可以调控总量以保持币值稳定，这两个性质比特币都没有。总体看，比特币和央行数字货币主要在信用基础、技术原理、总量调节、价值稳定、匿名性质和资产属性方面存在明显差异。（证券时报）[2020/4/23]
针对单核处理器的确定性重演系统已经比较成熟，并且出现了商用系统，然而多核处理器环境的出现给确定性重演带来了极大的挑战。在多核环境下，多线程程序的各个线程对共享内存的交织访问是导致程序执行结果不确定的重要原因之一。业界已有的在多核环境下进行确定性重演的方案往往需要修改处理器架构增加专门用于记录的硬件，从而使得成本大大提高，目前还没有任何一家能够在实际中得到推广。
声音 | 北大光华院长：推进金融体系与区块链等新兴科技深度融合:据中国新闻网援引中新经纬客户端报道，北京大学光华管理学院院长刘侨在《如何化解民营企业融资困局》提到，发展多元金融业态，提供差异化金融服务，推进金融体系与大数据、机器学习、区块链等新兴科技深度融合，探索利用大数据等新兴技术手段完善征信机制，降低银企间建立信任的成本，进而降低民营企业融资成本。[2018/12/13]
肖臻研究员领导的课题组第一次提出基于硬件辅助虚拟化的技术从软件上实现多核虚拟机在线确定性重演。该系统采用了基于指令块的方法，通过内存访问写时复制机制和指令块的提交-回滚机制保证指令块的执行满足原子性和可串行性。该方法利用IntelCPU中已有的硬件辅助虚拟化特性，不需要对硬件做任何修改，就可以把虚拟机多核确定性重演的效率提高一个数量级，把检查点恢复的延迟降低一个数量级，从而使该项技术真正走向实用。
北大经济学院副教授：不该错把数字货币的交易混同于数字货币的发展:刘宇飞认为，不该错把数字货币的交易混同于数字货币的发展，正如不该混淆了作为炒作对象的郁金香和作为花儿的郁金香。他表示，限制现有数字货币的交易，当然不该、也不会是限制数字货币本身的发展，而是恰好相反。 他强调，在未来数字货币作为货币的发展战略中，仍有非官方数字货币的发展空间。循这一思路，在这一空间里，不仅可以有现行比特币类的数字货币，还可以有各类传统社区货币的数字化开发、商业银行自己的数字货币的开发、企业货币的数字化开发等等。“数字货币”作为“货币”的多层次发展的前景，值得期待。[2018/3/30]
肖臻课题组从事虚拟机确定性重演的研究已经有十几年的历史，在国际著名会议和期刊上发表了很多论文，相关成果都以开源软件的方式发布到社区，供大家免费使用。肖臻课题组目前正在致力于利用确定性重演技术实现智能合约的高效、细粒度并发执行。已有的区块链技术只支持单线程，就是因为在多核环境下并行程序的执行存在不确定性，影响区块链中的节点达成共识。肖臻课题组开发的确定性重演技术有希望极大地提高智能合约的执行效率，成为区块链3.0中不可或缺的核心技术。
有关该课题组的更多信息，请参考肖臻研究员的主页：http://zhenxiao.com/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。