<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="/oai-pmh.xsl"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
  <responseDate>2026-09-21T15:29:52Z</responseDate>
  <request identifier="oai:www.ideals.illinois.edu:2142/45621" metadataPrefix="etdms" verb="GetRecord">https://www.ideals.illinois.edu/oai-pmh</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:www.ideals.illinois.edu:2142/45621</identifier>
        <datestamp>2023-07-11</datestamp>
        <setSpec>col_2142_10761</setSpec>
        <setSpec>col_2142_5131</setSpec>
        <setSpec>com_2142_10755</setSpec>
        <setSpec>com_2142_234</setSpec>
        <setSpec>com_2142_5130</setSpec>
      </header>
      <metadata>
        <thesis xmlns="http://www.ndltd.org/standards/metadata/etdms/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.ndltd.org/standards/metadata/etdms/1.1/ http://www.ndltd.org/standards/metadata/etdms/1.1/etdms11.xsd http://purl.org/dc/elements/1.1/ http://www.ndltd.org/standards/metadata/etdms/1.1/etdmsdc.xsd">
          <dc:subject>Reliability</dc:subject>
          <dc:title>Empirical study of unstable leaders in Paxos</dc:title>
          <dc:type>text</dc:type>
          <dc:contributor>Vaidya, Nitin H.</dc:contributor>
          <dc:creator>Kai, Long</dc:creator>
          <dc:date>2013-08-22T16:55:42Z</dc:date>
          <dc:date>2013-08-22T16:55:42Z</dc:date>
          <dc:date>2015-08-22T10:00:46Z</dc:date>
          <dc:date>2013-08</dc:date>
          <dc:date>2013-08-22T16:55:42Z</dc:date>
          <dc:date>2013-08</dc:date>
          <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.</dc:description>
          <dc:description>Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-07-12T14:01:13Z
Item was in collections:
University of Illinois Theses &amp; Dissertations (ID: 1)
No. of bitstreams: 1
Kai_Long.pdf: 1003650 bytes, checksum: 1f574f850dca09fc796962dd9a408dd2 (MD5)</dc:description>
          <dc:description>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)</dc:description>
          <dc:description>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</dc:description>
          <dc:description>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</dc:description>
          <dc:description>Limited Restriction Lifted for Item 45603 on 2015-08-22T10:00:46Z.</dc:description>
          <dc:identifier>http://hdl.handle.net/2142/45621</dc:identifier>
          <dc:language>en</dc:language>
          <dc:rights>Copyright 2013 Long Kai</dc:rights>
          <dc:subject>Experimentation</dc:subject>
          <degree>
            <department>Computer Science</department>
            <departmentCode>1434</departmentCode>
            <discipline>Computer Science</discipline>
            <disciplineCode>0112</disciplineCode>
            <grantor>University of Illinois at Urbana-Champaign</grantor>
            <level>Thesis</level>
            <name>M.S.</name>
            <program>MS:CS:BS/MS Program - UIUC</program>
            <programCode>10KS1854MS</programCode>
          </degree>
        </thesis>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
