Pertanyaan yang diberi tag «concurrency»

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 CSP memiliki struktur tetap node.

26 concurrency 

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?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Apakah ada deskripsi yang berguna tentang masa depan atau janji dalam hal teori kategori? Secara khusus, apa yang bisa menjadi ganda kategorikal dari Masa Depan?

22 pl.programming-languages  ct.category-theory  concurrency 

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 

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 pada video yang ditautkan). Mungkin saya salah mengerti kata …

11 terminology  concurrency 

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 

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 RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while …

10 dc.parallel-comp  concurrency 

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 cara yang sedikit lebih formal: Untuk setiap jenis …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency 

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 lengkap). Sebagai contoh konkret: Saya benar-benar menikmati buku Chris Okasaki “Struktur Data Murni …

8 ds.algorithms  reference-request  ds.data-structures  concurrency 

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 probabilistik sehingga untuk setiap waktu polinomial probabilistik verifier dan untuk semua , distribusi …

8 cr.crypto-security  concurrency  zero-knowledge 

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 mengumpulkan beberapa literatur. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html menjelaskan konsistensi sekuensial yang memungkinkan memori 'lag'. …

8 pl.programming-languages  dc.parallel-comp  concurrency