Pertanyaan teoretis dalam Komputasi Terdistribusi
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...
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?...
Terinspirasi oleh pertanyaan ini , apa masalah utama dan solusi yang ada yang perlu perbaikan dalam domain sistem terdistribusi (teoritis). Sesuatu seperti protokol keanggotaan, konsistensi
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
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...
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...
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...
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<ij<ij < i , tidak...
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...
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,...
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...
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...
Saya seorang mahasiswa master yang berfokus pada sistem terdistribusi tetapi juga tertarik pada ilmu komputer teoretis. Saya bertanya-tanya apakah ada representasi formal dari sistem terdistribusi di atas mesin turing? Artinya, apakah mungkin untuk memperluas (membuat varian) konsep mesin turing...
Misalkan menjadi grafik terhubung yang tidak teratur yang derajatnya dibatasi. Misalkan setiap node berisi token unik.G = ( V, E)G=(V,E)G= (V, E) Saya ingin secara acak mengocok token di antara grafik hanya menggunakan swap lokal (yaitu pertukaran token antara dua node yang berdekatan)? Apakah ada...
Definisi Misalkan dan misalkan d , r , dan g adalah bilangan bulat positif (dengan g > 2 r + 1 ).ϵ>0ϵ>0\epsilon > 0dddrrrgggg>2r+1g>2r+1g > 2r+1 Misalkan menjadi grafik berhingga sederhana, d- teratur, tidak terarah, dengan ketebalan setidaknya g .G=(V,E)G=(V,E)G =...
David Rodríguez - dribea menulis dalam komentar di StackOverflow bahwa "Tidak semua koleksi dapat diimplementasikan tanpa kunci". Saya tidak yakin apakah ini benar, dan saya juga tidak dapat menemukan bukti. Pernyataan ini tidak terlalu tepat, tetapi izinkan saya mencoba untuk mengulanginya dengan...
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...
Transaksi basis data klasik yang disederhanakan dapat dilihat sebagai: membaca item M. melakukan beberapa perhitungan berdasarkan bacaan tersebut menulis beberapa hasil N berdasarkan perhitungan ini, yang dapat mencakup unsur-unsur yang awalnya dibaca. Saat melakukan transaksi ini (secara...
Makalah apa tentang penanganan kesalahan dalam sistem terdistribusi yang Anda
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...