COM:北大肖臻开发高性能多核确定性重演系统 有望大幅提高智能合约效率

近日，北京大学信息科学技术学院计算机科学技术系肖臻研究员领导的课题组开发出一套基于硬件辅助虚拟化的多核确定性重演系统，引起业界广泛关注。确定性重演是指在处理器指令执行过程中，通过记录开始时的状态和执行过程中的必要信息，从而使得将处理器恢复到开始位置重新根据记录的信息执行这一系列指令后，能够获得与前一次执行完全相同的结果。虚拟机确定性重演技术在软件调试、信息安全、入侵检测、病行为分析、双机热备份等众多领域有广泛的应用。

北大陈钟：区块链技术发展与标准制定应同步进行:2020成都全球创新创业交易会—首届国际区块链产业博览会分论坛之一，区块链标准峰会在成都举行。会议期间，北京大学信息科学技术学院教授区块链研究中心主任陈钟在接受记者采访时表示，近年来，国内外都注意到区块链的标准化问题。一方面，区块链标准化工作从过去单一的信息安全标准化会议，进一步扩展到标准化及其组织形式的整体提升；另一方面，行业性标准化组织和团体性标准化联盟出现，都指出了区块链技术需要一些标准进行保障。但在陈钟看来，相关的标准化工作刚刚起步，还有很多需要完善的方面。陈钟呼吁，高校专家应当更多参与国家相关标准化工作，把研究成果带入标准化体系，使之更加完善。未来，技术发展应当与标准制定同步进行。（封面新闻）[2020/10/31 11:18:56]

针对单核处理器的确定性重演系统已经比较成熟，并且出现了商用系统，然而多核处理器环境的出现给确定性重演带来了极大的挑战。在多核环境下，多线程程序的各个线程对共享内存的交织访问是导致程序执行结果不确定的重要原因之一。业界已有的在多核环境下进行确定性重演的方案往往需要修改处理器架构增加专门用于记录的硬件，从而使得成本大大提高，目前还没有任何一家能够在实际中得到推广。

北大王志诚：打牢基础建立共识，稳妥推进数字货币:10月19日，北京大学光华管理学院金融学系副教授王志诚在光明日报刊文《光明时评：打牢基础建立共识 稳妥推进数字货币》。文章表示，从目前技术和经济环境条件来看，数字货币还处于发展早期，没到实现更迭的时候。尽管已经公开启动项目、进行测试，甚至准备落地的主权数字货币已有36个，但众多主要国家都还在研究和探讨测试中，只有几个小国开始尝鲜。对一个还没有完全明确的领域保持关注、积极跟进是值得鼓励的，但要认识到，货币基础本质还是信用和共识，技术只是手段。没有坚实基础来建立共识，仅靠技术优势是形成不了货币的，这都是需要我们进一步考量探讨。[2020/10/20]

肖臻研究员领导的课题组第一次提出基于硬件辅助虚拟化的技术从软件上实现多核虚拟机在线确定性重演。该系统采用了基于指令块的方法，通过内存访问写时复制机制和指令块的提交-回滚机制保证指令块的执行满足原子性和可串行性。该方法利用IntelCPU中已有的硬件辅助虚拟化特性，不需要对硬件做任何修改，就可以把虚拟机多核确定性重演的效率提高一个数量级，把检查点恢复的延迟降低一个数量级，从而使该项技术真正走向实用。

动态 | 东北大学学生区块链作品获全国大学生信息安全竞赛一等奖:第十一届全国大学生信息安全竞赛决赛在武汉大学举行。经过国赛初评，决赛现场答辩，来自东北大学的4名同学的作品《基于区块链的软件著作权管控系统》获得一等奖。据悉，全国大学生信息安全竞赛是由中央网信办网络安全协调局指导，教育部高等学校信息安全专业教学指导委员会主办的信息安全专业学生创新竞赛。[2018/7/31]

肖臻课题组从事虚拟机确定性重演的研究已经有十几年的历史，在国际著名会议和期刊上发表了很多论文，相关成果都以开源软件的方式发布到社区，供大家免费使用。肖臻课题组目前正在致力于利用确定性重演技术实现智能合约的高效、细粒度并发执行。已有的区块链技术只支持单线程，就是因为在多核环境下并行程序的执行存在不确定性，影响区块链中的节点达成共识。肖臻课题组开发的确定性重演技术有希望极大地提高智能合约的执行效率，成为区块链3.0中不可或缺的核心技术。

有关该课题组的更多信息，请参考肖臻研究员的主页：http://zhenxiao.com/

标签：区块链ENXCOMiao区块链的四大核心技术CENX币COMFIXIAO币

币安下载热门资讯