公开(公告)号：US5528750A

公开(公告)日：1996-06-18

申请号：US417721

申请日：1995-04-06

申请人： Barry P. Lubart ,  Thomas V. Weaver

发明人： Barry P. Lubart ,  Thomas V. Weaver

IPC分类号： G06F11/00 ,  G06F11/14

CPC分类号： G06F11/1441

摘要： A system and method for establishing a passive recovery environment for an operating system kernel. A cross reference between an instruction address range and recovery routine address is established during binding of the kernel. Normal process initiation and termination includes no recovery overhead. In the case of system failure, the failing instruction address is used to access the recovery routine cross reference tables to determine recovery routine address. The error detection process then initiates recovery routine processing.

摘要翻译： 一种用于为操作系统内核建立被动恢复环境的系统和方法。 在内核绑定期间建立指令地址范围和恢复例程地址之间的交叉引用。 正常进程启动和终止不包括恢复开销。 在系统故障的情况下，故障指令地址用于访问恢复例程交叉引用表以确定恢复例程地址。 然后，错误检测过程开始恢复例程处理。

公开(公告)号：US5392415A

公开(公告)日：1995-02-21

申请号：US991017

申请日：1992-12-15

申请人： Peter R. Badovinatz ,  Larry Brenner ,  Jeffrey R. Hedglin ,  Barry P. Lubart ,  Patrick O'Rourke ,  Angelo Pruscino

发明人： Peter R. Badovinatz ,  Larry Brenner ,  Jeffrey R. Hedglin ,  Barry P. Lubart ,  Patrick O'Rourke ,  Angelo Pruscino

IPC分类号： G06F12/12 ,  G06F12/06 ,  G06F12/08 ,  G06F15/40

CPC分类号： G06F12/123 ,  Y10S707/99953 ,  Y10S707/99955

摘要： A method for assembling swap blocks of virtual pages for transfer between a backing store and physical memory in a data processing system. The method includes segregating all virtual pages resident in physical memory between an active list and an inactive list. Virtual pages are then assigned to the inactive list by groups where each page in a group belongs to a single owning task or object. From a group, virtual pages are assigned to a swap block based upon correlation of most recent use. The swap block may then be paged out in a single operation to a backing store. A list of the group members is kept to permit page in to physical memory upon reference to a member of the swap block.

摘要翻译： 用于组装虚拟页面的交换块的方法，用于在数据处理系统中的后备存储和物理存储器之间传送。 该方法包括在活动列表和非活动列表之间隔离驻留在物理内存中的所有虚拟页面。 然后，组中的每个页面属于单个拥有任务或对象的组将虚拟页面分配给不活动列表。 根据最近使用的相关性，从组中将虚拟页分配给交换块。 然后可以在单个操作中将交换块分页到后备存储。 保留组成员的列表，以便在引用交换块的成员时允许页面进入物理内存。

公开(公告)号：US5442763A

公开(公告)日：1995-08-15

申请号：US350242

申请日：1994-12-06

申请人： Robert F. Bartfai ,  Barry P. Lubart ,  Julian Thomas

发明人： Robert F. Bartfai ,  Barry P. Lubart ,  Julian Thomas

IPC分类号： G06F15/16 ,  G06F9/46 ,  G06F9/52 ,  G06F15/177 ,  G06F13/00

CPC分类号： G06F9/524

摘要： A system and method for preventing deadlock in a multiprocessor computer system executing instructions requiring multiple resources. The system detects potential deadlock situations where a multi-resource instruction is blocked from obtaining one of the resources. A multi-resource instruction global lock is provided that can be held by at most one processor. Upon conflict detection, the processor attempts to acquire the multi-resource instruction global lock and, if successful, resumes resource acquisition. The use of a global lock serializes multiple resource requests and assures that the processor holding the lock can eventually acquire all required resources without deadlock with another processor. The preferred embodiment acquires the global lock on an exception basis to minimize the overhead impact. However, an alternate embodiment which uses the global lock in each multiple resource instruction could also be implemented. Synonym detection logic is provided to detect the situation where a conflict is caused by address resolution to a synonymous lock by the processor.

摘要翻译： 一种用于防止执行需要多个资源的指令的多处理器计算机系统中的死锁的系统和方法。 系统检测潜在的死锁情况，其中多资源指令被阻止获得资源之一。 提供可以由至多一个处理器保持的多资源指令全局锁。 在冲突检测后，处理器尝试获取多资源指令全局锁定，如果成功，则恢复资源采集。 使用全局锁序列化多个资源请求，并确保持有锁的处理器可以最终获取所有必需资源，而不会与另一个处理器发生死锁。 优选实施例以异常获取全局锁定以最小化开销影响。 然而，也可以实现在每个多资源指令中使用全局锁的替代实施例。 提供同义词检测逻辑，以检测由处理器对同义锁定的地址解析造成冲突的情况。

公开(公告)号：US5274823A

公开(公告)日：1993-12-28

申请号：US860829

申请日：1992-03-31

申请人： Larry B. Brenner ,  Barry P. Lubart ,  Jeffrey S. Lucash ,  John C. Rathjen, Jr. ,  Ronald Sasala ,  Thomas Van Weaver

发明人： Larry B. Brenner ,  Barry P. Lubart ,  Jeffrey S. Lucash ,  John C. Rathjen, Jr. ,  Ronald Sasala ,  Thomas Van Weaver

IPC分类号： G06F9/46 ,  G06F9/52 ,  G06F13/26 ,  G06F13/14

CPC分类号： G06F9/52 ,  G06F13/26

摘要： A method for serializing access to computer system resources without disabling interrupts in critical code sections or requiring excessive use of spin locks. A queue lock is introduced that allows an interrupt process to enqueue and be processed in turn without a spin lock and to block process code access to a particular resource until all interrupts are processed. Process level code is blocked from accessing a locked resource while requests for accesses from interrupt level code are queued in a deferred work queue which is processed prior to the release of the blocking lock. Establishment of deferred work queue means that processing can continue without disablement of interrupts and without significant overhead consumed by processes holding spin locks.