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

1
В чем разница между актерской моделью параллелизма и последовательным сообщением процессов
Я пытаюсь обернуть голову, в чем реальные различия между моделью актера параллелизма и моделью параллелизма последовательных процессов (CSP). На данный момент лучшее, что я смог придумать, это то, что модель актора позволяет изменять количество и расположение узлов, в то время как CSP имеет фиксированную структуру узлов.

2
Параллельный динамический поиск
Существует ли естественный параллельный аналог красно-черных деревьев со схожими или даже не очень худшими свойствами для обновлений, хотя он достаточно эффективен для работы? В целом, что мы можем сделать лучше для параллельного поиска с обновлениями?


1
Есть ли список канонических проблем в распределенных системах?
На прошлой неделе я снова читал текст Лесли Лампорта, опубликованный в 1982 году, на конференции, которую он дал о « Решенных проблемах, нерешенных проблемах и проблемах в параллелизме» . Бумага легко читается, но одна из вещей, которая заставила меня задуматься, это следующее утверждение: Можно ли рассматривать какую-либо проблему как проблему …

1
Что такое «псевдо время» при сравнении с семафорами
В настоящее время я слушаю выступление Алана Кейса "Это действительно сложно или мы просто усложнили?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ), где он говорит, что «семафоры были плохой идеей и что-то под названием псевдо-время было превосходным» (в 51:40 на связанном видео). Может быть, я неправильно понял слово «псевдо время», но знаете ли вы …

2
Почему линеаризуемость является безопасным свойством и почему защитные свойства замкнуты?
В главе 13 «Атомные объекты» книги «Распределенные алгоритмы» Нэнси Линч доказано, что линеаризуемость (также известная как атомарность) является свойством безопасности. То есть его соответствующее свойство trace непусто, закрыто по префиксу и закрыто по пределу , как определено в разделе 8.5.3. Неформально свойство безопасности часто интерпретируется как высказывание, что какая-то конкретная …

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

2
Ограничения на коллекции без блокировки?
Дэвид Родригес - dribeas написал в комментарии к StackOverflow, что «Не все коллекции могут быть реализованы без блокировок». Я не уверен, правда ли это, и я не могу найти доказательств в любом случае. Это утверждение не очень точное, но позвольте мне попытаться перефразировать его немного более формально: для каждого типа …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.