COM:北大肖臻開發高性能多核確定性重演系統 有望大幅提高智能合約效率_人工智能軟件

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

北大肖筱林：中國央行數字貨幣“腳步聲”漸近:5月13日，北京大學光華管理學院應用經濟學系助理教授肖筱林發文《中國央行數字貨幣“腳步聲”漸近》稱，數字貨幣主要解決現鈔和電子支付在實際應用中存在的兩個問題，一是紙鈔和硬幣容易匿名偽造，存在被用于洗錢、恐怖融資的風險；二是基于現有銀行賬戶緊耦合模式的電子支付，無法滿足公眾匿名支付的需求。

肖筱林表示，DC/EP不僅提供了法定數字貨幣的“金融基礎設施”，進一步推進我國在移動支付市場和金融科技方面的先行優勢，還極可能改變我國貨幣政策操作和傳導的方式，提高貨幣政策的傳導效率。從中長期的角度來說，DC/EP在助推人民幣國際化方面也將起到積極作用，可以從國內逐步推廣到周邊國家。截至目前，央行已經累計申請了97項涉及數字貨幣的專利，從專利數量和涵蓋內容方面均名列世界前茅。同時，肖筱林表示，央行數字貨幣開發最難的便是在零售支付，這也是最有可能帶來真正意義上翻天覆地變革的。如果從微觀零售層面影響到批發金融的層面，進而影響到整個宏觀經濟的層面，將帶來全方位的革命性影響。（北大光華管理學院）[2020/5/13]

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

北大副教授：在人民幣穩定的前提下 數字貨幣可以大幅降低交易和流通成本:北京大學國家發展研究院副教授徐遠表示，在人民幣信用和幣值穩定的前提下，數字貨幣可以大幅降低交易和流通成本。交易雙方通過下載中國央行的APP就可以完成貨幣兌換和日常支付，不再需要商業銀行跨境鋪設網點，節約了很大的成本。這樣通過電子化的手段大幅降低流通成本，對人民幣國際化的推廣還是很有幫助的。（新華網）[2020/4/28]

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

北大黃罡：區塊鏈是解決數據難以開放共享的新型生產關系:3月31日，北京大學人工智能研究院教授黃罡在人民日報刊文《釋放數據價值 暢享智能生活（開卷知新）》。文章指出，在數字經濟和數字社會中，數據是新型生產資料，云計算、物聯網和5G是新型生產工具，人工智能是新型生產力，區塊鏈則是解決互聯網生產關系中數據難以開放共享的新型生產關系。[2020/3/31]

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

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

Tags：數字貨幣區塊鏈人工智能COM被朋友騙去弄數字貨幣怎么辦什么叫做區塊鏈技術的概念人工智能軟件comp幣值得長線持有嗎

DOT