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

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

声音 | 北大光华教授刘晓蕾：数字资产是数字经济时代的核心资产:据新浪财经消息，近日，北大光华教授刘晓蕾刊文表示，以区块链为代表的金融科技，有极大的发展潜力。在传统经济模型中，K（厂房、机器设备等固定资产）和L（劳动力）是最重要的两个变量；而在数字经济时代，数字资产将成为核心资产。比如阿里巴巴、腾讯掌握的大数据就是他们的核心资产。但是，数字资产的确权问题是数字经济发展的一大障碍。区块链技术有望解决数字资产确权问题，我认为这是区块链最核心的发展潜力。[2019/2/2]

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

声音 | 北大教授张平：技术进步与法律保护是一对矛盾体:据金投网消息，近日，北大教授张平表示，区块链技术本身代表了非常美好的愿望，它可以成为追求共识信任的系统，但前提是使用区块链技术的一定是相互信赖的人，没有黑客破坏区块链平台，最后用户还要有风险承担的能力，既然要用区块链，就要研究所有国家的法律，避免使其商业模式触碰法律红线。

张平指出，技术进步与法律保护永远都是一个矛盾体。技术不会停下脚步等待法律的跟进，在我国大力倡导区块链技术应用的政策环境下，法律应当做适当调整以适应新技术的发展，在法律不能及时修订的情况下，产业界还是要充分遵守现行法律进行研发和应用，避免落入法律原罪范畴。[2018/12/7]

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

北大光华区块链实验室主任刘晓蕾：解决好token的应用就解决好区块链的应用:近日，北大光华区块链实验室主任刘晓蕾在接受人民创投·区块链采访时表示，虽然当前区块链项目的负面效应多与token的发行、炒作有关，但token不等于ICO，不应将token妖魔化，相反，token机制是区块链项目能够顺利运行、推进的一个重要原因。在一定程度上讲，解决好了token的机制就解决好了区块链的应用。[2018/5/15]

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

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

标签：区块链ENXCOMiao区块链上班都是干什么的GENXComBitxiaovip

火币网下载官方app热门资讯