Preguntas etiquetadas con dc.distributed-comp

El campo de la computación distribuida se ha quedado lamentablemente corto en el desarrollo de una sola teoría matemática para describir algoritmos distribuidos. Existen varios 'modelos' y marcos de cómputo distribuido que simplemente no son compatibles entre sí. La gran explosión de propiedades temporales variables (asincronía, sincronía, sincronía parcial), varias …

41 big-picture  dc.distributed-comp 

La década de 1980 dio lugar a los modelos PRAM y BSP de cómputo paralelo. Parece que el apogeo de ambos modelos fue a finales de los 80 y principios de los 90. ¿Estas áreas aún están activas en términos de investigación para algoritmos paralelos? ¿Existen modelos más nuevos y …

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

Inspirado por esta pregunta , ¿cuáles son los principales problemas y las soluciones existentes que necesitan mejoras en el dominio de sistemas distribuidos (teóricos). ¿Algo como protocolos de membresía, consistencia de datos?

23 big-list  dc.distributed-comp 

Esta pregunta se migró de Cross Validated porque se puede responder en el intercambio teórico de pila de informática. Migrado hace 8 años . Tengo un problema bastante único que resolver y espero que alguien aquí pueda darme una idea de cómo abordarlo mejor. Problema: suponga que una lista de …

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

En la informática distribuida, el problema del consenso parece ser uno de los temas centrales que ha atraído una investigación intensiva. En particular, el artículo "Imposibilidad de consenso distribuido con un proceso defectuoso" recibió el Premio de papel influyente PODC 2001 . Entonces, ¿por qué es tan importante el problema …

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

Esta pregunta está inspirada en un comentario que Jukka Suomela hizo sobre otra pregunta . ¿Cuáles son ejemplos de problemas de cálculo (y algoritmos) infinitamente grandes pero localmente finitos? En otras palabras, ¿cuáles son ejemplos de cálculos que se detienen en un tiempo finito, en el que cada máquina de …

14 dc.distributed-comp 

Estoy leyendo el documento "Fast Paxos" de Leslie Lamport y me quedo atascado con las pruebas de corrección de Paxos clásico y Fast Paxos. Por consistencia, el valor recogió por el coordinador en fase en la ronda debería satisfacer2 a ivvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): para cualquier ronda , ningún valor que no …

13 ds.algorithms  dc.distributed-comp  proofs 

La semana pasada, estaba leyendo de nuevo el trasncrito de Leslie en Lamport de 1982 de una conferencia que dio sobre Problemas resueltos, Problemas no resueltos y No problemas en concurrencia . El documento es fácilmente legible, pero una de las cosas que me hizo pensar es la siguiente afirmación: …

13 reductions  dc.distributed-comp  concurrency 

En este artículo de Kempe-Kleinberg-Tardos, los Autores proponen algoritmos codiciosos basados ​​en funciones submodulares para determinar los nodos más influyentes en un gráfico, con aplicaciones a las redes sociales.kkk Básicamente, el algoritmo es el siguiente: S= e m p t y s e t S=mimetropagty smitS = {\rm empty~set} elija …

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

Hay dos tipos principales de fallas del procesador en los modelos de computación distribuida: (1) Fallos de bloqueo: un procesador se detiene y nunca más se inicia. (2) Fallos bizantinos: los procesadores se comportan de manera adversa, maliciosa. Mi pregunta es: ¿Cuáles son algunos otros tipos de fallas del procesador …

13 reference-request  dc.distributed-comp 

El problema del chisme en los sistemas distribuidos es el siguiente. Tenemos un gráfico con n vértices. Cada vértice v tiene un mensaje m v que debe enviarse a todos los nodos.GGGnnnvvvmvmvm_v Ahora, mi pregunta está en el contexto del modelo de red ad-hoc (suponemos que un nodo no tiene …

13 reference-request  dc.distributed-comp 

En los sistemas de control de versiones distribuidas (como Mercurial y Git ) existe la necesidad de comparar eficientemente los gráficos acíclicos dirigidos (DAG). Soy un desarrollador de Mercurial, y estaríamos muy interesados ​​en escuchar sobre el trabajo teórico que discute la complejidad del tiempo y la red de comparar …

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

Antecedentes: el procesamiento de transacciones ha sido un tema de investigación tradicional en la teoría de bases de datos. Hoy en día, las transacciones distribuidas se popularizan por los sistemas de almacenamiento distribuido a gran escala que generalmente implican la partición de datos (también llamada fragmentación) y la replicación de …

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

Los algoritmos distribuidos que son resistentes a las fallas pueden ser deterministas o probabilísticos. Tomemos, por ejemplo, el problema del consenso. Paxos es determinista en el sentido de que, dada la suposición que hace, siempre funciona. En contraste, el consenso aleatorio funciona con una probabilidad dada. ¿Cuál es la ventaja …

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

En el Capítulo 13 "Objetos atómicos" del libro "Algoritmos distribuidos" de Nancy Lynch, se demuestra que la linealización (también conocida como atomicidad) es una propiedad de seguridad. Es decir, su propiedad de rastreo correspondiente es no vacía, con prefijo cerrado y límite cerrado , como se define en la Sección …

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