Als «distributed-systems» getaggte Fragen

Fragen zu den Herausforderungen bei der Lösung von Problemen mit mehreren kooperierenden, aber getrennten Agenten.

1
Parallel dazu eine maximale unabhängige Menge finden
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 Anzahl seiner Nachbarn; Wenn seine eigene …
2
6-Färbung eines Baumes in verteilter Weise
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 Idee ist ... Ausgehend von der gültigen Färbung, die durch die …
1
Konsensproblem verteilter Systeme
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 verteilte Zustandsmaschinen wie Paxos und Raft synchronisieren. Der Schlüssel zu diesem …
1
Bedeutet Standorttransparenz Zugangstransparenz?
In der Theorie verteilter Systeme habe ich die Definition gefunden, dass ein verteiltes System unter anderem Standort- und Zugriffstransparenz erfordert. Ich habe mich gefragt, ob die Standorttransparenz nicht bereits die Zugriffstransparenz umfasst. Wikipedia definiert die beiden wie folgt: Zugriffstransparenz - Unabhängig davon, wie der Ressourcenzugriff und die Darstellung auf jeder …
2
Linearisierbarkeit und Serialisierbarkeit im Kontext des Software-Transaktionsspeichers
Ich habe versucht, die Serialisierbarkeit und Linearisierbarkeit im Kontext des Software-Transaktionsspeichers zu erfassen. Ich denke jedoch, dass beide Begriffe allgemein auf das Transaktionsgedächtnis angewendet werden können. An dieser Stelle verstehe ich beide Themen wie folgt. Serialisierbarkeit Serialisierbarkeit ist eine globale Eigenschaft. Es ist eine Korrektheitseigenschaft von Transaktionen. Bei bestimmten kProzessen, …
3
Vorherige und kausale Ordnung
Ich lese Lamports "Zeit, Uhren und die Reihenfolge von Ereignissen in einem verteilten System" und es gibt ein Detail, das mich nervt. Lamport definiert die Teilreihenfolge "passiert vor", die ich verstehe. Dann sagt er: "Eine andere Art, die Definition zu betrachten, besteht darin, zu sagen, dass a -> b bedeutet, …
2
Theoretische Grundlagen robuster und verteilter Dienste
Ich habe die Vorstellung eines sozialen Netzwerks, das robust gegen böswillige Angriffe von außen ist. Meine Vision ist ein System, das strukturell als verteiltes Netzwerk gleicher Server aufgebaut ist, die mit denselben Daten arbeiten und die gleichen Dienste anbieten. Benutzer sollten alle im selben Netzwerk interagieren, unabhängig von dem jeweiligen …
2
Algorithmus der Kommunikation mit Fehlern
Ich interessiere mich für verteilte Algorithmen, insbesondere für die Kommunikation in Netzwerken mit Fehlern. Ich suche nach dem Beweis des folgenden randomisierten Kommunikationsalgorithmus in einem Netzwerk mit Fehlern. Für mich scheint es ein sehr allgemeines Ergebnis in der Kommunikation zu sein, trotzdem habe ich den Beweis noch nicht gefunden. Algorithmus …
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
1
Analyse von Lastausgleichsschemata zur Minimierung der Gesamtausführungszeit
Angenommen, eine bestimmte parallele Anwendung verwendet ein Master-Slave-Design, um eine große Anzahl von Workloads zu verarbeiten. Jeder Workload dauert einige Zyklen. Die Anzahl der Zyklen, die eine bestimmte Arbeitslast benötigt, wird durch eine bekannte Zufallsvariable . Angenommen, es gibt solche Workloads und äquivalente Slaves (Verarbeitungsknoten). Natürlich befasst sich eine allgemeinere …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.