Pertanyaan yang diberi tag «concurrency»

Ketika melihat pemrograman konkuren, dua istilah yang umum digunakan yaitu konkuren dan paralel. Dan beberapa bahasa pemrograman secara khusus mengklaim dukungan untuk pemrograman paralel, seperti Java . Apakah ini berarti pemrograman paralel dan konkuren sebenarnya berbeda?

44 terminology  parallel-computing  concurrency 

Saya mencoba memahami algoritma oleh Peterson dan Dekker yang sangat mirip dan menampilkan banyak simetri. Saya mencoba merumuskan algoritma dalam bahasa informal seperti berikut: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." } Else: Enter …

41 concurrency  synchronization  mutual-exclusion 

Setelah membaca beberapa sumber saya masih bingung tentang utas tingkat pengguna dan kernel. Khususnya: Utas dapat ada di level pengguna dan level kernel Apa perbedaan antara level pengguna dan level kernel?

33 operating-systems  terminology  concurrency  os-kernel 

Saya sering mendengar frasa seperti 'semantik konkurensi sejati' dan 'kesetaraan konkurensi sejati' tanpa referensi. Apa arti istilah-istilah itu dan mengapa itu penting? Apa saja contoh kesetaraan konkurensi yang sebenarnya dan apa perlunya bagi mereka? Misalnya dalam kasus mana mereka lebih berlaku daripada lebih banyak persamaan standar (bisimulasi, jejak kesetaraan, dll)?

28 terminology  reference-request  concurrency 

Setahu saya, ada tiga aljabar proses utama yang telah mengilhami berbagai penelitian ke dalam model formal konkurensi. Ini adalah: CCS dan -kalkulus keduanya oleh Robin Milnerππ\pi CSP oleh Tony Hoare dan ACP oleh Jan Bergstra dan Jan Willem Klop Ketiganya tampaknya sampai hari ini memiliki pengikut yang cukup aktif dan …

21 logic  concurrency  process-algebras 

Saya telah membaca sedikit literatur belakangan ini, dan telah menemukan beberapa struktur data yang agak menarik. Saya telah meneliti berbagai metode untuk menurunkan waktu pembaruan menjadi waktu pembaruan terburuk [1-7].O (1)O(1)\mathcal{O}(1) Baru-baru ini saya mulai mencari struktur data bebas kunci, untuk mendukung akses bersamaan yang efisien. Apakah ada teknik update-waktu …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Saya memiliki log basis data tempat beberapa transaksi menang (dilakukan sebelum crash) dan beberapa kehilangan (belum dilakukan). Kami belajar di kelas bahwa tindakan yang kalah harus dibatalkan. Apakah ada alasan untuk melakukan ini mundur? Adakah yang bisa memberikan contoh sederhana log di mana forward undo akan memberikan hasil yang salah?

19 concurrency  databases 

Kunci biasanya diterapkan melalui instruksi set-and-set dan swap level mesin. Apakah ada implementasi lain yang tidak menggunakan ini? Juga, dapatkah kita mengatakan bahwa semua solusi tingkat perangkat keras untuk masalah bagian kritis dapat dikategorikan menjadi hanya tiga, yaitu, interupsi penonaktifan, uji-dan-set, dan tukar?

19 concurrency  synchronization  mutual-exclusion 

Menurut Wikipedia , Operasi uji-dan-atur dapat menyelesaikan masalah konsensus bebas-tunggu selama tidak lebih dari dua proses bersamaan. Mengapa tidak bisa menyelesaikan masalah selama lebih dari dua proses?

17 concurrency  consensus 

Ketika kita melihat Model Aktor dan Mengkomunikasikan Proses Berurutan kita melihat bahwa mereka berdua mencoba melakukan konkurensi berdasarkan pesan yang lewat , namun keduanya berbeda . (Kita melihat implementasi dari Model CSP di go-lang 's goroutines (dan Clojure ini core.async ) dan Model Aktor di Scala Akka toolkit) Saya mencoba …

16 concurrency  message-passing 

Saya telah membaca tentang bahasa pemrograman berbasis stack, seperti FORTH dan Cat , dan tampaknya mengingat sifatnya, mereka hanya dapat menjalankan satu tindakan pada satu waktu terlepas dari paradigma mereka (FORTH sangat penting sedangkan Cat berfungsi). Bahasa imperatif akan memodifikasi tumpukan, dan bahasa murni fungsional, seperti Joy , akan mengembalikan …

14 concurrency  stacks  evaluation-strategies 

Saya telah membaca tentang perbedaan antara serializability dan linearizability , yang keduanya merupakan kriteria konsistensi untuk sistem yang direplikasi seperti database yang direplikasi. Namun, saya tidak tahu dalam hal apa linierabilitas akan diperlukan, meskipun itu lebih kuat dari serializability. Bisakah Anda membuat skenario di mana properti kuat seperti itu sebenarnya …

13 concurrency  databases 

Apakah ada perubahan yang dapat dilakukan pada CPU untuk membuatnya berkinerja lebih baik untuk runtime bersamaan seperti Rust? Misalnya, apakah ada perubahan pada implementasi prediksi cabang atau ukuran cache yang akan membantu runtime bersamaan? Saya memiliki kesan bahwa desain CPU saat ini mungkin lebih dioptimalkan untuk runtime prosedural seperti C. …

13 computer-architecture  concurrency  functional-programming 

Saya merancang objek database dalam-memori untuk kasus penggunaan yang sangat spesifik. Ini adalah penulis tunggal, tetapi harus mendukung pembacaan berbarengan yang efisien. Bacaan harus diisolasi. Tidak ada bahasa permintaan, database hanya mendukung: dapatkan objek / -s dengan atribut / set atribut (mungkin ada dukungan untuk ekspresi, misalnya x.count < 5) …

12 data-structures  concurrency  databases 

Dengan kata lain, apa kelebihan yang dimiliki Hybrid threading lebih dari 1: 1 (hanya kernel) dan N: 1 (hanya pengguna) threading? Ini adalah tindak lanjut untuk Apa perbedaan antara utas tingkat pengguna dan utas tingkat kernel?

12 operating-systems  concurrency  os-kernel