Parallelität ist die Untersuchung von Systemen, die gleichzeitig arbeiten. Zum Beispiel mit einer Reihe von Aufzügen und einem Pool von Menschen, die in verschiedene Stockwerke gehen möchten. Ein Beispiel für ein gleichzeitiges System wäre das Managementsystem, das angibt, wohin die Aufzüge fahren und wohin eine Person aus dem Personenpool entlassen werden soll.
Ich versuche, mich mit den tatsächlichen Unterschieden zwischen dem Actor Model of Concurrency und dem Communicating Sequential Processes (CSP) -Modell von Concurrency auseinanderzusetzen. Das Beste, was mir bisher eingefallen ist, ist, dass das Aktormodell eine Änderung der Anzahl und des Layouts...
Gibt es eine natürliche Parallele zu rot-schwarzen Bäumen mit ähnlichen oder gar nicht so schlimmen Eigenschaften für Aktualisierungen bei angemessener Arbeitseffizienz? Was können wir allgemein am besten für die parallele Suche mit Updates tun?
Gibt es eine nützliche Beschreibung von Futures oder Versprechungen im Sinne der Kategorietheorie? Was könnte insbesondere das kategorische Doppel der Zukunft
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...
Ich höre gerade Alan Kays 'Vortrag "Ist es wirklich komplex oder haben wir es nur kompliziert gemacht?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) wo er sagt, dass "Semaphoren eine schlechte Idee waren und es eine sogenannte Pseudozeit gab, die überlegen war" (um 51:40 im verlinkten...
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...
Im Papier mit dem gleichen Titel wie die von dieser Frage, beschreiben die Autoren , wie ein bauen , nicht blockierend linearisierbar Mehrwort CAS nur mit einem einzigen Wort CAS Betrieb. Sie führen zunächst die Double-Compare-Single-Swap-Operation - RDCSS - wie folgt ein: word_t...
In Kapitel 13 "Atomic Objects" des Buches "Distributed Algorithms" von Nancy Lynch wird die Linearisierbarkeit (auch als Atomizität bezeichnet) als Sicherheitseigenschaft nachgewiesen. Das heißt, die entsprechende Trace-Eigenschaft ist nicht leer, mit Präfix geschlossen und mit Limit geschlossen ,...
Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren,...
Ich verstehe strenge und sequentielle Konsistenz unabhängig voneinander ziemlich gut. Strict C erzwingt grundsätzlich die tatsächliche Reihenfolge, in der die Anweisungen auf der globalen Uhr ausgeführt wurden. Sequentielle Konsistenz erzwingt die Reihenfolge grundsätzlich nur auf einem Prozessor....
Gleichzeitige Null-Wissens-Beweise mit logarithmischer Rundungskomplexität Die Seitenzahlen stammen aus dem Papier selbst und nicht aus dem PDF. Ab Seite 3, "Ein interaktives Beweissystem wird als Black-Box- (rechnerisches) Nullwissen bezeichnet, wenn es eine probabilistische
Ich habe diese Frage zuvor auf Programmers.SE ohne Erfolg gestellt. Ich suche nach schriftlichen Lernressourcen zum Entwerfen gleichzeitiger Datenstrukturen. Ich interessiere mich mehr für den Entwurfsprozess (z. B. die Identifizierung der richtigen Invarianten) als für das Endprodukt (eine...