{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/45621"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/45621","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Empirical study of unstable leaders in Paxos","abstract":"This thesis studies the effect of unstable leaders in Paxos protocol. Paxos algorithm is one of the most popular solutions for distributed consensus, and is often used for building replicated state machines. Safety is guaranteed by Paxos algorithm regardless of various machine and communication failures. However, the liveness is compromised when multiple Paxos leaders exist at the same time. Also, despite the extensive literature in the field, implementing Paxos algorithm for practical systems is still non-trivial. This thesis first studies the implications of multiple Paxos leaders in practical systems and provides an optimization by using leases. A complete specification of classical Paxos protocol is provided. We evaluate our implementation and show the effect of unstable leaders in practical systems.","abstract_html":"This thesis studies the effect of unstable leaders in Paxos protocol. Paxos algorithm is one of the most popular solutions for distributed consensus, and is often used for building replicated state machines. Safety is guaranteed by Paxos algorithm regardless of various machine and communication failures. However, the liveness is compromised when multiple Paxos leaders exist at the same time. Also, despite the extensive literature in the field, implementing Paxos algorithm for practical systems is still non-trivial. This thesis first studies the implications of multiple Paxos leaders in practical systems and provides an optimization by using leases. A complete specification of classical Paxos protocol is provided. We evaluate our implementation and show the effect of unstable leaders in practical systems.","abstract_has_math":false,"creators":["Kai, Long"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Vaidya, Nitin H."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2013,"date_issued":"2013-08-22T16:55:42Z","date_published":"2013-08-22T16:55:42Z","updated_at":"2026-07-22T22:25:36Z","subjects":["Reliability","Experimentation"],"languages":["en"],"rights":["Copyright 2013 Long Kai"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/45621","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Vaidya, Nitin H."]},{"key":"dc:creator","label":"Author","values":["Kai, Long"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2013-08-22T16:55:42Z","2015-08-22T10:00:46Z","2013-08"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Reliability","Experimentation"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2013 Long Kai"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/45621"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This thesis studies the effect of unstable leaders in Paxos protocol. Paxos algorithm is one of the most popular solutions for distributed consensus, and is often used for building replicated state machines. Safety is guaranteed by Paxos algorithm regardless of various machine and communication failures. However, the liveness is compromised when multiple Paxos leaders exist at the same time. Also, despite the extensive literature in the field, implementing Paxos algorithm for practical systems is still non-trivial. This thesis first studies the implications of multiple Paxos leaders in practical systems and provides an optimization by using leases. A complete specification of classical Paxos protocol is provided. We evaluate our implementation and show the effect of unstable leaders in practical systems.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-07-12T14:01:13Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Kai_Long.pdf: 1003650 bytes, checksum: 1f574f850dca09fc796962dd9a408dd2 (MD5)","Made available in DSpace on 2013-08-22T16:55:42Z (GMT). No. of bitstreams: 2 Long_Kai.pdf: 1003650 bytes, checksum: 1f574f850dca09fc796962dd9a408dd2 (MD5) license.txt: 4058 bytes, checksum: 6b39796fc3897610d38cb694a3bb7571 (MD5)","Item marked as restricted to the 'Administrator' Group (id=1) by Seth Robbins (srobbins@illinois.edu) on 2013-08-22T16:57:31Z Item is restricted until 2015-08-22T16:57:26Z","Restriction data tranferred 2014-07-01T11:35:23-05:00 Original Data Group with Access Administrator Release Date: 2015-08-22 11:57:26 UTC Reason: Author requested closed access (OA after 2yrs) in Vireo ETD system","Limited Restriction Lifted for Item 45603 on 2015-08-22T10:00:46Z."]},{"key":"dc:title","label":"Title","values":["Empirical study of unstable leaders in Paxos"]}]}],"canonical_facts":{"dc:contributor":["Vaidya, Nitin H."],"dc:creator":["Kai, Long"],"dc:date":["2013-08-22T16:55:42Z","2015-08-22T10:00:46Z","2013-08"],"dc:description":["This thesis studies the effect of unstable leaders in Paxos protocol. Paxos algorithm is one of the most popular solutions for distributed consensus, and is often used for building replicated state machines. Safety is guaranteed by Paxos algorithm regardless of various machine and communication failures. However, the liveness is compromised when multiple Paxos leaders exist at the same time. Also, despite the extensive literature in the field, implementing Paxos algorithm for practical systems is still non-trivial. This thesis first studies the implications of multiple Paxos leaders in practical systems and provides an optimization by using leases. A complete specification of classical Paxos protocol is provided. We evaluate our implementation and show the effect of unstable leaders in practical systems.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-07-12T14:01:13Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Kai_Long.pdf: 1003650 bytes, checksum: 1f574f850dca09fc796962dd9a408dd2 (MD5)","Made available in DSpace on 2013-08-22T16:55:42Z (GMT). No. of bitstreams: 2 Long_Kai.pdf: 1003650 bytes, checksum: 1f574f850dca09fc796962dd9a408dd2 (MD5) license.txt: 4058 bytes, checksum: 6b39796fc3897610d38cb694a3bb7571 (MD5)","Item marked as restricted to the 'Administrator' Group (id=1) by Seth Robbins (srobbins@illinois.edu) on 2013-08-22T16:57:31Z Item is restricted until 2015-08-22T16:57:26Z","Restriction data tranferred 2014-07-01T11:35:23-05:00 Original Data Group with Access Administrator Release Date: 2015-08-22 11:57:26 UTC Reason: Author requested closed access (OA after 2yrs) in Vireo ETD system","Limited Restriction Lifted for Item 45603 on 2015-08-22T10:00:46Z."],"dc:identifier":["http://hdl.handle.net/2142/45621"],"dc:language":["en"],"dc:rights":["Copyright 2013 Long Kai"],"dc:subject":["Reliability","Experimentation"],"dc:title":["Empirical study of unstable leaders in Paxos"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:36Z"}