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.