November 2002 Dss-Spezifikation: Deutung von Spezifikationen verband durch Reference 1-39 1 , um hervorzurufen erhalten Sie Streckengrenzen (R1, d3), würde es Rückholwerte von erhalten: unterere Schranke 1; oberes Limit 100. Jedoch einmal die reflektierenattributwerte halten Sie Anforderung instand führt am Reflektieren verbündet durch, das Reflektieren verbündet wird garantiert nicht mehr daß die Werte vorbei zurückgingen, erhalten Sie Streckengrenzen (R1, d1) seien Sie noch 2 und 45. Für das zweite Teil dieses Beispiels, nehmen Sie an, daß die verbündete Aktualisierung hervorrufen sollten das folgende: UpdatecAttributcWerte (object1, { (X, 100) }, "Benutzerumbau"). Das Reflektieren verbündet würde reflektieren mit einem attribute-/valuepaar für empfangen (X, 100) in ihm und ein übermittelter Regionsatz, der aus einem Designator, R2. R2 können besteht oder kann nicht R1 gleich sein. Das ist ein Implementierungsdetail. Wenn das Reflektieren verbündet waren hervorzurufen erhalten Streckengrenzen (R2, d1) vor den reflektierenattributwerten Service-Anforderung wurden durchführen lassen, es würde erhalten Rückholwerte von: niedriger Grenze 2; oberes Limit 45. Nehmen Sie an, daß die verbündete Aktualisierung gesetzte Strecken grenzen hervorrufen sollten (R, d1, 10, 20), vorbei gefolgt legen Sie Regionänderungen fest (R), während die vorhergehenden Attribut reflektieren Werte Service-Anforderung ist noch am Reflektieren verbündet in Bewegung. Wenn das Reflektieren verbündet hervorrufen sollten, erhalten Sie Streckengrenzen (R2, d1), wurde es noch erhalten Sie Rückholwerte von: unterere Schranke 2; oberes Limit 45, weil das reflektierenattribut Bewertet Service-Anforderung, die die Regionrealisierungskopie mit diesen sich erstrecken enthält Werte hat nicht noch durchgeführt. Nehmen Sie an, daß die verbündete Aktualisierung Updateattribut werte hervorrufen sollten (object1, { (X, 200) }, "Benutzerumbau") nach dem vorhergehenden reflektieren Attributwerte halten Sie Anforderung instand hatte durchgeführt. Das Reflektieren verbündet würde reflektieren mit empfangen attribute-/valuepaar für (X, 200) in ihm und ein übermittelter Regionsatz, der aus einem besteht Designator, R3. (R3 kann oder kann möglicherweise nicht R1 oder R2 gleich sein; die ist eine Implementierung Detail.) Wenn das Reflektieren verbündet hervorrufen sollten, erhalten Sie Streckengrenzen (R3, d1) während reflektieren Sie sich ist in Bewegung, es würde erhalten jetzt neue Rückholwerte von: unterere Schranke 10; ober Grenze 20, weil die verbündete Aktualisierung die entsprechende Region geändert hatte Spezifikation, bevor die Update attributwerte hervorgerufen werden halten Sie das ergab instand Strom reflektieren sich. Grundprinzip: Die übermittelten Regionsätze müssen Designators der Kopien der Region enthalten Realisierungen, anstatt Designators der Regionrealisierungen selbst, weil wenn Designators der tatsächlichen Regionrealisierungen sollten, dieses übermittelt werden würden resultieren innen ein nicht wünschenswerter Rennenzustand. Wenn die Designators von den tatsächlichen Regionrealisierungen waren, für Beispiel, anstatt der geraden Kopien der Regionrealisierungen, dann nach einem verbündetem ruft hervor ein Updateattribut bewertet Service oder eine sendenabhängigkeit mit Regionservice das Resultate in einem Satz gesendeten Regiondesignators, die im Entsprechen übermittelt werden, reflektieren sich Schreiben Sie Wert?service zu oder empfangen Sie Abhängigkeits?service, es gibt ein Rennen, das könnte zwischen dem verbündeten, daß auf geschickt, treten das Update oder der Abhängigkeit, die neue Strecke einstellt Grenzen und festlegenregionänderungen an einer gesendeten Region und das verbündete das empfing reflektieren oder die Abhängigkeit, die den erhaltenmaß-Handgriffsatz hervorrufen und erhält Streckengrenzdienstleistungen zum Fragen alle Streckengrenzen der Regionrealisierungen empfangen .