<form id="seteghtyiyp"></form>

<address id="seteghtyiyp"><listing id="seteghtyiyp"><meter id="seteghtyiyp"></meter></listing></address>

        <em id="seteghtyiyp"></em>

        <form id="seteghtyiyp"></form>

          
          

              北京大學 院內門戶 English

              飞天娱乐在线

              計算機科學技術系肖臻研究員課題組開發出高性能多核確定性重演系統

              發布時間:2019-07-15

              信息來源:

              浏覽量:

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

              針對單核處理器的確定性重演系統已經比較成熟,並且出現了商用系統,然而多核處理器環境的出現給確定性重演帶來了極大的挑戰。在多核環境下,多線程程序的各個線程對共享內存的交織訪問是導致程序執行結果不確定的重要原因之一。業界已有的在多核環境下進行確定性重演的方案往往需要修改處理器架構增加專門用于記錄的硬件,從而使得成本大大提高,目前還沒有任何一家能夠在實際中得到推廣。

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

              肖臻課題組從事虛擬機確定性重演的研究已經有十幾年的曆史,在國際著名會議和期刊上發表了很多論文,相關成果都以開源軟件的方式發布到社區,供大家免費使用。肖臻課題組目前正在致力于利用確定性重演技術實現智能合約的高效、細粒度並發執行。已有的區塊鏈技術(比如以太坊中的智能合約)只支持單線程,就是因爲在多核環境下並行程序的執行存在不確定性,影響區塊鏈中的節點達成共識。肖臻課題組開發的確定性重演技術有希望極大地提高智能合約的執行效率,成爲區塊鏈3.0中不可或缺的核心技術。

              有關該課題組的更多信息,請參考肖臻研究員的主頁:http://zhenxiao.com/

              热门关键词飞天娱乐首页 | 飞天娱乐登录 | 飞天至尊 | 飞天娱乐在哪下载 | 飞天娱乐平台真的吗 | 飞天娱乐怎么提现 | 飞天娱乐十三张 | 飞天娱乐app | 飞天娱乐官网 | 飞天娱乐在线 | 飞天娱乐网址 | 飞天娱乐平台 | 飞天娱乐靠谱么 | 飞天国际元宝 | 飞天娱乐注册 |