買比特幣 買比特幣
Ctrl+D 買比特幣
ads

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

Author:

Time:1900/1/1 0:00:00

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

北大中文系教授戴錦華:元宇宙意味著一個新的資本池的打開:2月9日至2月11日,“認識元宇宙:文化、社會與人類的未來”學術論壇在線上線下同步舉辦。論壇上,北京大學中文系教授戴錦華在演講開始時便表示,自身是作為外行人在“努力、誠懇、淺薄”地介入元宇宙的議題。“元宇宙意味著一個新的資本池的打開、新的產業鏈的開啟。但我在介入這個議題的同時,也心有迷惘。如果說,資本產業決定今日世界的各種引擎的權力群體的利益驅動和選擇的話,那元宇宙又是如何成為覆蓋人文社會幾乎所有學科的熱絡話題?

戴錦華以《黑客帝國》等為例,敘事開啟的前提是現代文明已經釀造了一場大災難,這場大災難幾乎摧毀了人類文明。故事中,元宇宙得以成立的年代,是大毀滅以后,是一個后災難敘事。戴錦華表示,20世紀的科幻文化,對她而言,重要的是扮演了文明預警的角色。其不斷提示著現代主義邏輯的危險和其自身的不自洽、不斷釀造的自我毀滅元素。(新浪財經)[2022/2/11 9:44:17]

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

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

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

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

聲音 | 北大教授劉曉蕾:數字貨幣試點推出宜早不宜遲:據中國證券報消息,北大光華管理學院金融系教授劉曉蕾表示,目前整個數字資產發展尚不成熟。數字貨幣的推出、試運行及完善都需要時間。我國數字貨幣的設計計劃采取雙層運營體系,商業銀行和央行的協作尤為重要。這些都需要試點和相當長一段時間的磨合及試運行,才能不斷完善。數字資產定價權之爭雖然還未來到,但應未雨綢繆,盡快推出人民幣數字貨幣試點。[2019/8/20]

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

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

Tags:數字貨幣元宇宙區塊鏈數字資產加密貨幣和數字貨幣的區別和聯系元宇宙怎么賺錢區塊鏈害了多少人數字資產類應用案例包括

比特幣價格實時行情
RC20:獨家首發 | 孫宇晨:波場公鏈將會讓整個穩定幣生態更上一層樓_usdt幣好賣嗎

近日,波場發布了基于TRC20的USDT激勵計劃2.0版,等于掏出了兩億人民幣來激勵早期用戶,關于此次基于波場發行的穩定幣有哪些值得關注的問題?將為波場生態帶來哪些改變?金色財經在第一時間采訪了.

1900/1/1 0:00:00
ART:美眾議院共和黨領袖:區塊鏈可替代對科技巨頭強行監管_CCAKE幣

美國眾議院共和黨領袖KevinMcCarthy稱,由于監管機構無法靈活適應快速變化的科技界,尋求維護網絡隱私的人應考慮區塊鏈技術.

1900/1/1 0:00:00
CEB:撒謊的特朗普:他反對的根本不是加密貨幣與Libra_ACE

7月12日,美國總統特朗普在其推特上表示:我不是比特幣和其他加密貨幣的熱衷者,它們不是貨幣,它們的價值波動很大,而且是憑空而來的.

1900/1/1 0:00:00
COM:BiKi.com關于上線HYN的公告(07-18)_BIKI

尊敬的用戶: BiKi.com即將開放HYN的充值、提現,并開放HYN/BTC,HYN/ETH,HYN/USDT交易對.

1900/1/1 0:00:00
ROT:區塊鏈小編奇遇記:萬萬沒想到我被警察找上門了_SIR

作者|lee 作為一名普通的區塊鏈公號狗,每天循環于等熱點、追熱點、造熱點、排版編輯找稿子,早已成為了生活的常態。唯一還能插卡打諢的,就是回復后臺粉絲奇奇怪怪的問題了.

1900/1/1 0:00:00
ANK:怎樣讓你的幣成為“奢侈品”:愛馬仕的故事可以在幣圈生效嗎?_BASHTANK

橙皮書之前在“不會講故事的公鏈是沒有未來的”一文中曾討論過“講故事”的重要性,TonySheng在最新的一篇博客中通過類比人們愿意為奢侈品付出高價格的心理.

1900/1/1 0:00:00
ads