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

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

聲音 | 美國西北大學教授：Facebook加密項目略顯平淡 或將成為巨頭入局加密的信號:針對Facebook發布白皮書一事，美國西北大學計算機系教授Aleks Kuzmanovic表示，Facebook加入加密世界是件大事，原因有很多。首先，因為這可能會向其他巨頭發出一個強烈的信號，促使其他巨頭采取類似的行動。其次，因為“采用區塊鏈的主流公司”可能比與“試圖擾亂大企業”的區塊鏈采用方式要快得多。換句話說，并不是所有的主流公司都有能力利用自己的加密技術，因此他們更有可能嘗試利用一些現有的區塊鏈生態系統。而從技術方面，Aleks 教授預計區塊鏈純粹主義者和非純粹主義者將從是否足夠分布式治理中找到許多與提議技術有關的問題：Facebook采用的技術真的是創新嗎？1000 TPS是否足夠保證可伸縮性？但是，天秤座項目的關鍵點是，Facebook能夠將其交到用戶手中，而他們擁有數億用戶。[2019/6/19]

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

北大荒利用“區塊鏈+農業”等技術，全力打造“數字農服”:東北網6月4日訊，黑龍江北大荒利用區塊鏈+農業、智慧供應鏈管理、物聯網系統、農業生產信息管理系統等技術手段，在種、管、收、儲、運、加、銷全產業鏈形成閉環，為囊括農戶、供應商、采購商在內的用戶提供全程保姆式服務，建立農戶信用評價體系和農產品信譽評價體系，全力打造“數字農服”。[2018/6/4]

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

北大教授丁延慶：區塊鏈+人工智讓教育更多元:據人民網消息，北京大學教育學院教育經濟與管理系副教授丁延慶表示，區塊鏈的思路配合人工智能，有機會讓知識的長尾盡可能延伸，讓教育更加豐富和多元 。[2018/6/1]

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

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

Tags：區塊鏈BOOKBOOFACE區塊鏈幣是什么幣BOOK價格BOOMfacedao幣最新消

抹茶交易所