Вопросы с тегом «dc.distributed-comp»

Теоретические вопросы в распределенных вычислениях

4
Почему мы не смогли разработать единую теорию сложности распределенных вычислений?
Область распределенных вычислений оказалась крайне неудачной в разработке единой математической теории для описания распределенных алгоритмов. Существует несколько «моделей» и структур распределенных вычислений, которые просто не совместимы друг с другом. Абсолютный взрыв различных временных свойств (асинхронность, синхронность, частичная синхронность), различных примитивов связи (передача сообщений по сравнению с общей памятью, широковещательная или …

10
Текущие параллельные модели для расчетов
В 1980-х годах появились модели параллельных вычислений PRAM и BSP . Кажется, что расцвет обеих моделей был в конце 80-х и начале 90-х годов. Эти области все еще активны с точки зрения исследования параллельных алгоритмов? Существуют ли более новые, более сложные модели для параллельных вычислений? Общие модели все еще в …

4
Основные нерешенные проблемы в распределенных системах?
Вдохновленный этим вопросом , каковы основные проблемы и существующие решения, которые нуждаются в улучшении в (теоретической) области распределенных систем. Что-то вроде протоколов членства, согласованности данных?

1
Оценка процентиля среди распределенных узлов без раскрытия значений
Этот вопрос был перенесен из Cross Validated, потому что на него можно ответить на теоретической бирже информатики. Мигрировал 8 лет назад . У меня есть довольно уникальная проблема, которую я хочу решить, и я надеюсь, что кто-то здесь может дать мне некоторое представление о том, как лучше всего ее решить. …

4
Почему проблема консенсуса так важна в распределенных вычислениях?
В распределенных вычислениях проблема консенсуса, по-видимому, является одной из центральных тем, которая привлекла интенсивные исследования. В частности, статья «Невозможность распределенного консенсуса с одним ошибочным процессом» была удостоена награды PODC за выдающуюся работу в 2001 году . Так почему проблема консенсуса так важна? Чего мы можем достичь с консенсусом как в …

4
Бесконечно большие, но локально конечные задачи вычислений
Этот вопрос вдохновлен комментарием Юкки Суомела к другому вопросу . Каковы примеры бесконечно больших, но локально конечных вычислительных задач (и алгоритмов)? Другими словами, каковы примеры вычислений, которые останавливаются за конечное время, когда каждая машина Тьюринга считывает и обрабатывает только конечные данные, но в целом вычисления решают проблему бесконечного размера, если …

1
Доказательства правильности классических Paxos и Fast Paxos
Я читаю статью «Быстрых Паксосов» Лесли Лампорта и застреваю с доказательствами правильности как классических Паксосов, так и Быстрых Паксосов. Для согласованности значение vvv выбранное координатором на этапе 2a2a2a в раунде iii должно удовлетворять CP(v,i):CP(v,i):CP(v,i): Для любого раундаj&lt;ij&lt;ij < i никакое значение, кромеvvv не было или не могло быть выбрано в …

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

2
Децентрализованный алгоритм определения влиятельных узлов в социальных сетях
В этой статье Kempe-Kleinberg-Tardos авторы предлагают жадные алгоритмы, основанные на субмодульных функциях, для определения наиболее влиятельных узлов в графе с приложениями к социальным сетям.kkk В основном алгоритм работает следующим образом: S=empty setS=empty setS = {\rm empty~set} выберите узел с наибольшим индивидуальным влиянием, назовите его ; S = S ∪ v …

2
сложность рандомизированных сплетен
Проблема сплетен в распределенных системах заключается в следующем. У нас есть граф с n вершинами. Каждая вершина v имеет сообщение m v, которое необходимо отправить всем узлам.GGGnnnvvvmvmvm_v Теперь мой вопрос в контексте специальной сетевой модели (мы предполагаем, что узел не имеет каких-либо предварительных знаний о топологии сети, степенях входа и …

5
Сбои процессора в распределенных вычислениях, которые не являются сбоями или византийскими
Существует два основных типа сбоев процессора в моделях распределенных вычислений: (1) Сбои: процессор останавливается и больше не запускается. (2) Византийские сбои: процессоры ведут себя соперничающе, злонамеренно. Мой вопрос: Каковы некоторые другие типы отказов процессора, которые были изучены, которые не сводятся к сбоям или византийским сбоям? Также более конкретный вопрос: Была …

3
Эффективное сравнение DAG по сети
В распределенных системах контроля версий (таких как Mercurial и Git ) существует необходимость эффективного сравнения направленных ациклических графов (DAG). Я - разработчик Mercurial, и нам было бы очень интересно услышать о теоретической работе, в которой обсуждается сложность времени и сети при сравнении двух групп DAG. Рассматриваемые группы обеспечения доступности баз …

1
Каковы основные проблемы исследования в распределенных транзакциях?
Справочная информация: обработка транзакций была традиционной темой исследования в теории баз данных. В настоящее время распределенные транзакции популяризируются крупномасштабными распределенными системами хранения, которые обычно включают разделение данных (также называемое разделением ) и репликацию данных . Каковы основные проблемы исследования в распределенных транзакциях? Существуют ли известные теории и решения, которые нуждаются …

1
В чем преимущество разработки детерминированных распределенных алгоритмов?
Распределенные алгоритмы, которые устойчивы к сбоям, могут быть либо детерминированными, либо вероятностными. Возьмите для примера проблему консенсуса. Paxos является детерминированным в том смысле, что, учитывая допущение, оно всегда работает. В противоположность этому рандомизированный консенсус работает с заданной вероятностью. В чем преимущество разработки и использования детерминированного алгоритма? Предположения, на которые опираются …

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

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.