Pertanyaan yang diberi tag distributed-systems

Pertanyaan tentang tantangan memecahkan masalah dengan beberapa agen yang bekerja sama tetapi terpisah.

15
Siapakah legislator Paxos?

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...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

9
Konsistensi eksternal vs linierabilitas

Dalam Spanner, TrueTime & The CAP Theorem , Eric Brewer menulis: Satu hal yang halus tentang Spanner adalah bahwa hal itu akan serializability dari kunci, tapi itu akan konsistensi eksternal (mirip dengan linearizability ) dari TrueTime [ penekanan ditambahkan ]. Apa definisi konsistensi...