Ekstraoppgaver i Paxos for spesielt interesserte

For de av dere som ønsker litt større innsikt i Paxos-algoritmen, er det laget en ekstraoppgave om Paxos consensus (20.x.1) og en om Paxos commit (20.x.2). Oppgavene og løsningsforslag ligger sammen med de andre ekstraoppgavene og løsningsforslagene. Paxos-algoritmen på det detaljeringsnivået som skal til for å løse denne typen oppgaver, er imidlertid ikke eksamensrelevant.