Запитання з тегом «distributed-systems»

Кілька років тому MapReduce був визнаний революцією розподіленого програмування. Також були критики, але, за великим рахунком, був захоплений галас. Це навіть запатентоване! [1] Назва нагадує mapі reduceфункціональне програмування, але коли я читаю (Вікіпедія) Крок карти: Головний вузол приймає вхід, ділить його на менші підпроблеми та розподіляє їх на робочі вузли. …

67 algorithms  distributed-systems  parallel-computing  algorithm-design 

Я часто чую, як люди говорять про паралельні обчислення та розподілені обчислення, але мені здається, що чіткої межі між двома не існує, і люди, як правило, плутають це досить легко, хоча я вважаю, що це дуже різне: Паралельні обчислення більш щільно поєднуються з багатопотоковою обробкою, або як повною мірою використовувати …

60 terminology  distributed-systems  parallel-computing 

Припустимо, у комп'ютера є точний годинник, який не ініціалізується. Тобто час на годиннику комп’ютера - це реальний час плюс деяке постійне зміщення. Комп'ютер має підключення до мережі , і ми хочемо використати цю сполуку для визначення зміщення постійного .BBB Найпростіший метод полягає в тому, що комп'ютер відправляє запит на сервер …

38 clocks  distributed-systems  computer-networks 

FRP - це передача подій та поведінки через чисті функції. Модель Actor - принаймні, як це реалізовано в Akka - стосується потокової передачі незмінних повідомлень (які можна вважати дискретними подіями) через потенційно нечисті об'єкти, звані акторами. Тож на поверхні вони здаються спорідненими. Що ще можна сказати про те, як вони …

30 distributed-systems  functional-programming  programming-paradigms 

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

24 reference-request  education  distributed-systems 

Це питання було переміщено з Exchange Engineering Stack Exchange, оскільки на нього можна відповісти на сайті Computer Science Stack Exchange. Мігрували 7 років тому . Я намагаюся реалізувати таблицю розподілених хеш-консистентних виробів, але деякі речі уникають мого розуміння. Я сподівався, що хтось може уточнити. Відмова : Я не студент інформатики. …

23 algorithms  data-structures  distributed-systems  hash-tables 

Це загадка про вимірювання мережевої затримки, яку я створив. Я вважаю, що рішення полягає в тому, що це неможливо, але друзі не згодні. Я так чи інакше шукаю переконливих пояснень. (Хоча вона і поставлена ​​як головоломка, я думаю, що вона підходить для цього веб-сайту через його застосовність до дизайну та …

20 computer-networks  protocols  distributed-systems 

Я шукаю ефективний алгоритм, який дозволяє мені обробити шахматне дерево пошуку мінімаксу з обрізкою альфа-бета на розподіленій архітектурі. Знайдені нами алгоритми (PVS, YBWC, DTS див. Нижче) всі досить старі (1990 рік - останній). Я припускаю, що відтоді було багато суттєвих зрушень. Який сучасний стандарт у цій галузі? Також, будь ласка, …

19 algorithms  distributed-systems  board-games 

У документі " Навчальний розподіл систем " "Парламент за сумісництвом" (протокол Паксоса) Леслі Лампорт називає вигаданих законодавців, які причетні до протоколу парламенту Паксона. Згідно з цим твором , він зазначає, що: Я дав грецьким законодавцям імена комп’ютерних вчених, які працюють у цій галузі, транслітеровані за допомогою Гібаса на фальшивий грецький …

15 distributed-systems  history 

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

15 algorithms  distributed-systems  clocks 

Мені було цікаво, чи хтось знає походження моделі клієнтського сервера. Звідки походить цей термін (папір, програмне забезпечення, книга)?

13 terminology  reference-request  distributed-systems  history 

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені 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 …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Наприкінці 1990-х, коли я навчався в аспірантурі, папір JH Saltzer; Д. П. Рід; Д.Д. Кларк: аргументи в кінці системи . ACM Trans. Обчислення. Сист. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 був дуже потрібний для читання в кожному класі операційних систем у кожному університеті, і все одно, здається, …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

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

10 distributed-systems  concurrency 

В теоремі Spanner, TrueTime & CAP Ерік Брюер пише: Одна тонка річ про Шпаннер тому , що він отримує серіалізуемость із замків, але він отримує зовнішню послідовність ( по аналогії з лінеарізуемості ) з TrueTime [ курсив ]. Що таке визначення зовнішньої консистенції та чим воно відрізняється від лінійності ?

9 distributed-systems