Вопросы с тегом «distributed-systems»

Вопросы о проблемах решения проблем с несколькими взаимодействующими, но отдельными агентами.

68
Какая новинка в MapReduce?

Несколько лет назад MapReduce был провозглашен революцией в распределенном программировании. Также были критики но в целом был восторженный ажиотаж. Он даже запатентован! [1] Название напоминает mapи о reduceфункциональном программировании, но когда я читаю (Википедия) Шаг отображения: главный узел...

61
Распределенные и параллельные вычисления

Я часто слышу, как люди говорят о параллельных вычислениях и распределенных вычислениях, но у меня сложилось впечатление, что четкой границы между этими двумя понятиями нет, и люди склонны запутывать это довольно легко, хотя я считаю, что это совсем другое: Параллельные вычисления более тесно...

38
Синхронизация часов в сети с асимметричными задержками

Предположим, что на компьютере установлены точные часы, которые не инициализированы. То есть время на часах компьютера - это реальное время плюс некоторое постоянное смещение. Компьютер имеет подключение к сети , и мы хотим использовать это соединение для определения смещения постоянного .BBB...

30
Как функционально-реактивное программирование и модель актера связаны друг с другом?

FRP - это потоковая передача событий и поведения через чистые функции. Модель Actor - по крайней мере, как реализована в Akka - предназначена для потоковой передачи неизменяемых сообщений (которые можно считать дискретными событиями) через потенциально нечистые объекты, называемые акторами. Так что...

24
Начать изучать Теорию Распределенных Систем?

Что может быть лучше, чем кто-либо может сделать, чтобы иметь хорошее представление о теории распределенных систем, любые книги или ссылки, и темы должны быть покрыты в первую очередь и требования, чтобы начать обучение в этой...

23
Как работает таблица маршрутизации Population Pastry?

Этот вопрос был перенесен из Биржи стека разработки программного обеспечения, поскольку на него можно ответить в Бирже стеков информатики. Мигрировал 7 лет назад . Я пытаюсь реализовать распределенную хэш-таблицу для выпечки, но некоторые вещи ускользают от моего понимания. Я надеялся, что кто-то...

20
Измерение односторонней задержки сети

Это головоломка об измерении задержки в сети, которую я создал. Я считаю, что решение состоит в том, что это невозможно, но друзья не согласны. Я ищу убедительные объяснения в любом случае. (Хотя это и представляется загадкой, я думаю, что он подходит на этом веб-сайте из-за его применимости к...

19
распределенная альфа-бета-обрезка

Я ищу эффективный алгоритм, который позволил бы мне обрабатывать минимаксное дерево поиска шахмат с альфа-бета-отсечкой в распределенной архитектуре. Алгоритмы, которые я нашел (PVS, YBWC, DTS см. Ниже), все довольно старые (1990 год - самый последний). Я предполагаю, что с тех пор было много...

15
Все солдаты должны стрелять одновременно

Когда я был студентом, я увидел проблему в учебнике по цифровым системам / логическому проектированию, когда N солдат стоят в ряду и хотят одновременно стрелять. Более сложной версией проблемы было то, что солдаты стоят в общей сети, а не в ряду. Я уверен, что это классическая проблема, но я не...

15
Кто такие законодатели в Паксосе?

В оригинальной статье о распределенных системах Парламент с частичной занятостью (протокол Paxos) Лесли Лэмпорт называет выдуманных законодателей, которые участвуют в протоколе парламента Paxon. Согласно этому письму , он отмечает, что: Я дал греческим законодателям имена компьютерных ученых,...

11
Предлагая уточнения типов

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then {...

10
Формализмы в параллельном и / или распределенном программировании?

Мой опыт пришел из императивных языков, прежде всего C, C ++ и Python. Я подобрал Scala, Erlang и немного Haskell несколько лет спустя и с тех пор очень заинтересовался функциональным программированием и формализмом, лежащим в его основе. Я также заинтересован в параллельном и распределенном...

10
Можно ли формализовать сквозной принцип?

В конце 1990-х, когда я учился в аспирантуре, газета JH Saltzer; DP Reed; Д. Д. Кларк: Сквозные аргументы в дизайне системы . ACM Trans. Вычи. Сист. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 в каждом классе операционных систем в каждом университете требовалось чтение, и это все еще...

9
Внешняя согласованность и линеаризуемость

В Шпаннера, TrueTime и ПСП теорема , Эрик Брюэр пишет: Одна из тонких особенностей Spanner заключается в том, что он получает сериализуемость от блокировок, но он получает внешнюю согласованность (аналогично линеаризуемости ) от TrueTime [ выделение добавлено ]. Что такое определение внешней...