Preguntas etiquetadas con distributed-systems

Preguntas sobre los desafíos de resolver problemas con múltiples agentes que cooperan pero separados.

19
poda alfa beta distribuida

Estoy buscando un algoritmo eficiente que me permita procesar el árbol de búsqueda minimax para ajedrez con poda alfa-beta en una arquitectura distribuida. Los algoritmos que he encontrado (PVS, YBWC, DTS, ver más abajo) son bastante antiguos (1990 es el último). Supongo que ha habido muchos...

15
¿Quiénes son los legisladores de Paxos?

En el documento seminal de sistemas distribuidos The Part Time Parliament (el protocolo de Paxos), Leslie Lamport nombra legisladores ficticios que participan en el protocolo del parlamento de Paxon. Según este escrito , señala que: Les di a los legisladores griegos los nombres de los...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: 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...

9
Consistencia externa vs linealización

En Spanner, TrueTime y The CAP Theorem , Eric Brewer escribe: Una cosa sutil acerca de Spanner es que obtiene serialización de los bloqueos, pero obtiene consistencia externa (similar a la linealización ) de TrueTime [ énfasis agregado ]. ¿Cuál es la definición de consistencia externa y cómo...