分散式系統基礎論文 - muratbuffalo

分散式系統中的時間和狀態

分散式系統中的時間，時鐘和事件順序。萊斯利·蘭普特（Leslie Lamport）1978年ACM的報告。

分散式快照：確定分散式系統的全域性狀態。K. Mani Chandy Leslie Lamport，ACM Transactions on Computer Systems，1985年。

虛擬時間和分散式系統的全域性狀態。 Mattern，F.，1988年。
說明文和部落格文章:

現在沒有了。Justin Sheehy，《 2015年ACM佇列》

為什麼邏輯時鐘很容易。Carlos Baquero和NunoPreguiça，ACM Queue 2016。

混合邏輯時鐘

TLA + / PlusCal中的邏輯時鐘和向量時鐘建模
 

不可能結果 

協同攻擊或“兩個將軍”問題在分散式系統中是根本不可能的。它開始了更多的人定理，因此，我沒有指向論文，而是提供了到維基百科頁面的連結。 

帶有一個錯誤過程的分散式共識的可能性，Fischer，Lynch和Patterson，JACM，1985年

《可靠的分散式系統的不可靠故障檢測器》，Tushar Deepak Chandra和Sam Toueg，ACM雜誌，1996年。

收穫，產量和可擴充套件的耐性系統，阿曼多·福克斯（Armando Fox），埃裡克·A·布魯爾（Eric A. Brewer），1999年

CAP十二年後：規則如何更改，埃裡克·布魯爾（Eric Brewer），2012年。
說明文和部落格文章：

FLP不可能簡介

論文摘要：CAP定理的觀點
 

共識和狀態機複製

帶有時間戳的複製：一種新的主​​副本方法，用於支援高度可用的分散式系統。B. Oki和B. Liskov。1988年

使用狀態機方法實現容錯服務：教程，Fred Schneider，1990年

如何建立一個具有高度共識的高可用性系統， Butler Lampson，1996年

兼職議會（Paxos） Leslie Lamport，1998年。（請參閱上下文） 

實用的拜占庭式容錯。米格爾·卡斯特羅（Miguel Castro），芭芭拉·里斯科夫（Barbara Liskov）。OSDI 1999。

支援高吞吐量和可用性的鏈複製。Robbert van Renesse和Fred B.Schneider，OSDI，2004年。 

ZooKeeper：Internet級系統的無等待協調。帕特里克·亨特（Patrick Hunt），馬哈德夫·科納爾（Mahadev Konar），弗拉維奧·P·瓊奎拉（Flavio P.

Tango：共享日誌上的分散式資料結構，Mahesh Balakrishnan，Dahlia Malkhi，Ted Wobber，Ming Wu，Vijayan Prabhakaran，Michael Wei，John D.Davis，Sriram Rao，Tao Zou，Aviad Zuckk。SOSP 2013年。

在平均議會中達成了更多共識。尤利安·莫拉魯（Iulian Moraru），大衛·安德森（David G.Andersen），邁克爾·卡明斯基（Michael Kaminsky），SOSP 2013。

靈活的Paxos：重新討論了Quorum交集。海蒂·霍華德（Heidi Howard），大麗花·馬基（Dahlia Malkhi）和亞歷山大·斯皮格曼（Alexander Spiegelman）。2016年。

WormSpace：簡單，可驗證的分散式系統的模組化基礎。Shin Ji-Yong Shin，Jiung Kim，Wolf Honore，HernánVanzetto，Srihari Radhakrishnan，Mahesh Balakrishnan，Zhong Shao，SOCC'19。 
說明文和部落格文章：

尋找一種可以理解的共識演算法。Diego Ongaro，John Ousterhout，Usenix ATC，2014年。 

Paxos會中度複雜。Robbert Van Renesse和Deniz Altinbuken，ACM計算調查，2015年。

雲中的共識：Paxos Systems神秘化。艾麗丹妮·艾麗江（Ailidani Ailijiang），阿萊克西·夏拉普科（Aleksey Charapko），穆拉特·德米爾巴斯（Murat Demirbas），2016年。

在Pluscal和TLA +中建模Paxos和Flexible Paxos

剖析Paxos協議的效能瓶頸。
 

分散式演算法

儘管有分散式控制，但自穩定系統，Edsgar W. Dijkstra，CACM 1974年。

《飲酒者問題》，KM Chandy，J。Misra，ACM TOPLAS 1984

稀疏分割槽，Baruch Awerbuch，David Peleg，FOCS 1990。 

分散式重置，Anish Arora，穆罕默德·古達（Mohamed Gouda），1994年

《箭式分散式目錄協議》，Michael J. Demmer，M。Herlihy，DISC，1998年。 
說明文和部落格文章：

Dijkstra的穩定令牌環演算法

在TLA +中建模衛生餐飲哲學家演算法
 

其他各種各樣

有關計算機系統設計的提示，巴特勒·蘭普森（Butler Lampson），1983年

分散式狀態的作用，約翰·奧斯特豪特（John Ousterhout），1990年

SEDA：一種條件良好的可擴充套件Internet服務的體系結構。Matt Welsh，David Culler和Eric Brewer，SOSP 2001

只會崩潰的軟體，George Candea，Armando Fox，HotOS 2003
說明文和部落格文章：

瞭解分散式系統：從哪裡開始？
 

雲端計算，大資料儲存/處理 

大規模服務的經驗教訓。埃裡克·布魯爾（Eric A.Brewer），IEEE網際網路計算，2001年。

MapReduce：大型叢集上的簡化資料處理。Jeffrey Dean和Sanjay Ghemawat，OSDI，2004年。

樂觀複製，Saito Yasushi和Marc Shapiro，2005。

Dynamo：亞馬遜的高可用鍵值儲存。Giuseppe DeCandia，Deniz Hastorun，Madan Jampani，Gunavardhan Kakulapati，Avinash Lakshman，Alex Pilchin，Swaminathan Sivasubramanian，Peter Vosshall和Werner Vogels，ACM SIGOPS 2007。

關於設計和部署Internet規模服務，James Hamilton，LISA 2007 

分散式事務之外的生活：叛教者的觀點，Pat Helland，CIDR 2007。

無衝突的複製資料型別。Marc Shapiro，NunoPreguiça，Carlos Baquero，Marek Zawirski，2011年。

《 Bloom中的一致性分析：一種CALM和彙總方法》，Peter Alvaro，Neil Conway，Joseph M. Hellerstein，William R. Marczak，CIDR 2011。 

彈性分散式資料集：用於記憶體中群集計算的容錯抽象。Matei Zaharia，Mosharaf Chowdhury，Tathagata Das，Ankur Dave，Justin Ma，Murphy McCauley，Michael J.Franklin，Scott Shenker，Ion Stoica。NSDI 2012。 

尾巴規模大。傑夫·迪恩（Jeff Dean），路易斯·安德烈·巴羅佐（Luiz Andre Barroso），美國ACM協會成員，2013年。 

Spanner：Google的全球分散式資料庫，ACM，2013年。

TensorFlow：大規模機器學習系統，OSDI 2016。
說明性論文：

雲之上：伯克利對雲端計算的看法。Michael Armbrust，Armando Fox，Rean Griffith，Anthony D.Joseph，Randy H.Katz，Andrew Konwinski，Gunho Lee，David A.Patterson，Ariel Rabkin，Ion Stoica，Matei Zaharia，2009年。

簡化的雲程式設計：無伺服器計算的Berkeley觀點，2019年。