Cara membaca gambar

Setiap bentuk adalah satu komputer. Kotak kecil di antaranya adalah pesan yang sedang dalam perjalanan — pesan butuh waktu untuk sampai, dan sebagian tidak pernah sampai.

• Leader

  Ketua. Satu-satunya yang boleh menerima catatan baru dan menyebarkannya.

• Follower

  Anggota biasa. Menunggu kabar dari leader dan menyalin catatannya.

• Candidate

  Sedang mencalonkan diri dan meminta suara untuk menjadi leader.

• Mati

  Sedang mati. Tidak mengirim dan tidak menerima apa pun.

Ini daftar catatan setiap komputer, berdampingan, sejajar pada nomor baris. Selama semua kolom sama, semua sepakat. Baris yang bolong atau berbeda isi berarti catatan mereka menyimpang — dan Anda bisa menonton leader memperbaikinya.

Pesan yang berlalu-lalang

• RVMinta suara — sebuah calon meminta dipilih.
• RV✓Suara diberikan.
• RV✗Suara ditolak.
• HBKabar berkala dari leader: “saya masih memimpin”.
• AE·nLeader mengirim n catatan baru untuk disalin.
• AE✓Catatan diterima; kedua log cocok.
• AE✗Ditolak — catatan sebelumnya tidak cocok. Leader akan mundur satu baris.
• ISSnapshot dikirim, karena penerimanya tertinggal terlalu jauh.