Pertanyaan yang diberi tag «concurrency»

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 menjamin bahwa hanya satu atau tidak ada proses berada di …

11 concurrency  synchronization  mutual-exclusion 

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 cd¯tehd¯tea\bar d_{\text{tea}}eteheteae_{\text{tea}}r¯r¯\bar rb¯b¯\bar …

11 logic  concurrency  modelling  process-algebras  ccs 

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 (walaupun mudah-mudahan tidak umum) bahwa dalam …

11 concurrency  synchronization  threads 

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 dan didistribusikan dan telah melihat formalisme di balik …

10 distributed-systems  concurrency 

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 menggambarkan hal-hal seperti keselamatan benang atau kondisi balap?

9 proof-techniques  correctness-proof  concurrency  threads 

Saya pikir dalam algoritma Peterson untuk saling pengecualian , jika proses pertama yang memasuki bagian kritis adalah mati atau dibatalkan, proses lain akan berulang selamanya, menunggu untuk memasuki bagian kritis. Dalam gambar, jika proses 1 dihentikan, sisa proses di belakang proses 1 akan dieksekusi hingga di mana proses 1 adalah …

9 programming-languages  concurrency  mutual-exclusion 

Sudah ada cukup banyak penelitian tentang algoritma pengecualian bersama - misalnya banyak yang disajikan dalam buku teks klasik seperti The Art of Multiprocessor Programming , di mana seluruh bab dikhususkan untuk mereka. Saya bertanya-tanya apa saja situasi praktis di mana seseorang mungkin membutuhkan algoritma ini selama rekayasa sistem bersamaan, daripada …

8 reference-request  concurrency  mutual-exclusion