Theoretische Fragen im Distributed Computing
Das Gebiet des verteilten Rechnens ist bei der Entwicklung einer einzelnen mathematischen Theorie zur Beschreibung verteilter Algorithmen völlig unzulänglich. Es gibt verschiedene Modelle und Frameworks für verteilte Berechnungen, die einfach nicht miteinander kompatibel sind. Die bloße Explosion...
In den 1980er Jahren wurden sowohl das PRAM- als auch das BSP- Modell für parallele Berechnungen entwickelt. Es scheint, dass die Blütezeit beider Modelle in den späten 80ern und frühen 90ern lag. Sind diese Bereiche noch in der Forschung nach parallelen Algorithmen aktiv? Gibt es neuere,...
Inspiriert von dieser Frage , was sind die Hauptprobleme und bestehenden Lösungen, die im Bereich (theoretischer) verteilter Systeme verbessert werden müssen. So etwas wie Mitgliedschaftsprotokolle,
Diese Frage wurde von Cross Validated migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 8 Jahren migriert . Ich habe ein ziemlich einzigartiges Problem zu lösen und hoffe, dass mir jemand hier einen Einblick geben kann, wie ich es am besten angehen...
Im Bereich des verteilten Rechnens scheint das Konsensproblem eines der zentralen Themen zu sein, das intensiv erforscht wurde. Insbesondere die Arbeit "Impossibility of Distributed Consensus with One Faulty Process" wurde 2001 mit dem PODC Influential Paper Award ausgezeichnet . Warum ist das...
Diese Frage wurde durch einen Kommentar von Jukka Suomela zu einer anderen Frage inspiriert . Was sind Beispiele für unendlich große, aber lokal begrenzte Rechenprobleme (und Algorithmen)? Mit anderen Worten, was sind Beispiele für Berechnungen, die in endlicher Zeit anhalten, in denen jede...
In dieser Arbeit von Kempe-Kleinberg-Tardos schlagen die Autoren einen gierigen Algorithmus vor, der auf submodularen Funktionen basiert, um die einflussreichsten Knoten in einem Graphen mit Anwendungen auf soziale Netzwerke zu bestimmen .kkk Grundsätzlich geht der Algorithmus wie folgt vor: S= e m...
Ich lese die Zeitung "Fast Paxos" von Leslie Lamport und bleibe bei den Korrektheitsbeweisen sowohl von klassischem Paxos als auch von schnellem Paxos. Der Konsistenz halber sollte der vom Koordinator in Phase in Runde gewählte Wert ausreichen2 a ivvv2 a2a2aichii CP( v , i ) :CP(v,ich):CP(v,i): Für...
Letzte Woche las ich wieder Leslie's Lamport's 1982 Transkript einer Konferenz, die er über gelöste Probleme, ungelöste Probleme und Nicht-Probleme in der Nebenläufigkeit hielt . Das Papier ist leicht lesbar, aber eines der Dinge, an die ich gedacht habe, ist die folgende Behauptung: Kann ein...
Es gibt zwei Haupttypen von Prozessorausfällen in verteilten Computermodellen: (1) Absturzfehler: Ein Prozessor stoppt und startet nie wieder. (2) Byzantinische Ausfälle: Prozessoren verhalten sich widersprüchlich und böswillig. Meine Frage ist: Welche anderen Arten von Prozessorausfällen wurden...
Das Klatschproblem in verteilten Systemen ist das folgende. Wir haben einen Graphen mit n Ecken. Jeder Vertex v hat eine Nachricht m v , die an alle Knoten gesendet werden muss.GGGnnnvvvmvmvm_v Meine Frage bezieht sich nun auf das Ad - hoc - Netzwerkmodell (wir gehen davon aus, dass ein Knoten...
In verteilten Versionskontrollsystemen (wie Mercurial und Git ) müssen gerichtete azyklische Graphen (DAGs) effizient verglichen werden. Ich bin ein Mercurial-Entwickler, und wir wären sehr daran interessiert, etwas über theoretische Arbeiten zu erfahren, in denen die Zeit- und Netzwerkkomplexität...
Ich bin ein Masterstudent, der sich auf verteilte Systeme konzentriert, sich aber auch für theoretische Informatik interessiert. Ich habe mich gefragt, ob es eine formale Darstellung eines verteilten Systems auf einer Turingmaschine gibt. Ist es also möglich, das Konzept einer Turingmaschine zu...
Sei ein nicht regulär verbundener Graph, dessen Grad begrenzt ist. Angenommen, jeder Knoten enthält ein eindeutiges Token.G=(V,E)G=(V,E)G= (V, E) Ich möchte die Token innerhalb des Diagramms gleichmäßig mischen, indem ich nur lokale Swaps verwende (dh den Austausch der Token zwischen zwei...
Definitionen Sei und sei d , r und g positive ganze Zahlen (mit g > 2 r + 1 ).ϵ > 0ϵ>0\epsilon > 0dddrrrGggG> 2 r + 1g>2r+1g > 2r+1 Sei ein einfacher, d- regelmäßiger, ungerichteter, endlicher Graph mit einem Umfang von mindestens g .G = ( V., E.)G=(V,E)G = (V,E)dddGgg Lassen ein...
David Rodríguez - dribeas schrieb in einem Kommentar zu StackOverflow, dass "nicht alle Sammlungen ohne Sperren implementiert werden können". Ich bin mir nicht sicher, ob dies wahr ist, und ich kann so oder so keinen Beweis finden. Diese Aussage ist nicht sehr präzise, aber lassen Sie mich...
Hintergrund: Die Transaktionsverarbeitung ist ein traditionelles Forschungsthema in der Datenbanktheorie. Heutzutage werden verteilte Transaktionen von großen verteilten Speichersystemen populär gemacht, die typischerweise Datenpartition (auch Sharding genannt) und Datenreplikation umfassen . Was...
Eine vereinfachte klassische Datenbanktransaktion kann wie folgt angesehen werden: M Elemente lesen Durchführen einiger Berechnungen basierend auf diesen Lesevorgängen Schreiben einiger N-Ergebnisse basierend auf diesen Berechnungen, die die ursprünglich gelesenen Elemente enthalten können. Bei der...
Welche Dokumente zum Umgang mit Fehlern in verteilten Systemen empfehlen
Verteilte Algorithmen, die ausfallsicher sind, können entweder deterministisch oder probabilistisch sein. Nehmen wir zum Beispiel das Konsensproblem. Paxos ist deterministisch in dem Sinne, dass es unter der Annahme, die es macht, immer funktioniert. Im Gegensatz dazu funktioniert der randomisierte...