Saya mencoba untuk membungkus kepala saya di sekitar apa perbedaan nyata antara Model Aktor concurrency dan Communicating Sequential Processes (CSP) model concurrency. Sejauh ini yang terbaik yang saya bisa buat adalah bahwa Model Aktor memungkinkan jumlah dan tata letak node berubah sementara...
Apakah ada analog paralel alami dengan pohon merah-hitam dengan sifat yang sama atau bahkan tidak terlalu buruk untuk pembaruan sementara cukup efisien dalam bekerja? Secara umum, apa yang terbaik yang dapat kita lakukan untuk pencarian paralel dengan pembaruan?
Apakah ada deskripsi yang berguna tentang masa depan atau janji dalam hal teori kategori? Secara khusus, apa yang bisa menjadi ganda kategorikal dari Masa
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...
Saya saat ini mendengarkan pembicaraan Alan Kays, "Apakah ini benar-benar rumit atau apakah kita membuatnya rumit?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) di mana ia mengatakan bahwa "semafor adalah ide yang buruk dan ada sesuatu yang disebut waktu semu yang lebih unggul" (pada 51:40...
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...
Dalam makalah dengan judul yang sama dengan pertanyaan ini, penulis menggambarkan bagaimana membangun operasi CAS multi-kata linearizable nonblocking hanya menggunakan CAS kata tunggal. Mereka pertama kali memperkenalkan operasi penukaran ganda-bandingkan-tunggal - RDCSS, sebagai berikut: word_t...
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...
Saya memahami konsistensi yang ketat dan berurutan secara mandiri dengan cukup baik. Strict C pada dasarnya menegakkan urutan aktual di mana instruksi dijalankan pada jam global. Sequential Consistency pada dasarnya memberlakukan pesanan hanya pada satu prosesor. Saya mengalami kesulitan...
Bukti Pengetahuan Concurrent Zero bersamaan dengan Logarithmic Round-Complexity Nomor halaman berasal dari kertas itu sendiri, dan bukan pdf. Dari halaman 3, "Sebuah sistem bukti interaktif dikatakan kotak hitam (komputasi) nol pengetahuan jika ada polinomial mesin waktu oracle...
Saya sebelumnya menanyakan pertanyaan ini di Programmers.SE , tanpa hasil. Saya mencari sumber belajar tertulis tentang bagaimana merancang struktur data bersamaan. Saya lebih tertarik pada proses desain (misalnya, mengidentifikasi invarian yang tepat) daripada produk akhir (daftar kode...