Pertanyaan yang diberi tag «dc.distributed-comp»

Bidang komputasi terdistribusi telah gagal dalam mengembangkan teori matematika tunggal untuk menggambarkan algoritma terdistribusi. Ada beberapa 'model' dan kerangka kerja komputasi terdistribusi yang sama sekali tidak kompatibel satu sama lain. Ledakan semata-mata dari berbagai sifat temporal (asinkron, sinkron, sinkron parsial), berbagai komunikasi primitif (passing pesan vs memori bersama, siaran vs. …

41 big-picture  dc.distributed-comp 

1980-an memunculkan model komputasi paralel paralel PRAM dan BSP . Tampaknya masa kejayaan kedua model adalah selama akhir 80-an dan awal 90-an. Apakah area ini masih aktif dalam hal penelitian untuk algoritma paralel? Apakah ada model yang lebih baru dan lebih canggih untuk komputasi paralel? Apakah model umum masih populer, …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

Terinspirasi oleh pertanyaan ini , apa masalah utama dan solusi yang ada yang perlu perbaikan dalam domain sistem terdistribusi (teoritis). Sesuatu seperti protokol keanggotaan, konsistensi data?

23 big-list  dc.distributed-comp 

Pertanyaan ini dimigrasikan dari Cross Validated karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 8 tahun yang lalu . Saya memiliki masalah yang cukup unik untuk dipecahkan dan saya berharap seseorang di sini dapat memberi saya wawasan tentang cara terbaik untuk mengatasinya. Masalah: Misalkan daftar nomor N dibagikan …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Dalam komputasi terdistribusi, masalah konsensus tampaknya menjadi salah satu topik sentral yang telah menarik penelitian intensif. Secara khusus, makalah "Ketidakmungkinan Konsensus Terdistribusi dengan Satu Proses Kerusakan " menerima Penghargaan Kertas Pengaruh PODC tahun 2001 . Jadi mengapa masalah konsensus begitu penting? Apa yang dapat kita capai dengan konsensus baik dalam …

19 reference-request  big-picture  dc.distributed-comp 

Pertanyaan ini terinspirasi oleh komentar Jukka Suomela yang dibuat pada pertanyaan lain . Apa saja contoh dari masalah perhitungan yang sangat besar tapi terbatas secara lokal (dan algoritma)? Dengan kata lain, apa saja contoh perhitungan yang berhenti dalam waktu yang terbatas, di mana setiap Mesin Turing membaca dan memproses hanya …

14 dc.distributed-comp 

Saya membaca kertas "Fast Paxos" oleh Leslie Lamport dan terjebak dengan bukti kebenaran dari Paxos klasik dan Fast Paxos. Untuk konsistensi, nilai vvv dipilih oleh koordinator dalam fase 2a2a2a di babak iii harus memuaskan CP(v,i):CP(v,i):CP(v,i): Untuk setiap rondej&lt;ij&lt;ij < i , tidak ada nilai selainvvv telah atau mungkin belum dipilih …

13 ds.algorithms  dc.distributed-comp  proofs 

Minggu lalu, saya membaca lagi trasncript Leslie Lamport tahun 1982 tentang konferensi yang dia berikan tentang Soal-soal yang Terselesaikan, Masalah yang Tidak Terselesaikan , dan Non-Masalah dalam Concurrency . Makalah ini mudah dibaca, tetapi salah satu hal yang membuat saya berpikir adalah pernyataan berikut: Bisakah masalah dianggap sebagai masalah pengecualian …

13 reductions  dc.distributed-comp  concurrency 

Dalam makalah oleh Kempe-Kleinberg-Tardos, Penulis mengusulkan algoritma rakus berdasarkan fungsi submodular untuk menentukan paling berpengaruh node dalam grafik, dengan aplikasi untuk jaringan sosial.kkk Pada dasarnya algoritma berjalan sebagai berikut: S= e m p t y s e t S=emhalty setS = {\rm empty~set} pilih node dengan pengaruh individu tertinggi, sebut …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Ada dua jenis utama kegagalan prosesor dalam model komputasi terdistribusi: (1) Kegagalan kerusakan: prosesor berhenti, dan tidak pernah memulai lagi. (2) Kegagalan Bizantium: prosesor berperilaku berlawanan, jahat. Pertanyaanku adalah: Apa saja jenis kegagalan prosesor yang telah dipelajari, yang tidak berkurang menjadi rusak atau kegagalan Bizantium? Juga, pertanyaan yang lebih spesifik: …

13 reference-request  dc.distributed-comp 

Masalah gosip dalam sistem terdistribusi adalah sebagai berikut. Kami memiliki grafik dengan n simpul. Setiap simpul v memiliki pesan m v yang harus kirim ke semua node.GGGnnnvvvmvmvm_v Sekarang, pertanyaan saya adalah dalam konteks model jaringan ad-hoc (kami berasumsi bahwa sebuah node tidak memiliki pengetahuan sebelumnya tentang topologi jaringan, derajat masuk …

13 reference-request  dc.distributed-comp 

Dalam sistem kontrol versi terdistribusi (seperti Mercurial dan Git ) ada kebutuhan untuk secara efisien membandingkan grafik asiklik terarah (DAG). Saya adalah pengembang Mercurial, dan kami akan sangat tertarik untuk mendengar tentang karya teoretis yang membahas kompleksitas waktu dan jaringan membandingkan dua DAG. DAGs yang dimaksud dibentuk oleh revisi yang …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Latar Belakang: Pemrosesan transaksi telah menjadi topik penelitian tradisional dalam teori basis data. Saat ini transaksi terdistribusi dipopulerkan oleh sistem penyimpanan terdistribusi skala besar yang biasanya melibatkan partisi data (juga disebut sharding) dan replikasi data . Apa masalah penelitian utama dalam transaksi terdistribusi? Adakah teori dan solusi terkenal yang membutuhkan …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Algoritma terdistribusi yang tahan terhadap kegagalan dapat bersifat deterministik atau probabilistik. Ambil contoh masalah konsensus. Paxos adalah deterministik dalam arti bahwa mengingat asumsi yang dibuatnya, ia selalu berhasil. Dalam konstrast, konsensus acak bekerja dengan probabilitas yang diberikan. Apa keuntungan merancang dan menggunakan algoritma deterministik? Asumsi yang diandalkan oleh algoritma deterministik …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

Dalam Bab 13 "Objek Atom" dari buku "Algoritma Terdistribusi" oleh Nancy Lynch, linearitas (juga dikenal sebagai atomisitas) terbukti menjadi properti yang aman. Dengan kata lain, properti jejak yang sesuai adalah nonempty, prefix-closed, dan limit-closed , sebagaimana didefinisikan dalam Bagian 8.5.3. Secara tidak resmi, properti keselamatan sering diartikan sebagai mengatakan bahwa …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency