Descripción del proyecto
En el paso de mensajes, el peor caso posible no es posible
Antes del procesamiento distribuido o en paralelo (y de los sistemas de distribución masiva actuales), disponíamos de un procesamiento secuencial simple realizado por un único procesador con su propia memoria. Al emplear el procesamiento en paralelo en muchos procesadores que tienen su propia memoria y que pueden estar ubicados físicamente en distintos países, no es necesario que estos accedan a sus respectivas memorias, sino que basta con que se comuniquen mediante un método conocido como el paso de mensajes. Cada vez es más importante asegurarse de que los mensajes se pasan con un elevado nivel de integridad, ya que la computación distribuida a nivel masivo se ha convertido en la norma en muchos sectores. Sin embargo, el intento de optimizar lo que ocurriría en el peor de los casos —cuando es casi imposible que eso suceda— ha bloqueado el rendimiento de algunas redes y topologías de red. El proyecto DistOpt-BydWorstCase, financiado con fondos europeos, está trabajando en algoritmos universales de distribución óptima para sortear este impedimento y garantizar que el paso de mensajes sea fiable y seguro.
Objetivo
Modern systems are increasingly dezentralized and massively distributed computations play a vital role in the systems of the future. This project aims to advance the foundational aspects of distributed computing, particularly MessagePassing algorithms for optimization problems.
The strong shift towards distributed systems also lead to a flurry of works on such algorithms -- many optimization problems now have distributed algorithms with optimal worst-case performance guarantees. Generally, these guarantees cannot be improved because they match unconditional impossibility results, which prove severe limitations on the performance of distributed algorithms in some (pathological) network topologies. Real world networks, however, are never worst-case and do not share the limiting bottleneck characteristics of these pathological topologies. In fact, there is no known barrier for ultra-fast polylogarithmic-round distributed algorithms on any network of interest. This leaves an exponential gap between current worst-case-optimal algorithms and what is likely possible in many, if not all, real-world settings.
Motivated by this, this project provides a program for a general toolbox and theory for MessagePassing optimization algorithms that go beyond worst-case topologies. The main and guiding high-risk high-gain goal is the development of universally optimal distributed algorithms, which are competitive with the best algorithm on any given topology. This would constitute the strongest possible form of algorithmically adjusting to non-worst-case topologies. A detailed program with many concrete and smaller stepping stones towards this ambitious breakthrough objective is provided. Many of the novel questions stemming from this program and proposal are highly interdisciplinary, crossing boundaries between information theory, distributed computing, topological graph theory, and other parts of theoretical computer science, and are fundamental and interesting in their own right.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural.
- ciencias naturalesmatemáticasmatemáticas purastopología
- ciencias naturalesinformática y ciencias de la informaciónciencias de la computación
- ingeniería y tecnologíaingeniería eléctrica, ingeniería electrónica, ingeniería de la informacióningeniería de la informacióntelecomunicaciónred de telecomunicaciones
- ciencias naturalesmatemáticasmatemáticas purasmatemáticas discretasteoría de grafos
Para utilizar esta función, debe iniciar sesión o registrarse
Palabras clave
Programa(s)
Régimen de financiación
ERC-STG - Starting GrantInstitución de acogida
8092 Zuerich
Suiza