1-40 SimulationscVerbundsysteme, v2.0 November 2002 1 Entsprechend Pfosten-Zustand (b) des Festlegungsregion-Änderungsservices, wenn a Regionspezifikation wird, alle Updateregionrealisierungen geändert, denen von abgeleitet werden diese Regionspezifikation werden auch geändert. Folglich in Betracht des zweiten Teils von das Beispiel oben, nehmen die sendenden verbündeten Updates die Fallattribute an und das Reflektieren verbündet empfängt Regionspezifikationsdesignator R2 im Satz von gesendet Regiondesignatorsargument reflektieren, wie im Beispiel besprochen. Nehmen Sie dann an daß die verbündete Aktualisierung die Regionspezifikation R. This ändert, bedeutet daß alle von die Updateregionrealisierungen, die von R (R2) auch abgeleitet wurden, erhalten geändert. Wenn die verbündete Aktualisierung ändert R, bevor das Reflektieren verbündet eine Wahrscheinlichkeit hat, erhalten zu verwenden Strecke springt Service, um festzustellen was die Streckenwerte jedes Maßes von R2 sind, dannIST der reflektierende verbündete Wille nie in der Lage, festzustellen, was die Streckenwerte von R2 waren, als die Deckungsberechnung, die reflektieren mit R2 in ihm ergab, war durchgeführt. Ein Rennenzustand würde zwischen dem aktualisierenden verbündeten Versuch zu bestehen ändern Sie die Regionspezifikation und den reflektierenden verbündeten Versuch, festzustellen Streckenwerte jedes Maßes der abgeleiteten Regionrealisierungen empfingen . Designators der Kopien dieser Regionrealisierungen, anstelle von den Designators von übermitteln Regionrealisierungen selbst, beseitigt diesen Rennenzustand. Das Reflektieren verbündet ist immer garantiert, daß, wenn sie fragt, die Strecke mit einem Regiondesignator springt übermittelt in reflektieren oder in eine empfangene Abhängigkeit während empfangen reflektieren oder Abhängigkeit ist noch in Bewegung, sind die Streckenwerte der Regionspezifikationskopie die Werte von die Updateregionrealisierung, das in Kraft zu der Zeit daß die Deckungsberechnung waren wurde auf dem Updateregionsatz getan und Subskriptionsregion stellte die ergab die ein reflektieren Sie oder empfing Abhängigkeit . Deutung 3 Abschnitt 9,1,7, letzter Satz: Dieser Satz sollte sagen, "ein verbindendes verbündetes verwendet Regionrealisierungsdesignators innen empfangen übermittelte Regionsätze nur in Erhalten Sie StreckencGrenzen und Erhalten Sie MaßcHandgriffcSatz halten Sie Anforderungen."instand, 1,4,7,5 Service 9,3 Legen RegioncÄnderungen Fest Deutung 1 Jeder Regiondesignator, der zu den Festlegungsregion änderungen geführt wird halten Sie ist instand erfordert, um der Designator von jedem zu sein eine Regionschablone, die die Satzstrecke gehabt hat Grenzen Service mindestens ein für allemal hervorgerufen von seinen Maßen oder eine Regionspezifikation. Wenn ein verbündetes die Festlegungß$+0 regionänderungen hervorruft Service mit einem Regiondesignator Argument, das keine der Designator einer Regionschablone ist, die die Satzstrecke gehabt hat Verklemmter s-Service mindestens ein für allemal hervorgerufen von seinen Maßen noch der Designator von a Regionspezifikation, dann die Festlegungsregionänderungen Service wirft Ausnahme "der unzulässigen Region". Grundprinzip: Der Zweck der Festlegungsregionänderungen, die Service zu irgendeinem ist, verursachen eine Regionspezifikation von einer Regionschablone oder ändern eine bereits-vorhandene Region Spezifikation und alle abgeleiteten Regionrealisierungen. Wenn nicht alle Maße einer Region Schablone haben ihre eingestellten Streckengrenzen, dann keine Regionspezifikation kann verursacht werden gehabt durch den Festlegungsregion-Änderungsservice weil eine Regionspezifikation, vorbei