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

Поле розподілених обчислень надзвичайно коротко розробило єдину математичну теорію для опису розподілених алгоритмів. Існує кілька «моделей» та рамок розподілених обчислень, які просто не сумісні між собою. Швидкий вибух різних тимчасових властивостей (асинхронність, синхронність, часткова синхронія), різні комунікативні примітиви (передача повідомлення проти загальної пам’яті, трансляція проти одноадресної передачі), декілька моделей несправностей …

41 big-picture  dc.distributed-comp 

1980-ті рр. Породили і моделі PRAM, і BSP паралельних обчислень. Схоже, розквіт обох моделей був наприкінці 80-х та на початку 90-х. Чи є ці області ще активними щодо дослідження паралельних алгоритмів? Чи існують новіші складніші моделі паралельних обчислень? Чи загальні моделі все ще залишаються в моді, або дослідники намагаються спеціалізуватися …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

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

23 big-list  dc.distributed-comp 

Це питання було перенесено з перехресної перевірки, оскільки на нього можна відповісти на Теоретичному обміні стека інформатики. Мігрували 8 років тому . У мене є досить унікальна проблема, яку потрібно вирішити, і я сподіваюся, що хтось тут може дати мені деяке уявлення про те, як найкраще вирішити цю проблему. Проблема: …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

У розподілених обчисленнях проблема консенсусу, як видається, є однією з центральних тем, що привернула інтенсивні дослідження. Зокрема, документ "Неможливість розподілу консенсусу за один несправний процес" отримав 2001 р. Впливову паперову премію PODC . То чому проблема консенсусу настільки важлива? Чого ми можемо досягти консенсусом як в теорії, так і на …

19 reference-request  big-picture  dc.distributed-comp 

Це питання натхнене коментарем, який Юкка Суомела зробив з іншого питання . Наведіть приклади нескінченно великих, але локально обмежених задач обчислень (та алгоритмів)? Іншими словами, які приклади обчислень, які зупиняються в кінцевий час, коли кожна машина Тьюрінга читає та обробляє лише кінцеві дані, але в цілому обчислення вирішує проблему нескінченного …

14 dc.distributed-comp 

Я читаю статтю Леслі Лампорта "Швидкі Паксоси" і зациклююся на доказуванні правильності як класичних, так і швидких паксос. Для узгодженості, значення визначена координатором в фазі 2 в круглої я повинна задовольнятиvvv2a2a2aiii Для будь-якого раунду j < i , жодне значення, крім v, не було або може бути вибране в раунді …

13 ds.algorithms  dc.distributed-comp  proofs 

Минулого тижня я знову читав розписку Леслі Лампорт 1982 року конференції, яку він дав про вирішені проблеми, нерозв’язані проблеми та непроблеми в паралельній валюті . Папір легко читається, але однією з речей, на які я задумався, є наступне твердження: Чи можна будь-яку проблему розцінювати як проблему взаємного виключення чи проблему …

13 reductions  dc.distributed-comp  concurrency 

У цій роботі Кемпе-Кляйнберг-Тардос Автори пропонують жадібні алгоритми, засновані на субмодульних функціях для визначення найвпливовіших вузлів у графі, із додатками до соціальних мереж.кkk В основному алгоритм йде наступним чином: S= e m p t y s e t S=empty setS = {\rm empty~set} виберіть вузол з найбільшим індивідуальним впливом, назвіть …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

У моделях розподілених обчислень є два основних типи процесорних збоїв: (1) Вихід з ладу: процесор зупиняється і ніколи не запускається знову. (2) Візантійські збої: процесори поводяться змагально, злісно. Моє запитання: Які ще деякі типи відмов процесора були вивчені, які не зводяться до збоїв або візантійських збоїв? Також більш конкретне питання: …

13 reference-request  dc.distributed-comp 

Проблема пліток у розподілених системах полягає в наступному. У нас є графік GGG з nnn вершинами. Кожна вершина vvv має повідомлення mvmvm_v яке повинно бути надіслане всім вузлам. Тепер моє запитання в контексті спеціальної моделі мережі (ми припускаємо, що вузол не має жодних попередніх знань про топологію мережі, її ступінь …

13 reference-request  dc.distributed-comp 

У розподілених системах управління версіями (таких як Mercurial і Git ) є необхідність ефективного порівняння спрямованих ациклічних графіків (DAG). Я розробник Mercurial, і нам було б дуже цікаво почути теоретичну роботу, яка обговорює складність у часі та мережі порівняння двох DAG. Розглядаються DAG, відповідно до ревізій, записані. Зміни однозначно ідентифікуються …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

Передумови: Обробка транзакцій була традиційною темою дослідження в теорії баз даних. В даний час розподілені транзакції популяризуються широкомасштабними розподіленими системами зберігання даних, які, як правило, включають розділ даних (також званий шардинг) та реплікацію даних . Які основні проблеми дослідження в розподілених транзакціях? Чи існують відомі теорії та рішення, які потребують …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Розподілені алгоритми, стійкі до відмов, можуть бути детермінованими або ймовірнісними. Візьмемо для прикладу проблему консенсусу. Паксос є детермінованим у тому сенсі, що з огляду на припущення, яке він робить, він завжди працює. За обмеженням, рандомізований консенсус працює з заданою ймовірністю. Яка перевага проектування та використання детермінованого алгоритму? Припущення, на які …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

У главі 13 "Атомні об'єкти" книги "Розподілені алгоритми" Ненсі Лінч лінійна здатність (також відома як атомність) виявляється властивістю безпеки. Тобто відповідне його властивість слід непусте, префікс-закрите та обмежене закрите , як визначено у розділі 8.5.3. Неофіційно власність безпеки часто трактується так, що говорить про те, що якась конкретна «погана» річ …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency