Siapakah legislator Paxos?


15

Dalam makalah sistem terdistribusi mani Parlemen Paruh Waktu (protokol Paxos), Leslie Lamport menyebutkan legislator fiksi yang terlibat dalam protokol parlemen Paxon.

Menurut tulisan ini , ia mencatat bahwa:

Saya memberi para legislator Yunani nama-nama ilmuwan komputer yang bekerja di lapangan, ditransliterasikan dengan bantuan Guibas ke dalam dialek Yunani palsu.

Apakah ada yang punya informasi tentang para ilmuwan yang dinamai legislator? Daftar legislator di koran dan ilmuwan komputer yang sesuai akan menjadi jawaban ideal.

Saya pikir legislator pertama yang disebutkan di koran, "χ∂ινχ∂", dinamai menurut Nancy Lynch karena itu bisa diucapkan sebagai "Linch". Juga, "Λεωνίδας Γκίμπας" dari daftar pustaka adalah Leo Guibas . Saya benar-benar bingung siapa yang lain.


Harap dicatat, saya awalnya memposting pertanyaan ini ke stackoverflow karena sepertinya pertanyaan "antusias" (benar-benar tidak ada sains yang terlibat), tetapi dibanjiri dengan suara dekat dan disarankan untuk pindah ke sini. Jadi, saya menghapus posting asli dan membuat yang ini.
Jon Bringhurst

4
Petunjuk: lihat daftar pustaka. Jawaban yang baik untuk pertanyaan ini tidak hanya akan menyatakan korespondensi tetapi juga menjelaskan mengapa masing-masing nama dipilih untuk setiap peran (saya pikir ada alusi topikal untuk beberapa dari mereka).
Gilles 'SANGAT berhenti menjadi jahat'

@Gilles Terima kasih atas petunjuknya! Saya masih bekerja melalui kertas dan belum melihat daftar pustaka.
Jon Bringhurst

5
@ JonBringhurst: Sejarah ilmu komputer (bahkan anekdot seperti itu) adalah bagian dari ilmu komputer dan jelas tentang topik di sini (IMHO).
frafl

Jawaban:


6

Ini adalah tebakan terpelajar dari nama-nama transliterasi yang bisa kutemukan di koran Paxos. Sebagian besar adalah orang-orang yang disebutkan dalam referensi makalah.

  • Χ∂ινχ∂: Lynch, N. - Legislator
  • Φισ∂ερ: Fischer, MJ - Legislator
  • Tωυεγ: Toueg, S. - Legislator
  • Ωκι: Oki, BM - Legislator
  • ∆ωλεφ: Dolev, D. - Petani
  • Σκεεν: Skeen, MD - Merchant
  • Στωκμε˘ιρ: Stockmeyer, L. - Legislator
  • Στρωνγ: (Strong / Strang?) - Legislator
  • ∆φωρκ: Dwork, C. - Presiden
  • ∆˘ικστρα: Dijkstra, EW - Inspektur keju
  • Γωυδα: (Gouda) - Pemeriksa keju
  • Φρανσεζ: Francez, N. - Pencicip anggur
  • Πνυeλ˘ι: Pnueli, A. - Pencicip anggur
  • Σ∂ν˘ιδερ: Schneider, FB - Warga
  • Γρεες: (Yunani) - Warga Negara
  • Λαμπσων: Lampson, B. - Umum
  • Λισκωφ: Liskov, BH - Pedagang
  • Παρνας: Parnas, D. - Negarawan penatua
  • Γρα˘ι: Gray, CG - Priest
  • Λινσε˘ι: Lindsey, BG - Priest

@YuvalFilmus, mungkin Anda harus mengedit daftar untuk melengkapinya / memperbaiki kesalahan
vonbrand

1
Daftar hebat! Beberapa perubahan: Saya percaya "Tωυεγ" mungkin adalah Sam Toueg, bukan Tovey. Tidak yakin siapa yang Anda maksud dengan "CH Lindsey", mungkin kandidat yang lebih mungkin adalah Bruce G Lindsay. "Preist" harus dieja "Priest".
Martin Kleppmann
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.