Tanya tentang masalah konkurensi seperti sinkronisasi dan kebuntuan.
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
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...
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?
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...
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...
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...
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...
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...
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
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...
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...
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...
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...
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
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...
Dispenser minuman mengharuskan pengguna untuk memasukkan koin ( ), lalu tekan salah satu dari tiga tombol: meminta secangkir teh , selain kopi , dan meminta pengembalian uang (yaitu mesin mengembalikan koin: ). Dispenser ini dapat dimodelkan dengan proses CCS berikut :ˉ d teheteh ˉ r ˉ bc¯c¯\bar...
Pemahaman saya adalah bahwa implementasi mutex yang paling populer (misalnya std :: mutex dalam C ++) tidak menjamin keadilan - yaitu, mereka tidak menjamin bahwa dalam kasus pertengkaran, kunci akan diperoleh oleh utas dalam urutan yang mereka inginkan. disebut kunci (). Bahkan, mungkin saja...
Saat ini saya menghadiri kursus pemrograman bersamaan di universitas saya dan kami baru-baru ini mulai berbicara tentang konsep monitor. Sementara saya memahami perlunya saling pengecualian, saya tidak mengerti mengapa saya akan menggunakan monitor untuk itu. Seperti yang saya pahami, monitor...
Latar belakang saya berasal dari bahasa imperatif, terutama C, C ++, dan Python. Saya mengambil Scala, Erlang, dan sedikit Haskell beberapa tahun kemudian dan sejak itu menjadi sangat tertarik pada pemrograman fungsional dan formalisme di belakangnya. Saya juga tertarik pada pemrograman bersamaan...
Diberikan program yang terdiri dari variabel dan instruksi yang memodifikasi variabel-variabel ini, dan primitif sinkronisasi (monitor, mutex, kunci java disinkronkan atau kunci C #), apakah mungkin untuk membuktikan bahwa program seperti itu aman untuk digunakan? Apakah ada model formal untuk...