-
從意外發(fā)現(xiàn)到效率革命：亞馬遜云科技大規(guī)模應(yīng)用自動推理提升系統(tǒng)效率
編者按：亞馬遜云科技是唯一一家如此大規(guī)模使用自動推理的云提供商。隨著越來越多的人使用自動推理工具，這讓我們在提升自動推理工具的可用性和可擴(kuò)展性上更容易進(jìn)行大量的投入。我們發(fā)現(xiàn)自動推理工具越易于使用，它們的功能就會變得越強(qiáng)大，同時自動推理工具的采用率也會變得越高。我們越能證明云基礎(chǔ)設(shè)施的正確性，對于那些看重安全的客戶而言我們的云就越有吸引力。正如本文所述，通過自動推理，我們不僅能夠提高安全性，還能更快地為客戶提供更高性能的代碼，并最終節(jié)省客戶的成本。
-
分布式互斥的高效容錯解決方案
在分布式系統(tǒng)領(lǐng)域，確保在任何給定時間只有一個進(jìn)程可以訪問共享資源至關(guān)重要——這就是互斥發(fā)揮作用的地方。如果沒有可靠的方法來實施互斥，系統(tǒng)很容易遇到數(shù)據(jù)不一致或競爭條件等問題，從而可能導(dǎo)致災(zāi)難性的故障。隨著分布式系統(tǒng)變得越來越復(fù)雜，對管理共享資源訪問的強(qiáng)大算法的需求變得越來越重要。
-
分布式鏈路異常日志采集方法研究
摘要:分析了分布式系統(tǒng)鏈路日志的現(xiàn)況,提出了一種分布式鏈路異常日志的采集方法:只要請求的鏈路數(shù)據(jù)中任何節(jié)點出現(xiàn)符合采樣條件的鏈路數(shù)據(jù),就采集該請求的所有鏈路數(shù)據(jù)。經(jīng)過實施部署,使用具有4GB日志數(shù)據(jù)的服務(wù)器作為日志流輸出,輸出速率為700~1650MB/s,間隔10MB/s,通過分布式鏈路異常日志采集方法,配備4G內(nèi)存,采集速率達(dá)到1260MB/s。實驗結(jié)果表明,該方法可以應(yīng)用于分布式鏈路錯慢日志的快速采集。
-
NoSQL“開山之作”Amazon DynamoDB的十年創(chuàng)新之旅
十年前，亞馬遜云科技正式推出Amazon DynamoDB，一種快速、靈活的 NoSQL 數(shù)據(jù)庫服務(wù)，可在任意規(guī)模環(huán)境中提供一致的個位數(shù)毫秒響應(yīng)時間。
-
分布式系統(tǒng)概述
在一個分布式系統(tǒng)中，一組獨立的計算機(jī)展現(xiàn)給用戶的是一個統(tǒng)一的整體，就好像是一個系統(tǒng)似的。系統(tǒng)擁有多種通用的物理和邏輯資源，可以動態(tài)的分配任務(wù)，分散的物理和邏輯資源通過計算機(jī)網(wǎng)絡(luò)實現(xiàn)信息交換。系統(tǒng)中存在一個以全局的方式管理計算機(jī)資源的分布式操作系統(tǒng)。
-
1.4 w字，25張圖讓你徹底掌握分布式事務(wù)原理
這篇文章先介紹單機(jī)數(shù)據(jù)庫事務(wù)的ACID特性，然后指出分布式場景下操作多數(shù)據(jù)源面臨的困境，引出分布式系統(tǒng)中常用的分布式事務(wù)解決方案，這些解決方案可以保證業(yè)務(wù)代碼在操作多個數(shù)據(jù)源的時候，能夠像操作單個數(shù)據(jù)源一樣，具備ACID特性。
-
這樣系統(tǒng)的學(xué)習(xí)分布式，他日必成大器！
學(xué)習(xí)一個知識之前，我覺得比較好的方式是先理解它的來龍去脈：即這個知識產(chǎn)生的過程，它解決了什么問題，它是怎么樣解決的，還有它引入了哪些新的問題（沒有銀彈），這樣我們才能比較好的抓到它的脈絡(luò)和關(guān)鍵點，不會一開始就迷失在細(xì)節(jié)中。所以，在學(xué)習(xí)分布式系統(tǒng)之前，我們需要解決的第一個問題是：分布式系統(tǒng)解決了什么問題？
-
基于GPRS和IE的分布式收費(fèi)終端功能升級策略
近年來，國家電網(wǎng)公司大力開拓農(nóng)村電力市場。新一輪農(nóng)網(wǎng)改造升級工作的啟動及走收的全面取消，為便攜式移動收費(fèi)終端設(shè)備營造了廣泛的應(yīng)用空間。國家發(fā)改委有關(guān)負(fù)責(zé)人表示，截至目前，全國除西藏和新疆以外
-
叫你如何學(xué)習(xí)分布式事務(wù)之2PC和3PC
隨著大型網(wǎng)站的各種高并發(fā)訪問、海量數(shù)據(jù)處理等場景越來越多，如何實現(xiàn)網(wǎng)站的高可用、易伸縮、可擴(kuò)展、安全等目標(biāo)就顯得越來越重要。 為了解決這樣一系列問題，大型網(wǎng)站的架構(gòu)也在不斷發(fā)展。提高大型
-
諾德推出NORDAC LINK現(xiàn)場分布式系統(tǒng)，促進(jìn)工業(yè)4.0數(shù)字化生產(chǎn)
NORDAC LINK系列專為現(xiàn)代化及網(wǎng)絡(luò)化室內(nèi)物流系統(tǒng)應(yīng)用而開發(fā)，并為靈活的分布式安裝提供便捷的驅(qū)動解決方案。高效的現(xiàn)場分布式系統(tǒng)可針對具體應(yīng)用進(jìn)行配置，并確?？焖侔踩恼{(diào)試。由于集成了PLC
-
區(qū)塊鏈項目中共識算法的分類，及存在的問題分析
共識算法的分類 共識算法解決的是對某個提案（Proposal），大家達(dá)成一致意見的過程。 根據(jù)共識算法采取的策略，可以被分為兩大類，即概率一致性算法和絕對一致性算法。 回
-
區(qū)塊鏈分布式系統(tǒng)面臨一致性問題及共識算法的理論知識解析
共識機(jī)制已經(jīng)成為了目前區(qū)塊鏈系統(tǒng)性能提升的關(guān)鍵瓶頸。 單一的共識算法均存在各種問題，如PoW算法存在消耗大量計算資源及性能低下的問題，PoS或DPoS存在“富豪統(tǒng)治”問題，融合多種共識算
-
分布式原理：一文了解 Gossip 協(xié)議
gossip 協(xié)議（gossip protocol）又稱 epidemic 協(xié)議（epidemic protocol），是基于流行病傳播方式的節(jié)點或者進(jìn)程之間信息交換的協(xié)議，在分布式系統(tǒng)中被廣泛
-
如何才能同步分布式系統(tǒng)中的所有時鐘
分布式系統(tǒng)由Tanenbaum定義，“分布式系統(tǒng)是一組獨立的計算機(jī)，在”分布式系統(tǒng)?—?原理和范例“中作為用戶的單一，連貫的系統(tǒng)出現(xiàn)”。 區(qū)塊鏈通過構(gòu)建全球分布式系統(tǒng)，嘗試實現(xiàn)分散的新數(shù)
-
什么是分布式系統(tǒng)區(qū)塊鏈協(xié)議
在構(gòu)建包分布式系統(tǒng)功能的應(yīng)用程序時，《財富》500強(qiáng)企業(yè)和創(chuàng)始人經(jīng)常問我們這樣一個問題：“我們應(yīng)該構(gòu)建什么樣的協(xié)議？”“這個問題變得越來越普遍，因為所有獲得2017-2018年資助的協(xié)議都試圖從
-
什么是區(qū)塊鏈不可能三角為什么不可突破
在2002年，Lynch和Gilbert發(fā)表的論文中，提出了CAP理論。CAP理論證明了，在一個分布式系統(tǒng)中，最多只能同時滿足一致性（Consistency）、可用性（Availability）
-
區(qū)塊鏈SPoS共識機(jī)制簡介
第0章 引言 Vsystems的白皮書有兩份，一份是vsystems的系統(tǒng)白皮，另一份是SPoS共識機(jī)制白皮書，可見在SunnyKing的團(tuán)隊里，SPoS共識機(jī)制的定位是相當(dāng)重的。
-
區(qū)塊鏈在醫(yī)療保健行業(yè)中的應(yīng)用
區(qū)塊鏈技術(shù)是全球最重要的創(chuàng)新技術(shù)之一。區(qū)塊鏈在包括醫(yī)療保健在內(nèi)的各種企業(yè)中有著廣闊的應(yīng)用前景。越來越多的企業(yè)正在擁抱區(qū)塊鏈的創(chuàng)新，以增強(qiáng)他們的工作方式。這一創(chuàng)新已經(jīng)在金融業(yè)得到了應(yīng)用，但醫(yī)藥企業(yè)
-
去中心化的分布式系統(tǒng)將如何確保數(shù)據(jù)安全
大數(shù)據(jù)時代，數(shù)據(jù)是最重要的。從個人角度來看，衣食住行都會產(chǎn)生數(shù)據(jù)，包含著最基本的個人信息以及歷史消費(fèi)記錄等等。如果被盜，就會造成財產(chǎn)損失甚至更嚴(yán)重的后果；從企業(yè)來看，數(shù)據(jù)是市場競爭的關(guān)鍵部分，而
-
私有區(qū)塊鏈對企業(yè)的未來會產(chǎn)生什么影響
希望利用區(qū)塊鏈技術(shù)的企業(yè)將不會觸及私有區(qū)塊鏈。但隨著技術(shù)的成熟，這種情況會持續(xù)下去嗎？ 理解企業(yè)對區(qū)塊鏈技術(shù)的方法，對于更準(zhǔn)確地描繪區(qū)塊鏈在未來將是什么樣子是很重要的。如果你認(rèn)
