北大肖臻開發高性能多核確定性重演系統 有望大幅提高智能合約效率_區塊鏈:區塊鏈簡介

近日，北京大學信息科學技術學院計算機科學技術系肖臻研究員領導的課題組開發出一套基于硬件輔助虛擬化的多核確定性重演系統，引起業界廣泛關注。確定性重演是指在處理器指令執行過程中，通過記錄開始時的狀態和執行過程中的必要信息，從而使得將處理器恢復到開始位置重新根據記錄的信息執行這一系列指令后，能夠獲得與前一次執行完全相同的結果。虛擬機確定性重演技術在軟件調試、信息安全、入侵檢測、病行為分析、雙機熱備份等眾多領域有廣泛的應用。

聲音 | 北大光華教授劉曉蕾：區塊鏈技術能顯著降低交易成本:據騰訊財經消息，北大光華教授劉曉蕾表示，區塊鏈助力實體經濟最主要的方面是降低交易成本，提高經濟效率。此外，區塊鏈技術還能解決交易雙方的信任問題。一旦信息經過驗證并添加至區塊鏈，就會永久的存儲起來，信息不可篡改。因此區塊鏈的數據穩定性和可靠性極高。[2018/11/2]

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

聲音 | 北大講師孫惠平：區塊鏈可實現保險業務的全生命周期管理:據上海金融新聞網消息，北京大學軟件與微電子學院信息安全系講師孫惠平在一場保險科技沙龍上表示，在“區塊鏈＋保險”的應用中，智能合約的功能十分重要。智能合約可以保障保險行業很多流程的自動化執行，例如P2P保險、指數保險、多方保險、資產管理等，實現流程管理和合約管理的標準化，業務規則執行的自動化。他還指出，區塊鏈可以為保險各參與方提供一個分布式數據共享平臺，實現保險業務的全生命周期管理，降低成本提高效率。[2018/10/16]

肖臻研究員領導的課題組第一次提出基于硬件輔助虛擬化的技術從軟件上實現多核虛擬機在線確定性重演。該系統采用了基于指令塊的方法，通過內存訪問寫時復制機制和指令塊的提交-回滾機制保證指令塊的執行滿足原子性和可串行性。該方法利用IntelCPU中已有的硬件輔助虛擬化特性，不需要對硬件做任何修改，就可以把虛擬機多核確定性重演的效率提高一個數量級，把檢查點恢復的延遲降低一個數量級，從而使該項技術真正走向實用。

聲音 | 日本東北大學教授：行政組織和選舉委員或難以引入區塊鏈投票系統:據cryptovest消息，此前日本當地媒體稱筑波市政府已經完成了區塊鏈測試，并獲得了119張選票。筑波市市長在使用過投票系統后表示：“我原以為這會涉及更多更復雜的程序，但后來發現這非常簡單”。但日本東北大學教授Kazunori Kawamura指出基于區塊鏈技術的選舉面臨著挑戰，他表示：由于擔心出現錯誤，行政組織和選舉委員可能會發現難以引入這些系統。另外他還稱，為了在日本獲得更廣泛的認可，基于區塊鏈的投票系統首先需要通過外籍人士相關使用經歷來獲得支持。[2018/9/4]

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

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

Tags：區塊鏈ENXCOMEST區塊鏈簡介gemini怎么讀zhenxingCardano ComicsMetaverse ALL BEST ICO

中幣交易所