ParallelitätscService V1.0 Genistete Verhandlungen April 2000 1-7 1 Wenn eine Verhandlung eine Verriegelung hält, die nicht mehr benötigt wird, um die Verhandlung s sicherzustellen serializability oder, wenn ein schwächeres Niveau der Lokalisierung annehmbar ist, freizugeben ist zulässig die Verriegelung. Der Parallelitätssteuerservice liefert folglich einen Betrieb das gibt einzelne Verriegelungen frei. Dieser Betrieb sollte verwendet werden mit Vorsicht, um das sicherzugehen Lokalisierungsniveau ist für die Anwendung angebracht. 1,5 Genistete Verhandlungen Verriegelungskonflikte innerhalb einer Verhandlungfamilie werden ein wenig anders als als behandelt Konflikte zwischen ohne Bezugverhandlungen. Die zugrundeliegende Grundregel ist dieselbe für beide: Verhandlungen dürfen nicht sein, die Effekte anderer Verhandlungen zu beobachten, die konnten neuerer Abbruch. Ohne Bezugverhandlungen können unabhängig abbrechen; folglich eine Verhandlung Muß nicht die Erlaubnis gehabt werden, um eine Verriegelung zu erwerben, die mit einer Verriegelung auf dem gleichen Hilfsmittel widerspricht gehalten durch eine ohne Bezugverhandlung. Verschachtelung erlegt Abbruchabhängigkeiten unter in Verbindung stehenden Verhandlungen auf. Eine Elternteilverhandlung kann nicht abbrechen, ohne alle seine Kinder zum Abbruch zu verursachen. Eine Kindverhandlung, die beendet kann nicht erfolgreich abbrechen, ohne sein Elternteil zu veranlassen abzubrechen. Eine Verhandlung, die nicht kann brechen Sie ab, ohne eine andere in Verbindung stehende Verhandlung zum Abbruch zu verursachen (entsprechend diesen Richtlinien und logische Abzüge) soll im Verhältnis zu der andere festgelegt Verhandlung. Diese Abhängigkeiten machen es möglich, sich die Richtlinie zu entspannen, die zwei Verhandlungen nicht können erwerben Sie Verriegelungen der kontroversen Modi auf dem gleichen Hilfsmittel, ohne zu brechen zugrundeliegende Grundregel. Keine teilweisen Effekte können beobachtet werden und festgelegt werden wenn alles Verhandlungen, die Arbeit erledigt haben, können nicht ohne den Beobachter abbrechen, der abgebrochen wird. Dieses Eigenschaft übersetzt in eine einfache Richtlinie für die genistete Blockierung: wenn alles Verhandlunghalten Verriegelungen auf einem Hilfsmittel werden in Bezug auf eine Verhandlung festgelegt, die versucht, eine Verriegelung zu erwerben vom Hilfsmittel besteht kein Konflikt. Das mehrfache Besitzmodell (sehen Sie vorhergehenden Abschnitt), erleichtert den Gebrauch der Verriegelungen mit genistete Verhandlungen. In diesem Modell können mehrfache in Verbindung stehende Verhandlungen Verriegelungen von halten kontroverse Modi auf einem Hilfsmittel gleichzeitig. Wenn eine genistete Verhandlung a verlangt verriegeln Sie sich, es wird bewilligt, wenn alle Verhandlungen, die Verriegelungen auf dem Hilfsmittel halten, festgelegt werden im Verhältnis zu dem Bittsteller. werden der Bittsteller und die Vorbesitzer dann zu betrachtet halten Sie Verriegelungen auf dem Hilfsmittel. Eine Kindverhandlung kann eine Verriegelung auf einem Hilfsmittel erwerben, das von seinem Elternteil und dann verriegelt ist, fallen diese Verriegelung, ohne sein Elternteil zu veranlassen, seine Verriegelung zu verlieren. Eine Verhandlung kann nicht eine Verriegelung fallenlassen daß sie sich nicht erwarb. Die Verriegelungsbesitzsemantik erfordern auch daß jedes Verhandlung erwerben Verriegelungen in seinem eigenen Namen. Es ist unsachgemäß, Verriegelungen im Namen zu nehmen eine andere Verhandlung oder von den Verriegelungen abzuhängen hielt durch andere Verhandlungen. Andere Annäherungen an genistete Verhandlungen ³ behandeln Sie ein Hilfsmittel, wie, verriegelnd durch ein einzelnes Verhandlung hintereinander. Wenn eine genistete Verhandlung eine Verriegelung auf einem Hilfsmittel verlangt, das ist bereits verriegelt durch eine Vorfahrenverhandlung, wird die genistete Verhandlung das neue 3.See Nistete Verhandlungen: Eine Annäherung An Das Zuverlässige Verteilte Rechnen durch J.E.B. Moos für weitere Informationen.