公开(公告)号：EP0289072A2

公开(公告)日：1988-11-02

申请号：EP88200684.4

申请日：1988-04-11

申请人： Philips Electronics N.V.

发明人： Augusteijn, Alexander ,  Hopmans, Fransiscus Petrus Maria

IPC分类号： G06F9/46

CPC分类号： G06F9/52 ,  G06F12/0269 ,  Y10S707/99957

摘要： A method and apparatus is described for establishing a global binary assertion in a multiprocessor environment. The local objects have a three-value status variable: -active, disquiet-, -passive. quiet-, and -passive. disquiet-being the three values. First all local objects are made active. During execution. locally the assertion may hold. and thereupon a transition from active to -passive, quiet-is signalled to a global synchronizer process. Thereafter. cross- requests from a non-local object may reactivate a quiet object to the state -passive. disquiet-. The synchronizer process counts the transitions from active to -passive, quiet-and thus can detect when all objects are quiet. The local operations may represent a garbage collection system. wherein originally root items are colored greay and all other items white. In a marking phase. all grey items are successively accessed. After verifying any other item referred to by such grey item. and if white, discoloring it to grey, the original item is discolored to black. If locally no grey items are left, the local collector process goes to the state -passive. quiet-. Cross-processor references may awake it to either verifying a locally correct black color, or discoloring a white item to grey and restarting the color verification when no grey items are left globally, the synchronizer has reached the ultimate count, and vice versa. Thereafter, white objects are treated as garbage.

摘要翻译： 的方法和装置描述了用于在多处理器环境建立全球二进制断言。 本地对象有三个值状态变量：-active，disquiet-，-passive，吱吱声，和-passive，disquiet-是三个值。 首先，本地对象都激活。 在执行期间，本地断言可持有，并有在从主动到-passive过渡，吱发出信号到全球同步的过程。 那里以后，从非本地对象跨请求可以激活一个安静对象的状态-passive，disquiet-。 在同步过程中计数从活动转变为-passive，吱吱声，因此可以检测当所有的对象都是安静的。 本土作战的可能代表一个垃圾收集系统，原本worin根项目是有色greay和所有其他项目的白色。 在标记阶段，所有的灰色物品依次访问。 验证由提到任何其他项目由灰色项进行搜索，如果白，褪色它灰色后，原来的项目变色为黑色。 如果本地没有灰色物品留下，当地收集过程进入状态-passive，吱吱声。 跨处理器的引用可以将其唤醒到本地要么验证正确的黑色或变色白项，灰色，当没有灰色物品在全球范围内重新启动留下的颜色验证，同步器已经达到了极致计数，反之亦然。 那里以后，白色物体被视为垃圾。

公开(公告)号：EP0289072A3

公开(公告)日：1992-08-05

申请号：EP88200684.4

申请日：1988-04-11

申请人： Philips Electronics N.V.

发明人： Augusteijn, Alexander ,  Hopmans, Fransiscus Petrus Maria

IPC分类号： G06F9/46

CPC分类号： G06F9/52 ,  G06F12/0269 ,  Y10S707/99957

摘要： A method and apparatus is described for establishing a global binary assertion in a multiprocessor environment. The local objects have a three-value status variable: -active, disquiet-, -passive. quiet-, and -passive. disquiet-being the three values. First all local objects are made active. During execution. locally the assertion may hold. and thereupon a transition from active to -passive, quiet-is signalled to a global synchronizer process. Thereafter. cross- requests from a non-local object may reactivate a quiet object to the state -passive. disquiet-. The synchronizer process counts the transitions from active to -passive, quiet-and thus can detect when all objects are quiet. The local operations may represent a garbage collection system. wherein originally root items are colored greay and all other items white. In a marking phase. all grey items are successively accessed. After verifying any other item referred to by such grey item. and if white, discoloring it to grey, the original item is discolored to black. If locally no grey items are left, the local collector process goes to the state -passive. quiet-. Cross-processor references may awake it to either verifying a locally correct black color, or discoloring a white item to grey and restarting the color verification when no grey items are left globally, the synchronizer has reached the ultimate count, and vice versa. Thereafter, white objects are treated as garbage.