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

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

聲音 | 北大光華管理學院劉曉蕾：資金的流入加速了區塊鏈技術的迭代:據火訊財經報道，北大光華管理學院劉曉蕾教授表示，創新驅動的泡沫，并不少見。因為人們對一個創新不了解的時候，就會產生超出技術當時承載力的估值，產生泡沫。當然隨著技術的發展，就可以實現了前面過高的估值。但是這需要時間。但是，對于區塊鏈技術的發展，其實是有促進效果的，很多的資金的流入，加速了技術迭代。區塊鏈泡沫去后，才能真正迎來這個行業發展成熟。[2018/7/4]

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

北大光MBA劉曉蕾教授：解決好token應用，就解決好了區塊鏈應用:近日，北大光MBA劉曉蕾教授在接受采訪時表示，區塊鏈是同互聯網一樣可以改變世界的技術，雖然現在還處于早期階段，但它的技術發展和迭代可能較快。總體來說，區塊鏈技術前景光明，但發展歷程會很漫長。雖然當前區塊鏈項目的負面效應多與token的發行與炒作有關，但token不等于ICO，區塊鏈技術中的token機制本身與融資無關，不應將token妖魔化。相反，token機制是區塊鏈項目能夠順利運行、推進的重要原因。在一定程度上講，解決好了token的應用就解決好了區塊鏈的應用。[2018/5/28]

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

北大光華劉曉蕾：比特幣風險極大，不適合普通民眾作為投資選擇:北大光華管理學院金融系主任劉曉蕾表示：“任何一個泡沫，在沒有破碎之前，都會有人賺錢，并不能因為有一些人實現了暴富，就說明這是一種正確的投資手段。事實上我了解到，確實有一些人炒加密貨幣賠了很多錢。只不過網上炒作的一般都是吸引眼球的賺錢的例子。我們應該看到，比特幣及其他加密貨幣，面臨極大的風險，并不適合普通民眾作為投資選擇。”[2018/1/31]

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

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

Tags：區塊鏈TOKENTOKEKEN哪個不是區塊鏈特性imtoken蘋果下載教程LordTokenKENKA價格

以太坊