«concurrency» etiketlenmiş sorular

Eşzamanlı programlamaya bakıldığında, iki terim sıklıkla kullanılır, yani eşzamanlı ve paralel. Bazı programlama dilleri, özellikle Java gibi paralel programlama için destek talep eder . Bu paralel ve eşzamanlı programlamanın aslında farklı olduğu anlamına mı geliyor?

44 terminology  parallel-computing  concurrency 

Çok benzer simetri gösteren ve Peterson ve Dekker'in algoritmalarını anlamaya çalışıyorum. Algoritmaları gayrı resmi bir dilde aşağıdaki gibi formüle etmeye çalıştım: 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 CS! // CS …

41 concurrency  synchronization  mutual-exclusion 

Birkaç kaynak okuduktan sonra, kullanıcı ve çekirdek seviyesindeki iş parçacıkları hakkında hala kafam karışık. Özellikle: Konular hem kullanıcı düzeyinde hem de çekirdek düzeyinde olabilir. Kullanıcı seviyesi ile çekirdek seviyesi arasındaki fark nedir?

33 operating-systems  terminology  concurrency  os-kernel 

Sık sık 'gerçek eşzamanlılık semantiği' ve 'gerçek eşzamanlılık denklikleri' gibi ifadeler referans olmadan duyuyorum. Bu terimler ne anlama geliyor ve neden önemlidir? Bazı gerçek eşzamanlılık denkliği örnekleri nelerdir ve bunlara ihtiyaç duyulan nedir? Örneğin, hangi durumlarda daha fazla standart denklikten daha uygundurlar (bisimülasyon, iz denkliği, vb.)?

28 terminology  reference-request  concurrency 

Bildiğim kadarıyla, resmi eşzamanlılık modelleri hakkında geniş bir araştırma yelpazesine ilham veren üç ana işlem cebiri vardır. Bunlar: CCS ve hesabı hem Robin Milner tarafındanππ\pi Tony Hoare tarafından CSP ve ACP Jan Bergstra ve Jan Willem Klop tarafından Üçünün de bugüne kadar oldukça aktif bir takibi var gibi görünüyor ve …

21 logic  concurrency  process-algebras 

Son zamanlarda literatürden biraz okudum ve oldukça ilginç veri yapıları buldum. Güncelleme sürelerini en kötü durum güncelleme süresine [1-7] düşürmek için çeşitli farklı yöntemler araştırdım .O ( 1 )O(1)\mathcal{O}(1) Son zamanlarda verimli eşzamanlı erişimi desteklemek için kilitsiz veri yapılarını araştırmaya başladım. veri yapılarının uygulanmasında bu en kötü durum güncelleme zamanı …

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

Bazı işlemlerin kazandığı bir veritabanı günlüğüm var (çökmeden önce işlenirler) ve bazıları kaybeder (henüz taahhüt edilmez). Sınıfta kaybedenlerin hareketlerinin geriye doğru yapılması gerektiğini öğrendik. Bunu geriye doğru yapmak için herhangi bir neden var mı? Herkes ileri geri alma yanlış sonuçlar verecek bir günlük basit bir örnek verebilir misiniz?

19 concurrency  databases 

Kilitler genellikle test ve ayar ve makine düzeyinde talimatlar aracılığıyla uygulanır. Bunları kullanmayan başka uygulamalar var mı? Ayrıca, kritik bölüm sorununa yönelik tüm donanım seviyesi çözümlerinin yalnızca devre dışı bırakma, test etme ve ayarlama ve takas olarak üç kategoriye ayrılabileceğini söyleyebilir miyiz?

19 concurrency  synchronization  mutual-exclusion 

Wikipedia'ya göre , Test ve ayarlama işlemi, iki eşzamanlı işlemden fazla olmamak üzere, beklemesiz uzlaşma problemini çözebilir. Neden ikiden fazla işlem için sorunu çözemiyor?

17 concurrency  consensus 

Biz baktığımızda Erkek Oyuncu Modeli ve Haberleşiyor Sıralı Süreçleri biz onlar hem yapmaya çalışıyoruz görüyoruz eşzamanlılık dayalı Mesaj yollama , henüz onlar farklıdır . (Biz uygulamalarını bkz CSP Modeli içinde go-lang 'ın goroutines (ve Clojure en core.async ) ve Aktör Modeli Scala'nın Akka araç) Aktör Modeli ve CSP arasındaki farkların …

16 concurrency  message-passing 

FORTH ve Cat gibi yığın tabanlı programlama dilleri hakkında okuyordum ve doğası göz önüne alındığında, paradigmalarına bakılmaksızın bir seferde sadece bir eylem gerçekleştirebilecekleri anlaşılıyor (Cat işlevselken FORTH zorunludur). Zorunlu bir dil yığını değiştirir ve Joy gibi tamamen işlevsel bir dil yeni bir yığın döndürür, ama asıl nokta aynı anda yalnızca …

14 concurrency  stacks  evaluation-strategies 

Çoğaltılmış veritabanları gibi çoğaltılmış sistemler için tutarlılık ölçütü olan serileştirilebilirlik ve doğrusallaştırılabilirlik arasındaki farkları okudum . Ancak, serileştirilebilirlikten daha güçlü olmasına rağmen hangi durumlarda doğrusallaştırmaya ihtiyaç duyulacağını bilmiyorum. Böyle güçlü bir mülkün gerçekten gerekli olacağı senaryolar bulabilir misiniz?

13 concurrency  databases 

Rust gibi eşzamanlı çalışma zamanlarında daha iyi performans göstermeleri için CPU'larda yapılabilecek herhangi bir değişiklik var mı? Örneğin, şube tahmin uygulamalarında veya önbellek boyutlarında eşzamanlı çalışma zamanlarına yardımcı olacak değişiklikler var mı? Mevcut CPU tasarımlarının C gibi prosedürel çalışma zamanları için daha iyi optimize edilebileceği izlenimine sahibim. Bunun yerine eşzamanlı …

13 computer-architecture  concurrency  functional-programming 

Çok özel bir kullanım durumu için bir bellek içi nesne veritabanı tasarlıyorum. Tek bir yazardır, ancak verimli eşzamanlı okumaları desteklemesi gerekir. Okumalar izole edilmelidir. Sorgu dili yoktur, veritabanı yalnızca şunları destekler: özniteliğe / öznitelik kümesine göre nesne / -s alma (ifadeler için destek olabilir, ör. x.count < 5) nesnenin niteliğini …

12 data-structures  concurrency  databases 

Başka bir deyişle, Hibrit iş parçacığının 1: 1 (yalnızca çekirdek) ve N: 1 (yalnızca kullanıcı) üzerinde iş parçacığı üzerindeki avantajları nelerdir? Bu, kullanıcı düzeyi iş parçacıkları ile çekirdek düzeyi iş parçacıkları arasındaki fark nedir?

12 operating-systems  concurrency  os-kernel