«concurrency» etiketlenmiş sorular

Şu anda üniversitemde eşzamanlı programlama kursuna katılıyorum ve yakın zamanda bir monitör kavramı hakkında konuşmaya başladık. Karşılıklı dışlamanın gerekliliğini anlasam da, bunun için neden bir monitör kullanacağımı anlamıyorum. Anladığım kadarıyla, bir monitör her zaman kritik bölümde tam olarak bir veya hiç sürecin olmadığını garanti eder. Tam olarak bunu bir semaforla …

11 concurrency  synchronization  mutual-exclusion 

Bir içecek dağıtıcısı kullanıcının bir bozuk para ( ) eklemesini gerektirir , ardından üç düğmeden birine basın: bir bardak çay ister , kahve için aynen ve geri ödeme isteğinde bulunur (yani makine jetonu geri verir: ). Bu dağıtıcı aşağıdaki CCS işlemi ile modellenebilir :c¯c¯\bar cd¯Çayd¯Çay\bar d_{\text{tea}}eÇayeÇaye_{\text{tea}}r¯r¯\bar rb¯b¯\bar b M=d e …

11 logic  concurrency  modelling  process-algebras  ccs 

Anladığım kadarıyla, bir muteksin en popüler uygulamalarının (örn. C ++ 'da std :: mutex) adaleti garanti etmediği - yani, çekişme durumlarında, kilidin iş parçacıkları tarafından sırayla alınacağını garanti etmezler. lock () olarak adlandırılır. Aslında, yüksek çekişme durumlarında, muteksi elde etmeyi bekleyen ipliklerden bazılarının asla elde edemeyeceği (umarım nadir de olsa) …

11 concurrency  synchronization  threads 

Arka planım zorunlu dillerden, özellikle C, C ++ ve Python'dan geldi. Birkaç yıl sonra Scala, Erlang ve biraz Haskell'i aldım ve o zamandan beri fonksiyonel programlama ve bunun arkasındaki formalizmlerle çok ilgilenmeye başladım. Aynı zamanda eşzamanlı ve dağıtılmış programlamaya da ilgi duyuyorum ve bunun arkasında, özellikle de en azından "gün …

10 distributed-systems  concurrency 

Bu değişkenleri değiştiren değişkenlerden ve talimatlardan oluşan bir program ve bir senkronizasyon ilkesi (bir monitör, muteks, java senkronize veya C # kilidi) göz önüne alındığında, böyle bir programın iş parçacığı açısından güvenli olduğunu kanıtlamak mümkün müdür? İplik güvenliği veya yarış koşulları gibi şeyleri tanımlamak için resmi bir model bile var …

10 proof-techniques  correctness-proof  concurrency  threads 

Ben de düşünüyorum Peterson algoritması için karşılıklı dışlama işlemi ilk kritik bölümüne girmek için eğer ölmek veya diğer süreç döngü sonsuza kadar kritik bölümünü girmek için bekleyen olurdu iptal edildi. Resimde, işlem 1 durdurulursa, işlem 1'in arkasındaki işlemlerin geri kalanı, işlem 1'in bulunduğu yere kadar yürütülür, ancak daha sonra döngü …

9 programming-languages  concurrency  mutual-exclusion