Als «concurrency» getaggte Fragen

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.





1
Was ist "Pseudozeit" im Vergleich zu Semaphoren?
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 Video). Vielleicht habe ich das Wort "Pseudozeit" falsch …

2
Warum ist Linearisierbarkeit eine Sicherheitseigenschaft und warum sind Sicherheitseigenschaften geschlossene Mengen?
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 , wie in Abschnitt 8.5.3 definiert. Informell wird eine Sicherheitseigenschaft oft so interpretiert, …



3
Wie entwerfe ich gleichzeitige Datenstrukturen?
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 vollständige Codeliste). Ein konkretes Beispiel: Chris Okasakis Buch „Rein funktionale Datenstrukturen“ hat …

1
Frage zum gleichzeitigen ZK-Papier von Prabhakaran & Sahai
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 Polynomzeit-Orakelmaschine so dass für jeden probabilistischen Polynomzeitprüfer und für alle , Die Verteilung der von auf Eingabe …

3
Unterschied zwischen strenger Konsistenz und sequentieller Konsistenz
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. Ich habe jedoch Probleme, Literatur zusammenzustellen. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html beschreibt die sequentielle Konsistenz so, dass …

1
Prozessmodellierung mit feinkörnigen Ortsvorstellungen
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, dass der Standort eines Agenten in einem (realen oder virtuellen) Koordinatenraum ausgedrückt wird? Es scheint mir, …
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.