Ich lese gerade auf TM, und eine der Zeitungen, die ich lese, sagt [ 1 ]:
Tatsächlich waren es zwei nicht-blockierende Algorithmen, das obstruktionsfreie DSTM und lock-free FSTM, das die STM-Forschung in den letzten zehn Jahren wiederbelebt hat.
Ich hatte den Eindruck, dass das Schloss eine Behinderung bedeutet. Anscheinend lag ich falsch ...
Was ist der Unterschied zwischen den Begriffen " blockfrei " und " blockierungsfrei "?
Hier sind die Definitionen von Herlihy & amp; Shavits Die Art der Multiprozessor-Programmierung .
Eine Methode ist wartefrei , wenn sie dies garantiert dass jeder Aufruf seine Ausführung beendet in einer endlichen Anzahl von Schritten.
Eine Methode ist lock-free wenn es das garantiert unendlich oft ein Methodenaufruf endet in einer endlichen Anzahl von Schritten.
Eine Methode ist obstruktionsfrei wenn, von jeder Punkt, nach dem es ausgeführt wird Isolation, endet es in einem endlichen Anzahl der Schritte (Methodenaufruf wird isoliert ausgeführt, wenn keine anderen Threads Schritte ausführen).
Alle Wartemethoden sind frei von Sperren und alle Methoden sind frei von Blockierungen.
Tags und Links concurrency terminology lock-free