Fragen zu den Herausforderungen bei der Lösung von Problemen mit mehreren kooperierenden, aber getrennten Agenten.
Vor einigen Jahren wurde MapReduce als Revolution der verteilten Programmierung gefeiert. Es gab auch Kritiker, aber im Großen und Ganzen gab es einen begeisterten Hype. Es wurde sogar patentiert! [1] Der Name erinnert an mapund reducein der funktionalen Programmierung, aber wenn ich lese...
Ich höre oft Leute über Parallel Computing und Distributed Computing sprechen , aber ich habe den Eindruck, dass es keine klare Grenze zwischen den beiden gibt, und die Leute neigen dazu, das ziemlich leicht zu verwirren, obwohl ich glaube, dass es sehr unterschiedlich ist: Paralleles Rechnen ist...
Angenommen, ein Computer verfügt über eine genaue Uhr, die nicht initialisiert wurde. Das heißt, die Uhrzeit auf der Uhr des Computers ist die Echtzeit zuzüglich eines konstanten Versatzes. Der Computer hat eine Netzwerkverbindung und wir möchten diese Verbindung verwenden, um den konstanten Offset...
Bei FRP geht es darum, Ereignisse und Verhaltensweisen durch reine Funktionen zu streamen. Das Actor-Modell - zumindest wie es in Akka implementiert ist - befasst sich mit dem Streaming unveränderlicher Nachrichten (die als diskrete Ereignisse betrachtet werden können) durch potenziell unreine...
Was ist der beste Weg, den jemand tun kann, um eine gute Einführung in die Theorie des verteilten Systems, in Bücher oder Referenzen sowie in Themen zu
Diese Frage wurde von Software Engineering Stack Exchange migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich versuche, die Pastry Distributed Hash Table zu implementieren, aber einige Dinge entziehen sich meinem Verständnis. Ich hatte gehofft,...
Dies ist ein Rätsel zur Messung der Netzwerklatenz, das ich erstellt habe. Ich glaube, die Lösung ist, dass es unmöglich ist, aber Freunde nicht einverstanden sind. Ich suche so oder so nach überzeugenden Erklärungen. (Obwohl es sich um ein Puzzle handelt, passt es meiner Meinung nach auf diese...
Ich suche nach einem effizienten Algorithmus, mit dem ich den Minimax-Suchbaum für Schach mit Alpha-Beta-Bereinigung auf einer verteilten Architektur verarbeiten kann. Die Algorithmen, die ich gefunden habe (PVS, YBWC, DTS, siehe unten), sind alle ziemlich alt (1990 ist die neueste). Ich gehe davon...
Leslie Lamport nennt in dem wegweisenden Artikel über verteilte Systeme The Part Time Parliament (das Paxos-Protokoll) fiktive Gesetzgeber, die am Paxon-Parlamentsprotokoll beteiligt sind. Nach diesem Schreiben stellt er fest, dass: Ich gab den griechischen Gesetzgebern die Namen von Informatikern,...
Als ich Student war, sah ich ein Problem in einem Lehrbuch für digitales System- / Logikdesign, in dem es um N Soldaten ging, die in einer Reihe standen und gleichzeitig schießen wollten. Eine schwierigere Version des Problems war, dass die Soldaten in einem allgemeinen Netzwerk statt in einer...
Ich habe mich gefragt, ob jemand den Ursprung des Client-Server-Modells kennt. Woher kommt der Begriff (Papier, Softwareanwendung,
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: 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 =>...
In den späten neunziger Jahren, als ich in der Graduiertenschule war, die Zeitung JH Saltzer; DP Reed; DD Clark: End-to-End-Argumente im Systemdesign . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 Es war ziemlich wichtig, in jeder Betriebssystemklasse an jeder...
Mein Hintergrund stammte aus imperativen Sprachen, hauptsächlich C, C ++ und Python. Einige Jahre später habe ich Scala, Erlang und ein bisschen Haskell aufgegriffen und mich seitdem sehr für funktionale Programmierung und die dahinter stehenden Formalismen interessiert. Ich interessiere mich auch...
In Spanner, TrueTime & The CAP Theorem schreibt Eric Brewer: Eine subtile Sache bei Spanner ist, dass es Serialisierbarkeit durch Sperren erhält, aber externe Konsistenz (ähnlich wie Linearisierbarkeit ) durch TrueTime [ Hervorhebung hinzugefügt ]. Was ist die Definition der externen Konsistenz...
In einem Graphen wir den folgenden Prozess aus:G(V,E)G(V,E)G(V,E) Anfangs sind alle Knoten in ungefärbt.VVV Während es in ungefärbte Knoten gibt, führt jeder ungefärbte Knoten Folgendes aus: VVV Wählt eine zufällige reelle Zahl aus und sendet sie an alle Nachbarn. Vergleicht seine Nummer mit der...
Ich bin ein Student und freue mich darauf, Akademiker zu werden. Mach die ganze Doktorarbeit und beginne zu forschen. Ich interessiere mich für eine Vielzahl von Informatik-bezogenen Dingen, aber in letzter Zeit haben P2P-Technologien mein Interesse geweckt. Ich habe den Eindruck, dass ich einen...
Ich habe gerade zum ersten Mal über verteilte Systeme gelesen. Es gibt einen ziemlich guten Beweis für die Unmöglichkeit eines Konsenses in einem asynchronen Modell unter Verwendung einer kombinatorischen Topologie. Andererseits gibt es in praktischen Systemen mehrere Konsensprotokolle, die...
Ich habe einige Schwierigkeiten, den verteilten Algorithmus für Baum 6 zu verstehen - Färbung in -Zeit.O ( log∗n )Ö(Log∗n)O(\log^*n) Die vollständige Beschreibung finden Sie in folgendem Artikel: Parallele Symmetrieunterbrechung in spärlichen Graphen. Goldberg, Plotkin, Shannon . Kurz gesagt, die...
Wiki: https://en.wikipedia.org/wiki/Byzantine_fault_tolerance In der Arbeit "Einigung in Gegenwart von Fehlern erzielen" haben M. Pease et al. bewiesen, dass es kein Protokoll (irgendeiner Art) gibt, für das das Problem gelöst werden kannn≤3mn≤3mn \leq 3m, wo nnn steht für die Anzahl der Generäle...