近日，北京大学信息科学技术学院计算机科学技术系肖臻研究员领导的课题组开发出一套基于硬件辅助虚拟化的多核确定性重演系统，引起业界广泛关注。确定性重演是指在处理器指令执行过程中，通过记录开始时的状态和执行过程中的必要信息，从而使得将处理器恢复到开始位置重新根据记录的信息执行这一系列指令后，能够获得与前一次执行完全相同的结果。虚拟机确定性重演技术在软件调试、信息安全、入侵检测、病行为分析、双机热备份等众多领域有广泛的应用。
现场 | 北大国家发展研究院教授黄益平：区块链技术可以更好地解决金融信用问题:在今天下午“链接世界面向全球的金融科技暨coindesk中文版发布论坛”上，北京大学国家发展研究院教授、副院长黄益平发表《科技的力量——中国金融业发展新动力》主题演讲，他表示，数字金融已经进入了3.0时代，区块链技术可以更好地解决信用问题，同时区块链技术很重要的功能是解决数字资产的发布和交易问题。随着Libra白皮书的发布，我感受到国内在业界、学界甚至是决策部门的看法发生了一系列的改变，我相信未来会出现新的动向。最近讨论比较火热是央行数字货币以及深圳获准研究数字货币，从这角度看，可能未来会有新的进展。我对金融科技或者是数字金融的看法，我觉得技术终归到底是帮助我们解决问题，最终这个工具是否有效，判断结果其实比较简单，第一能不能改善我们的金融的效率，第二能不能把风险控制住。[2019/8/30]
针对单核处理器的确定性重演系统已经比较成熟，并且出现了商用系统，然而多核处理器环境的出现给确定性重演带来了极大的挑战。在多核环境下，多线程程序的各个线程对共享内存的交织访问是导致程序执行结果不确定的重要原因之一。业界已有的在多核环境下进行确定性重演的方案往往需要修改处理器架构增加专门用于记录的硬件，从而使得成本大大提高，目前还没有任何一家能够在实际中得到推广。
声音 | 北大刘晓蕾：利用区块链等技术收集各项数据:据每经网报道，2月27日，北京大学光华管理学院、北京大学经济政策研究所联合举办“北大光华两会前经济形势和政策展望分析会”。北京大学光华管理学院金融系主任、教授刘晓蕾接受每日经济新闻记者采访表示，关于监管科技，目前金融监管部门已经和BAT等一些公司合作，利用大数据、区块链等技术收集各项数据。[2019/2/28]
肖臻研究员领导的课题组第一次提出基于硬件辅助虚拟化的技术从软件上实现多核虚拟机在线确定性重演。该系统采用了基于指令块的方法，通过内存访问写时复制机制和指令块的提交-回滚机制保证指令块的执行满足原子性和可串行性。该方法利用IntelCPU中已有的硬件辅助虚拟化特性，不需要对硬件做任何修改，就可以把虚拟机多核确定性重演的效率提高一个数量级，把检查点恢复的延迟降低一个数量级，从而使该项技术真正走向实用。
区块链驱动的汽车大数据平台Engine获北大金融科技创新实验室支持:金色财经获悉，全球汽车大数据共享平台Engine获北京大学金融科技创新实验室学术科研支持，数据量覆盖近千万辆汽车。Engine基于区块链建立的汽车大数据及零配件、智能硬件共享平台，为每辆车建立终身不可篡改的数字档案。项目由韩国、美国、中国、加拿大等多国汽车大数据、零配件及智能硬件领域龙头企业联合发起。[2018/1/30]
肖臻课题组从事虚拟机确定性重演的研究已经有十几年的历史，在国际著名会议和期刊上发表了很多论文，相关成果都以开源软件的方式发布到社区，供大家免费使用。肖臻课题组目前正在致力于利用确定性重演技术实现智能合约的高效、细粒度并发执行。已有的区块链技术只支持单线程，就是因为在多核环境下并行程序的执行存在不确定性，影响区块链中的节点达成共识。肖臻课题组开发的确定性重演技术有希望极大地提高智能合约的执行效率，成为区块链3.0中不可或缺的核心技术。
有关该课题组的更多信息，请参考肖臻研究员的主页：http://zhenxiao.com/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。