近日,北京大學信息科學技術學院計算機科學技術系肖臻研究員領導的課題組開發出一套基于硬件輔助虛擬化的多核確定性重演系統,引起業界廣泛關注。確定性重演是指在處理器指令執行過程中,通過記錄開始時的狀態和執行過程中的必要信息,從而使得將處理器恢復到開始位置重新根據記錄的信息執行這一系列指令后,能夠獲得與前一次執行完全相同的結果。虛擬機確定性重演技術在軟件調試、信息安全、入侵檢測、病行為分析、雙機熱備份等眾多領域有廣泛的應用。
北大經濟學院馮科:應用數字貨幣來應對國際社會因新冠疫情對中國形成的誤解與封殺:2020年度北京大學經濟學院“兩會筆談”座談會于5月22日下午以視頻會議的形式召開。北京大學經濟學院金融學系馮科副教授表示,長期以來,人民幣國際地位與中國經濟地位不匹配,人民幣在全球交易和支付結算比例不足2%,而美元結算比例高達70%。新冠疫情更增強了國際領域“去中國化”、“去人民幣化”的趨勢。要依托阿里、騰訊,京東、拼多多等平臺,緊扣國際貿易,應用數字貨幣,推動人民幣的擴張,來應對國際社會因新冠疫情對中國形成的誤解與封殺。(騰訊財經)[2020/5/24]
針對單核處理器的確定性重演系統已經比較成熟,并且出現了商用系統,然而多核處理器環境的出現給確定性重演帶來了極大的挑戰。在多核環境下,多線程程序的各個線程對共享內存的交織訪問是導致程序執行結果不確定的重要原因之一。業界已有的在多核環境下進行確定性重演的方案往往需要修改處理器架構增加專門用于記錄的硬件,從而使得成本大大提高,目前還沒有任何一家能夠在實際中得到推廣。
北大荒:參股公司已開售第一批區塊鏈認證大米:北大荒今日在互動平臺表示,公司參股的區塊鏈公司的第一批區塊鏈認證大米,已于2017年12月28日開始在京東商城預售,目前未給公司帶來收益。[2018/3/14]
肖臻研究員領導的課題組第一次提出基于硬件輔助虛擬化的技術從軟件上實現多核虛擬機在線確定性重演。該系統采用了基于指令塊的方法,通過內存訪問寫時復制機制和指令塊的提交-回滾機制保證指令塊的執行滿足原子性和可串行性。該方法利用IntelCPU中已有的硬件輔助虛擬化特性,不需要對硬件做任何修改,就可以把虛擬機多核確定性重演的效率提高一個數量級,把檢查點恢復的延遲降低一個數量級,從而使該項技術真正走向實用。
區塊鏈驅動的汽車大數據平臺Engine獲北大金融科技創新實驗室支持:金色財經獲悉,全球汽車大數據共享平臺Engine獲北京大學金融科技創新實驗室學術科研支持,數據量覆蓋近千萬輛汽車。Engine基于區塊鏈建立的汽車大數據及零配件、智能硬件共享平臺,為每輛車建立終身不可篡改的數字檔案。項目由韓國、美國、中國、加拿大等多國汽車大數據、零配件及智能硬件領域龍頭企業聯合發起。[2018/1/30]
肖臻課題組從事虛擬機確定性重演的研究已經有十幾年的歷史,在國際著名會議和期刊上發表了很多論文,相關成果都以開源軟件的方式發布到社區,供大家免費使用。肖臻課題組目前正在致力于利用確定性重演技術實現智能合約的高效、細粒度并發執行。已有的區塊鏈技術只支持單線程,就是因為在多核環境下并行程序的執行存在不確定性,影響區塊鏈中的節點達成共識。肖臻課題組開發的確定性重演技術有希望極大地提高智能合約的執行效率,成為區塊鏈3.0中不可或缺的核心技術。
有關該課題組的更多信息,請參考肖臻研究員的主頁:http://zhenxiao.com/
2019年7月6至7日,第二屆全球石墨烯區塊鏈開發者大會在上海外灘凱賓斯基大酒店順利召開。此次大會由石墨烯區塊鏈應用中心主辦,大會邀請了石墨烯區塊鏈的頂尖開發者、企業與投資機構共謀未來,通過加強.
1900/1/1 0:00:00尊敬的LBank?用戶:LBank?將于?2019?年?7?月?15日17:00對OMNI網絡的USDT節點進行升級。預計7月16日10:00(UTC8)完成升級.
1900/1/1 0:00:002019年6月18日,Facebook旗下全球加密貨幣項目Libra官方網站正式上線并發布白皮書.
1900/1/1 0:00:00有關交易所的核心競爭力,火幣的口訣是:合規安全穩定性、優質資產流動性、用戶體驗手續費。 一、合規 美國 l基礎牌照:MSB l金錢服務牌照:MTL l持牌交易所:Coinbase、Gemini、.
1900/1/1 0:00:00尊敬的ZT用戶: ZT即將上線ECCC,ECCC作為ZT交易所第二期“共識上幣”投票第一的項目,將于2019年7月19日10:00開放充值,7月20日11:00開啟ECCC/USDT交易對.
1900/1/1 0:00:00北京時間2019年7月14日,主流數字資產交易平臺Bibox發布公告稱,“BiboxOrbit”將于7月15日獨家首發Xenoverse.
1900/1/1 0:00:00