Schnelle Algorithmen fuer eine reaktive Netzwerkschicht
Fast Algorithms for a Reactive Network Layer
Wissenschaftsdisziplinen
Elektrotechnik, Elektronik, Informationstechnik (40%); Informatik (60%)
Keywords
-
Network algorithms,
Communication protocols,
Optimization,
Dynamic algorithms,
Distributed algorithms
Durch neue, datenintensive Anwendungen in Bereichen wie Unterhaltung, Business und Gesundheit, wächst der Datenverkehr im Internet und in Rechenzentren explosionsartig. Da Kommunikationsnetzwerke eine teure Infrastruktur sind, ist es sinnvoll, die Netzwerke möglichst optimal und effizient auszulasten. Dafür haben Internet Service Providers (ISPs) wie Telekom Austria und Firmen wie Google in den letzten Jahren innovative Lösungen entwickelt. In Kommunikationsnetzwerken wird Information in Form von Paketen mittels intelligenten Geräten, sogenannten Routern, übermittelt. Die Router nutzen eine Vielzahl von Kommunikationsprotokollen, die Teil der Netzwerkschicht sind. Das Projekt zielt darauf ab, die Logik der Router so zu verbessern, dass Pakete schneller übermittelt werden können und es zu weniger Staus auf den Links kommt. Aktuell wird die Logik der Router noch hauptsächlich von Menschen definiert, den Netzwerk Operatoren. Der manuelle Betrieb ist aber nicht nur mühsam, sondern auch anfällig für Fehler; viele Netzwerkausfälle derzeit lassen sich auf menschliches Versagen zurückführen. Zudem kommt es durch den manuellen Betrieb zu langsamen Reaktionszeiten. In diesem Projekt entwickeln und testen wir Algorithmen, die (1) Operatoren unterstützen ihre Netzwerke besser zu konfigurieren, und (2) Netzwerke automatisch optimieren. Im Gegensatz zu den Software Tools, die Operatoren aktuell benutzen und die Konfigurationen bei jeder Änderung komplett neu berechnen, interessieren wir uns für dynamische Algorithmen. Sie können schneller auf Änderungen im Netzwerk reagieren. Wir modellieren das Netzwerk als einen Graphen, der aus Knoten (den Routern) und Kanten (den Kommunikationslinks) besteht. Eine Route von A nach B entspricht einer Sequenz von Knoten und Links in diesem Netzwerk. In aktuellen Kommunikationsnetzwerken hat jede Kante ein Gewicht, über das ein Operator indirekt die Routen im Netzwerk bestimmen kann. Ziel des Projektes ist es, ein Tool zu entwickeln, das bei der Änderung des Linkgewichtes schnell die neuen Routen berechnet. Neben der Frage, wie man die Berechnung von effizienten Routen beschleunigen kann, interessiert uns, wie man die Routen im Netzwerk effizient ändern kann. Beim Wechsel von alten auf neue Routen kann es derzeit zu Loops und Paketverlusten kommen, die sich negativ auf die Leistung des Netzwerkes auswirken können. Kurzzeitig können sogar sicherheitskritische Eigenschaften verletzt werden. In diesem Forschungsprojekt entwickeln wir Algorithmen, die genannte Probleme vermeiden. Dadurch wird die Zuverlässigkeit des Netzwerkes erhöht. In Zusammenarbeit mit einem ISP werden wir versuchen, unsere Erkenntnisse auch praktisch umzusetzen.
Seit September 2020 beschäftigt sich dieses Forschungsprojekt mit der Frage, wie Netzwerke - Systeme, die aus vielen miteinander verbundenen Elementen bestehen - auch dann zuverlässig funktionieren können, wenn sich ihre Strukturen ständig verändern. Beispiele solcher Netzwerke sind soziale Netzwerke, große Computersysteme oder das Internet. Unser Forschungsteam entwickelte neue Methoden, um solche dynamischen Netzwerke effizienter und leistungsfähiger zu machen. Ein zentrales Thema war die Verbreitung von Informationen. Wir untersuchten, wie lange es dauert, bis eine Nachricht alle Mitglieder eines Netzwerks erreicht - selbst wenn die Kontakte zwischen den Teilnehmern zufällig stattfinden. Wir konnten zeigen, dass sich Informationen im Durchschnitt deutlich schneller verbreiten als im schlechtesten Fall - nämlich nach etwa n log(n) Kontakten (wobei n die Anzahl der Teilnehmer ist). Außerdem haben wir die Entscheidungsfindung in Gruppen untersucht: Wenn viele Teilnehmer unterschiedliche Meinungen haben, wie kann sich die Gruppe auf die Mehrheitsmeinung einigen, ohne dass sich jeder alle Ansichten merken muss? Unser Team entwickelte einfache Regeln für solche Prozesse, die wenig Speicher und Rechenleistung erfordern, aber dennoch zuverlässig zum richtigen Ergebnis führen. Besonders praxisrelevant ist die Forschung zur Kommunikation in Rechenzentren - großen Serveranlagen, die Internetdienste bereitstellen. Diese Einrichtungen nutzen sowohl schnelle als auch langsamere Datenverbindungen. Wir entwickelten Methoden, mit denen sich die Nutzung der schnellen Verbindungen kontinuierlich und zügig an den aktuellen Bedarf anpassen lässt - ohne nennenswerte Verzögerungen. Ein weiteres wichtiges Thema war die Aktualisierung von Netzwerken. Wenn sich Verbindungen im Netzwerk ändern - etwa durch Wartung, Ausfälle oder Umstrukturierungen - müssen neue Datenpfade gefunden werden. In Arbeiten zum "Consistent Network Update Problem" zeigte unser Team, dass viele Aktualisierungen deutlich schneller umgesetzt werden können, wenn man eine kurze, gezielte "Überbuchung" von Netzwerkverbindungen erlaubt. Anstatt die Kapazitätsbegrenzung strikt einzuhalten, darf für kurze Zeit etwas mehr Datenverkehr über eine Verbindung laufen, als normalerweise zulässig ist. Insgesamt trägt dieses Projekt dazu bei, moderne Netzwerke schneller, robuster und anpassungsfähiger zu machen - besser gerüstet für die Herausforderungen einer zunehmend digitalen und sich ständig wandelnden Welt.
- Monika Henzinger, Institute of Science and Technology Austria - ISTA , assoziierte:r Forschungspartner:in
Research Output
- 62 Zitationen
- 37 Publikationen
- 1 Policies
- 3 Datasets & Models
- 5 Disseminationen
- 1 Wissenschaftliche Auszeichnungen
- 3 Weitere Förderungen
-
2022
Titel Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification; In: Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday DOI 10.1007/978-3-031-22337-2_14 Typ Book Chapter Verlag Springer Nature Switzerland -
2022
Titel Constant-time Dynamic ( +1)-Coloring DOI 10.1145/3501403 Typ Journal Article Autor Henzinger M Journal ACM Transactions on Algorithms -
2021
Titel New Techniques and Fine-Grained Hardness for Dynamic Near-Additive Spanners; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611976465.110 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2021
Titel Tight Bounds for Online Graph Partitioning; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611976465.166 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2021
Titel Dynamic Maintenance of Low-Stretch Probabilistic Tree Embeddings with Applications; In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611976465.75 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2020
Titel Chameleon DOI 10.1145/3386367.3432879 Typ Conference Proceeding Abstract Autor Van Bemten A Seiten 451-465 Link Publikation -
2020
Titel Redundancy in distributed proofs DOI 10.1007/s00446-020-00386-z Typ Journal Article Autor Feuilloley L Journal Distributed Computing Seiten 113-132 Link Publikation -
2024
Titel Making Old Things New: A Unified Algorithm for Differentially Private Clustering DOI 10.48550/arxiv.2406.11649 Typ Preprint Autor La Tour M -
2024
Titel Continual Counting with Gradual Privacy Expiration DOI 10.48550/arxiv.2406.03802 Typ Preprint Autor Andersson J -
2024
Titel Multiplicative auction algorithm for approximate maximum weight bipartite matching DOI 10.1007/s10107-024-02066-3 Typ Journal Article Autor Zheng D Journal Mathematical Programming Seiten 881-894 -
2024
Titel Data-Efficient Learning via Clustering-Based Sensitivity Sampling: Foundation Models and Beyond DOI 10.48550/arxiv.2402.17327 Typ Preprint Autor Axiotis K -
2024
Titel Private Counting of Distinct Elements in the Turnstile Model and Extensions DOI 10.4230/lipics.approx/random.2024.40 Typ Conference Proceeding Abstract Autor Henzinger M Konferenz LIPIcs, Volume 317, APPROX/RANDOM 2024 Seiten 40:1 - 40:21 Link Publikation -
2024
Titel Fully Dynamic k-Means Coreset in Near-Optimal Update Time DOI 10.4230/lipics.esa.2024.100 Typ Conference Proceeding Abstract Autor Henzinger M Konferenz LIPIcs, Volume 308, ESA 2024 Seiten 100:1 - 100:16 Link Publikation -
2024
Titel Broadcast and Consensus in Stochastic Dynamic Networks with Byzantine Nodes and Adversarial Edges DOI 10.4230/lipics.disc.2024.21 Typ Conference Proceeding Abstract Autor El-Hayek A Konferenz LIPIcs, Volume 319, DISC 2024 Seiten 21:1 - 21:15 Link Publikation -
2024
Titel Deterministic Near-Linear Time Minimum Cut in Weighted Graphs; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977912.111 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2024
Titel Experimental Evaluation of Fully Dynamic k -Means via Coresets; In: 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX) DOI 10.1137/1.9781611977929.17 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2024
Titel A Unifying Framework for Differentially Private Sums under Continual Observation; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977912.38 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2024
Titel Electrical Flows for Polylogarithmic Competitive Oblivious Routing DOI 10.4230/lipics.itcs.2024.55 Typ Conference Proceeding Abstract Autor Goranci G Konferenz LIPIcs, Volume 287, ITCS 2024 Seiten 55:1 - 55:22 Link Publikation -
2024
Titel On the Complexity of Algorithms with Predictions for Dynamic Graph Problems DOI 10.4230/lipics.itcs.2024.62 Typ Conference Proceeding Abstract Autor Henzinger M Konferenz LIPIcs, Volume 287, ITCS 2024 Seiten 62:1 - 62:25 Link Publikation -
2024
Titel Dynamically Maintaining the Persistent Homology of Time Series; In: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977912.11 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2023
Titel Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching DOI 10.1007/978-3-031-32726-1_32 Typ Book Chapter Autor Zheng D Verlag Springer Nature Seiten 453-465 -
2021
Titel Upper and Lower Bounds for Fully Retroactive Graph Problems DOI 10.1007/978-3-030-83508-8_34 Typ Book Chapter Autor Henzinger M Verlag Springer Nature Seiten 471-484 -
2021
Titel On the Complexity of Weight-Dynamic Network Algorithms DOI 10.23919/ifipnetworking52078.2021.9472803 Typ Conference Proceeding Abstract Autor Henzinger M Seiten 1-9 Link Publikation -
2022
Titel Brief Announcement: Broadcasting Time in Dynamic Rooted Trees is Linear DOI 10.1145/3519270.3538460 Typ Conference Proceeding Abstract Autor El-Hayek A Seiten 54-56 Link Publikation -
2022
Titel Recent Advances in Fully Dynamic Graph Algorithms – A Quick Reference Guide DOI 10.1145/3555806 Typ Journal Article Autor Hanauer K Journal ACM Journal of Experimental Algorithmics Seiten 1-45 -
2023
Titel A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems DOI 10.1007/s00453-023-01154-8 Typ Journal Article Autor Henzinger M Journal Algorithmica Seiten 3680-3716 -
2023
Titel Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover DOI 10.1137/21m1428649 Typ Journal Article Autor Bhattacharya S Journal SIAM Journal on Computing Seiten 1132-1192 -
2023
Titel Simple, Scalable and Effective Clustering via One-Dimensional Projections DOI 10.48550/arxiv.2310.16752 Typ Preprint Autor Charikar M -
2025
Titel Efficient Algorithms for Problems in Clustering and Fairness Typ PhD Thesis Autor Maximilian Voetsch -
2024
Titel Expander Hierarchies for Normalized Cuts on Graphs DOI 10.1145/3637528.3671978 Typ Conference Proceeding Abstract Autor Hanauer K Seiten 1016-1027 Link Publikation -
2025
Titel Improved Differentially Private Continual Observation Using Group Algebra; In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611978322.95 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2025
Titel Fully Dynamic Approximate Minimum Cut in Subpolynomial Time per Operation; In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611978322.22 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2025
Titel Brief Announcement: Minimizing Energy Solves Relative Majority with a Cubic Number of States in Population Protocols DOI 10.1145/3732772.3733512 Typ Conference Proceeding Abstract Autor Breitkopf T Seiten 549-552 Link Publikation -
2025
Titel An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model DOI 10.1145/3732772.3733505 Typ Conference Proceeding Abstract Autor El-Hayek A Seiten 532-540 Link Publikation -
2023
Titel Almost Tight Error Bounds on Differentially Private Continual Counting; In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) DOI 10.1137/1.9781611977554.ch183 Typ Book Chapter Verlag Society for Industrial and Applied Mathematics -
2023
Titel Efficient Data Structures for Incremental Exact and Approximate Maximum Flow DOI 10.4230/lipics.icalp.2023.69 Typ Conference Proceeding Abstract Autor Goranci G Konferenz LIPIcs, Volume 261, ICALP 2023 Seiten 69:1 - 69:14 Link Publikation -
2023
Titel Faster Submodular Maximization for Several Classes of Matroids DOI 10.4230/lipics.icalp.2023.74 Typ Conference Proceeding Abstract Autor Henzinger M Konferenz LIPIcs, Volume 261, ICALP 2023 Seiten 74:1 - 74:18 Link Publikation
-
2020
Titel Member of Swiss Science Council Typ Participation in a guidance/advisory committee
-
2025
Link
Titel TU Vienna Voices of Innovation: Women, Academia and the Age of AI - Panel Discussion Typ A talk or presentation Link Link -
2023
Link
Titel ORF Gespraech: Was die Welt zusammenhaelt Typ A press release, press conference or response to a media enquiry/interview Link Link -
2023
Link
Titel Invited keynote at International Symposium on Experimental Algorithms Typ A talk or presentation Link Link -
2023
Link
Titel Workshop organization at the Simons Institute at UC Berkeley Typ Participation in an activity, workshop or similar Link Link -
2023
Titel Invited talk at Tu Graz Typ A talk or presentation
-
2024
Titel Best paper award at the SIAM/ACM Symposium on Discrete Algorithms Typ Poster/abstract prize Bekanntheitsgrad Continental/International
-
2022
Titel The design and evaluation of modern fully dynamic data structures Typ Research grant (including intramural programme) Förderbeginn 2022 -
2023
Titel Static and Dynamic Hierarchical Graph Decompositions Typ Research grant (including intramural programme) Förderbeginn 2023 -
2023
Titel Efficient algorithms Typ Research grant (including intramural programme) Förderbeginn 2023