宇宙链 宇宙链
Ctrl+D收藏宇宙链

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

作者:

时间:1900/1/1 0:00:00

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

北大副教授:2020年将因数字货币等刻入历史坐标:近日央行数字货币再成热点。北京大学国家发展研究院金融学副教授徐远认为,2020年将因为两件事情而刻入历史坐标,一是新冠肺炎疫情,一是数字货币,而且后者的影响要比前者深远得多。(第一财经)[2020/4/20]

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

声音 | 北大教授刘晓蕾:区块链能够重塑生产关系:据人民网消息,今日北京大学光华管理学院金融学系主任刘晓蕾在人民网区块链技术秋季论坛上表示,如今经济处于转型升级期,在新旧动能转换过程中,需要重新认识生产要素和生产关系,区块链在数据生产过程中,能够重塑生产关系。[2018/10/23]

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

Power Ledger在美国西北大学进行商业部署:据Power Ledger官方消息,作为与Energy Blockchain Network合作项目的一部分,Power Ledger在美国西北大学埃文斯顿校区进行了相关的商业部署。Power Ledger平台将使西北大学能够通过使用预先存在的仪表,在校园内和校园之间交易清洁能源,无需硬件、软件或订阅费用。西北大学的工程管理硕士课程的学生持续提供每月测量和验证,评估清洁能源区块链应用。[2018/5/1]

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

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

标签:区块链POWERDGEPOW区块链技术通俗讲解简书Power Tokenledger钱包无法同步etainpower

币安app下载热门资讯
CEO交易所关于2019年7月19日CEO持仓、COO锁仓分红发放公告

尊敬的用户: 香港CEO交易所旗下品牌CEO持仓及COO锁仓今日分红于2019年7月19日14:00前发放。注:交易销毁数量是指CEO币交易手续费实时销毁的数据,从2018年6月11日起,每天都会在分红公告进行公布.

1900/1/1 0:00:00
如何构建加密社区?

前言:区块链时代的加密社区很重要,这一点大家都有共识,不管是项目方还是投资者。不过,如何构建加密社区呢?本文作者SpencerNoon给出了很好的建议。本文由蓝狐笔记的“HQ”翻译。我们正经历区块链项目爆发的寒武纪时期.

1900/1/1 0:00:00
ZB.com关于开启第五期投票上币的公告

尊敬的ZB用户: ZB.com将于香港时间2019年7月17日14:00正式开启第五期投票上币,投票成功的项目将获得ZB平台上币资格,投票所得ZB将于全部锁定至ZB用户保障基金.

1900/1/1 0:00:00
7.17早间行情:听证会关于libra担忧加剧 市场应声回落

由于听证会上对libra担忧情绪没有缓解,libra被否的概率正在快速增加,市场很快变做出了回应,以BTC为首的主流币种普遍出现下跌,并且BTC已经击穿了7月2号形成的9725美元的低点,最低点打到了9355美元.

1900/1/1 0:00:00
马库斯:Libra为支付工具且不挑战美元地位(附英文全文和听证会直播地址)

摘要:Facebook的万全之策。今天晚间10点,美国参议院银行委员会将召开听证会“ExaminingFacebook’sProposedDigitalCurrencyandDataPrivacyConsiderations(审查Fa.

1900/1/1 0:00:00
7.18午间行情:ETH接下来会进行区间震荡筑底

文章系金色财经专栏作者供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别,谨防上当.

1900/1/1 0:00:00