Вопросы с тегом «concurrency»

Я пытаюсь обернуть голову, в чем реальные различия между моделью актера параллелизма и моделью параллелизма последовательных процессов (CSP). На данный момент лучшее, что я смог придумать, это то, что модель актора позволяет изменять количество и расположение узлов, в то время как 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 «Атомные объекты» книги «Распределенные алгоритмы» Нэнси Линч доказано, что линеаризуемость (также известная как атомарность) является свойством безопасности. То есть его соответствующее свойство trace непусто, закрыто по префиксу и закрыто по пределу , как определено в разделе 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); …

10 dc.parallel-comp  concurrency 

Дэвид Родригес - dribeas написал в комментарии к StackOverflow, что «Не все коллекции могут быть реализованы без блокировок». Я не уверен, правда ли это, и я не могу найти доказательств в любом случае. Это утверждение не очень точное, но позвольте мне попытаться перефразировать его немного более формально: для каждого типа …

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