«concurrency» etiketlenmiş sorular

Eşzamanlılığın Aktör Modeli ile eşzamanlılığın İletişimsel Sıralı Süreçler (CSP) modeli arasındaki gerçek farkların etrafını sarmaya çalışıyorum. Şimdiye kadar bulabildiğim en iyisi Aktör Modelinin, düğümlerin sabit bir yapıya sahip olmasına rağmen, düğümlerin sayısının ve düzeninin değişmesine izin vermesidir.

26 concurrency 

Makul bir şekilde iş etkinliğinde yapılan güncellemeler için benzer veya hatta daha da kötüsü olmayan özelliklere sahip kırmızı-siyah ağaçlara doğal bir paralel analog var mı? Daha genel olarak, güncellemeleri içeren paralel arama için en iyisini yapabiliriz?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Kategori teorisi açısından geleceklerin veya vaatlerin yararlı bir açıklaması var mı ? Özellikle, Geleceğin kategorik çifti ne olabilir?

22 pl.programming-languages  ct.category-theory  concurrency 

Geçen hafta, Leslie'nin Lamport'un 1982'de Çözülen Sorunlar, Çözülmemiş Sorunlar ve Eşzamanlı Olmayan Sorunlar hakkında verdiği bir konferansın trasncript'ini tekrar okuyordum . Kağıt kolayca okunabilir, ancak beni düşündüren şeylerden biri şu iddia: Herhangi bir problem karşılıklı dışlama problemi veya üretici-tüketici problemi veya bu ikisinin bir kombinasyonu olarak kabul edilebilir mi? Bu …

13 reductions  dc.distributed-comp  concurrency 

Şu anda Alan Kays'ın "Gerçekten karmaşık mı yoksa sadece karmaşık mı yaptık?" ( https://www.youtube.com/watch ? Belki "yalancı zaman" kelimesini yanlış anladım, ama bunlar hakkında bir şey biliyor musun?

11 terminology  concurrency 

Nancy Lynch'in "Dağıtılmış Algoritmalar" kitabının 13.Bölümünün "Atomik Nesneleri" nde doğrusallaştırılabilirliğin (atomisite olarak da bilinir) bir güvenlik özelliği olduğu kanıtlanmıştır. Yani, karşılık gelen izleme özelliği Bölüm 8.5.3'te tanımlandığı gibi boş, önek kapalı ve sınır kapalıdır . Gayri resmi olarak, bir güvenlik mülkü genellikle belirli bir “kötü” şeyin asla gerçekleşmediğini söyleyerek yorumlanır. …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Gelen yazıda bu soruya aynıdır başlıkla, yazarlar nasıl oluşturulacağını açıklayan tıkanmasızdır lineerleşebilirdir çok kelimeli CAS sadece tek kelimelik CAS kullanarak işlemi. İlk önce çift karşılaştırma-tek değiştirme işlemini (RDCSS) aşağıdaki gibi tanıtırlar: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while (IsDescriptor(r)); if (r …

10 dc.parallel-comp  concurrency 

David Rodríguez - dribeas , StackOverflow'a yaptığı açıklamada, "Tüm koleksiyonlar kilitsiz uygulanamaz" yazdı . Bunun doğru olup olmadığından emin değilim ve her iki şekilde de kanıt bulamıyorum. Bu ifade çok kesin değil, ama biraz daha resmi bir şekilde yeniden ifade etmeye çalışmama izin verin: Her koleksiyon türü için C, aynı …

10 ds.data-structures  pl.programming-languages  dc.distributed-comp  concurrency