查看“Dis-alg”的源代码


=== 分布式计算理论 === 

// 谓词检测工作的一个通用框架，以及相应的通用算法

@article{Babaoglu96,
 author = {Babao\u{g}lu, \"{O}zalp and Fromentin, Eddy and Raynal, Michel},
 title = {A unified framework for the specification and run-time detection of dynamic properties in distributed computations},
 journal = {J. Syst. Softw.},
 volume = {33},
 number = {3},
 year = {1996},
 issn = {0164-1212},
 pages = {287--298},
 doi = {http://dx.doi.org/10.1016/0164-1212(96)00027-1 },
 publisher = {Elsevier Science Inc.},
 address = {New York, NY, USA},
}

// consensus的著名impossibility result

@article{Fischer85,
 author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.},
 title = {Impossibility of Distributed Consensus with One Faulty Process},
 journal = {J. ACM},
 issue_date = {April 1985},
 volume = {32},
 number = {2},
 month = apr,
 year = {1985},
 issn = {0004-5411},
 pages = {374--382},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/3149.214121 },
 doi = {10.1145/3149.214121},
 acmid = {214121},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

// 分布数据一致性的后验分析

@inproceedings{Golab11,
 author = {Golab, Wojciech and Li, Xiaozhou and Shah, Mehul A.},
 title = {Analyzing consistency properties for fun and profit},
 booktitle = {Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing},
 series = {PODC '11},
 year = {2011},
 isbn = {978-1-4503-0719-2},
 location = {San Jose, California, USA},
 pages = {197--206},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1993806.1993834 },
 doi = {http://doi.acm.org/10.1145/1993806.1993834 },
 acmid = {1993834},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {atomicity, consistency, key-value store},
}

// progress相关性质的本源

@inproceedings{Herlihy2011,
 author = {Herlihy, Maurice and Shavit, Nir},
 title = {On the Nature of Progress},
 booktitle = {Proceedings of the 15th International Conference on Principles of Distributed Systems},
 series = {OPODIS'11},
 year = {2011},
 isbn = {978-3-642-25872-5},
 location = {Toulouse, France},
 pages = {313--328},
 numpages = {16},
 url = {http://dx.doi.org/10.1007/978-3-642-25873-2_22 },
 doi = {10.1007/978-3-642-25873-2_22},
 acmid = {2183558},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

// 逻辑时钟的讨论，分布式计算领域的奠基性paper

@article{Lamport78,
 author = {Leslie Lamport},
 title = {Time, clocks, and the ordering of events in a distributed system},
 journal = {Commun. ACM},
 volume = {21},
 number = {7},
 year = {1978},
 issn = {0001-0782},
 pages = {558--565},
 doi = {http://doi.acm.org/10.1145/359545.359563 },
 publisher = {ACM},
 address = {New York, NY, USA},
}

// 逻辑向量时钟的概念，理论与算法实现

@inproceedings{Mattern89,
 author = {Friedemann Mattern},
 title = {Virtual time and global states of distributed systems},
 booktitle = "Proc. International Workshop on Parallel and Distributed Algorithms",
 address = "Holland",
 year = {1989},
 pages = {215--226},
}

=== 经典分布式算法 ===

<font color="#FF0000">Paxos made simple</font>

=== 经典分布式系统 ===

% Amazon's Dynamo

@inproceedings{DeCandia07,
 author = {DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, 
    Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner},
 title = {Dynamo: Amazon's Highly Available Key-value Store},
 booktitle = {Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles},
 series = {SOSP '07},
 year = {2007},
 pages = {205--220},
 url = {http://doi.acm.org/10.1145/1294261.1294281},
 doi = {10.1145/1294261.1294281},
 publisher = {ACM},
} 

% Facebook's Cassandra (Open source counterpart of Amazon's Dynamo)

@article{Lakshman10,
 author = {Lakshman, Avinash and Malik, Prashant},
 title = {Cassandra: A Decentralized Structured Storage System},
 journal = {SIGOPS Oper. Syst. Rev.},
 issue_date = {April 2010},
 volume = {44},
 number = {2},
 month = apr,
 year = {2010},
 pages = {35--40},
 url = {http://doi.acm.org/10.1145/1773912.1773922},
 doi = {10.1145/1773912.1773922},
 publisher = {ACM},
} 

% Facebook's Tao for social graph

@inproceedings {Bronson13,
 author = {Nathan Bronson and Zach Amsden and George Cabrera and Prasad Chakka and Peter Dimov and Hui Ding 
    and Jack Ferris and Anthony Giardullo and Sachin Kulkarni and Harry Li and Mark Marchukov and Dmitri Petrov 
    and Lovro Puzar and Yee Jiun Song and Venkat Venkataramani},
 title = {TAO: Facebook{\textquoteright}s Distributed Data Store for the Social Graph},
 booktitle = {Presented as part of the 2013 USENIX Annual Technical Conference (USENIX ATC 13)},
 year = {2013},
 pages = {49--60},
 url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/bronson},
 publisher = {USENIX},
}

% Google

<font color="#FF0000">paxos made live, chubby, big table, spanner, ...</font>


% Yahoo!'s PNUTS

@article{Cooper08,
 author = {Cooper, Brian F. and Ramakrishnan, Raghu and Srivastava, Utkarsh and Silberstein, Adam and Bohannon, 
    Philip and Jacobsen, Hans-Arno and Puz, Nick and Weaver, Daniel and Yerneni, Ramana},
 title = {PNUTS: Yahoo!'s Hosted Data Serving Platform},
 journal = {Proc. VLDB Endow.},
 issue_date = {August 2008},
 volume = {1},
 number = {2},
 month = aug,
 year = {2008},
 pages = {1277--1288},
 url = {http://dx.doi.org/10.14778/1454159.1454167},
 doi = {10.14778/1454159.1454167},
 publisher = {VLDB Endowment},
}


=== 附录 === 

分布式计算理论会议：PODC

分布式计算理论期刊：DC(Distributed Computing)

理论会议：STOC，FOCS

理论期刊：JACM，SIAM J. Computing

系统会议：OSDI，SOSP