Запитання з тегом «concurrency»

Я намагаюся обернути голову навколо того, які реальні відмінності між моделлю паралельності актора та комунікаційними послідовними процесами (CSP) одночасності. Поки що найкраще, що мені вдалося придумати, - це те, що модель Actor дозволяє змінювати кількість та компонування вузлів, тоді як CSP має фіксовану структуру вузлів.

26 concurrency 

Чи є природний паралельний аналог червоно-чорним деревам з подібними або навіть не дуже жахливими властивостями для оновлень, при цьому він є досить ефективним? Загалом, що найкраще ми можемо зробити для паралельного пошуку з оновленнями?

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

Чи є корисний опис ф'ючерсів чи обіцянок з точки зору теорії категорій? Зокрема, яким може бути категоричний дуал майбутнього?

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

Минулого тижня я знову читав розписку Леслі Лампорт 1982 року конференції, яку він дав про вирішені проблеми, нерозв’язані проблеми та непроблеми в паралельній валюті . Папір легко читається, але однією з речей, на які я задумався, є наступне твердження: Чи можна будь-яку проблему розцінювати як проблему взаємного виключення чи проблему …

13 reductions  dc.distributed-comp  concurrency 

Я зараз слухаю розмову Алана Кейса "Це дійсно складно чи ми просто ускладнили це?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), де він каже, що "семафори були поганою ідеєю, і щось було під назвою псевдо-часу, що було вищим" (о 51:40 на пов'язаному відео). Можливо, я неправильно зрозумів слово "псевдо-час", але чи знаєте ви щось …

11 terminology  concurrency 

У главі 13 "Атомні об'єкти" книги "Розподілені алгоритми" Ненсі Лінч лінійна здатність (також відома як атомність) виявляється властивістю безпеки. Тобто відповідне його властивість слід непусте, префікс-закрите та обмежене закрите , як визначено у розділі 8.5.3. Неофіційно власність безпеки часто трактується так, що говорить про те, що якась конкретна «погана» річ …

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

У статті з такою ж назвою, що й у цьому питанні, автори описують, як побудувати неблокуючу лінійну операцію з декількома словами CAS, використовуючи лише односкладне CAS. Вони спочатку запроваджують операцію подвійного порівняння-один-своп - RDCSS, наступним чином: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); …

10 dc.parallel-comp  concurrency 

Девід Родрігес - dribeas написав у коментарі StackOverflow, що "Не всі колекції можна реалізувати без блокування". Я не впевнений, чи це правда, і я не можу знайти доказів в будь-якому випадку. Це твердження не дуже точне, але дозвольте спробувати переформулювати його дещо формальніше: для кожного типу колекції Cіснує безконтактний збірник …

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