Computerwissenschaften distributed-systems

4

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 (Wikipedia) Zuordnungsschritt: Der Masterknoten nimmt die Eingabe …

68 algorithms distributed-systems parallel-computing algorithm-design

6

Verteilt gegen paralleles Rechnen

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 enger mit Multithreading …

61 terminology distributed-systems parallel-computing

6

Taktsynchronisation in einem Netzwerk mit asymmetrischen Verzögerungen

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 zu bestimmen BBB. Die einfache Methode besteht …

38 clocks distributed-systems computer-networks

2

In welcher Beziehung stehen Functional Reactive Programming und das Actor-Modell zueinander?

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 Objekte, die als Akteure bezeichnet werden. An der Oberfläche …

30 distributed-systems functional-programming programming-paradigms

7

Fangen Sie an, etwas über die Theorie verteilter Systeme zu lernen?

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 erhalten?

24 reference-request education distributed-systems

1

Wie funktioniert die Routing-Tabelle zum Bestücken von Gebäck?

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, jemand könnte das klären. Haftungsausschluss : Ich …

23 algorithms data-structures distributed-systems hash-tables

4

Messung der Einweg-Netzwerklatenz

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 Website, da …

20 computer-networks protocols distributed-systems

1

Verteiltes Alpha-Beta-Beschneiden

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 aus, dass es seitdem viele wesentliche Fortschritte …

19 algorithms distributed-systems board-games

1

Wer ist der Gesetzgeber von Paxos?

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, die auf diesem Gebiet tätig waren, transkribiert mit Guibas 'Hilfe in …

15 distributed-systems history

1

Alle Soldaten sollten gleichzeitig schießen

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 Reihe stehen. …

15 algorithms distributed-systems clocks

3

Woher stammt das Client-Server-Modell?

Ich habe mich gefragt, ob jemand den Ursprung des Client-Server-Modells kennt. Woher kommt der Begriff (Papier, Softwareanwendung, Buch)?

13 terminology reference-request distributed-systems history

1

Verfeinerungsarten ableiten

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 …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Kann das End-to-End-Prinzip formalisiert werden?

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 Universität zu lesen, und es …

10 computer-architecture operating-systems distributed-systems computer-networks

1

Formalismen bei gleichzeitiger und / oder verteilter Programmierung?

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 für gleichzeitige und verteilte Programmierung und habe mich mit …

10 distributed-systems concurrency

2

Externe Konsistenz vs. Linearisierbarkeit

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 und wie unterscheidet sie sich von der Linearisierbarkeit …

9 distributed-systems

Als «distributed-systems» getaggte Fragen