亚洲精品无码AⅤ片青青在线观看_国产在线播放不卡一区二区三区_无码中文字幕视频一区二区三区_久久夜色精品亚洲av三区_国产综合欧美无毒不卡怡红院

(相關(guān)資料圖)

想象一下，您想從ATM取款。您希望它能夠正確顯示您的帳戶余額并快速處理您的請求。然而，網(wǎng)絡(luò)延遲使得系統(tǒng)很難同時滿足這兩個簡單的期望。如果ATM系統(tǒng)試圖實現(xiàn)高“一致性”，這意味著它通過檢查遠程數(shù)據(jù)庫來顯示最新的賬戶余額，它可能會讓您等待甚至阻止您在繁忙時間訪問您的賬戶。

另一方面，如果ATM系統(tǒng)傾向于“可用性”，它可以讓您快速訪問您的帳戶，但存在顯示不準(zhǔn)確信息的風(fēng)險。為避免不良結(jié)果，設(shè)計ATM系統(tǒng)和其他分布式系統(tǒng)需要做出明智的權(quán)衡。

為了幫助系統(tǒng)設(shè)計人員做出這些權(quán)衡，來自加州大學(xué)伯克利分校和德累斯頓技術(shù)大學(xué)的一組研究人員發(fā)現(xiàn)了一致性、可用性和網(wǎng)絡(luò)延遲之間的簡單代數(shù)關(guān)系。這項研究發(fā)表在《智能計算》上。

研究人員將這種代數(shù)關(guān)系稱為一致性-可用性-表觀延遲定理;它將一致性、可用性和表觀延遲量化為時間間隔。CAL定理建立在EricBrewer著名的一致性-可用性-網(wǎng)絡(luò)分區(qū)定理之上。

CAP定理讓系統(tǒng)設(shè)計者在發(fā)生網(wǎng)絡(luò)故障時預(yù)先選擇犧牲一致性、可用性或兩者，而CAL定理允許系統(tǒng)設(shè)計者根據(jù)情況調(diào)整他們的選擇——一種支持“具有明確陳述假設(shè)的嚴(yán)格設(shè)計”的方法”

嚴(yán)格的設(shè)計對于控制連接設(shè)備(例如工廠機器人、醫(yī)療設(shè)備和安全系統(tǒng))的復(fù)雜網(wǎng)絡(luò)的分布式系統(tǒng)至關(guān)重要，這些設(shè)備在不同節(jié)點具有不同的延遲并且容易出現(xiàn)網(wǎng)絡(luò)故障。使用CAL定理和LinguaFranca協(xié)調(diào)語言(一種允許程序員指定不同節(jié)點應(yīng)如何相互交互的強大工具)，系統(tǒng)設(shè)計人員可以對復(fù)雜網(wǎng)絡(luò)進行建模并使用結(jié)果來定制分布式系統(tǒng)以提高可靠性和效率。

研究人員使用一個簡單的ATM網(wǎng)絡(luò)來跟蹤余額和處理交易，從而證明了他們的方法的有效性。他們使用CAL定理對ATM網(wǎng)絡(luò)建模，并根據(jù)使用LF協(xié)調(diào)語言指定的最低一致性和可用性要求得出網(wǎng)絡(luò)延遲的界限。

保持在這些范圍內(nèi)，他們能夠通過做出有關(guān)軟件放置的決策以及一致性和可用性之間的權(quán)衡來優(yōu)化網(wǎng)絡(luò)設(shè)計。在現(xiàn)實世界中，這種優(yōu)化可能是實現(xiàn)業(yè)務(wù)目標(biāo)所必需的。

研究人員還展示了在部署此類系統(tǒng)后如何檢測和處理違反網(wǎng)絡(luò)延遲要求的情況。借助LF協(xié)調(diào)語言提供的內(nèi)置故障處理程序，系統(tǒng)設(shè)計人員可以選擇犧牲一致性或可用性并“優(yōu)雅地處理此類故障”。

此外，研究人員基于CAL定理實現(xiàn)了兩個協(xié)調(diào)擴展——一個集中式和一個分散式——支持隨著網(wǎng)絡(luò)延遲的變化在一致性和可用性之間進行靈活的權(quán)衡。集中式協(xié)調(diào)機制優(yōu)先考慮一致性，而分散式協(xié)調(diào)機制優(yōu)先考慮可用性。可以根據(jù)上下文的需要定制采用這些機制的系統(tǒng)。