专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06442751B1 Determination of local variable type and precision in the presence of subroutines 失效
公开(公告)号：US06442751B1
公开(公告)日：2002-08-27
申请号：US09211388
申请日：1998-12-14
申请人： Anthony Cocchi , Janice Cynthia Shepherd
发明人： Anthony Cocchi , Janice Cynthia Shepherd
IPC分类号： G06F945
CPC分类号： G06F11/3636 , G06F8/437 , Y10S707/99953 , Y10S707/99956
摘要： A method is provided for tracking the type of at least one local variable after calling a subroutine. The exemplary method associates each one of a plurality of branch instructions calling the subroutine with a first information, which indicates the type of value stored in the local variable when each one of the plurality of branch instructions is executed. The exemplary method associates at least one execution point-of-interest within the subroutine with a second information. The execution point-of-interest is any point within the subroutine where it may be necessary to ascertain the type of each local variable. The second information is a data structure indicating a change in type made to the local variable after entering the subroutine and before the execution point-of-interest. The exemplary method associates the execution point-of-interest with a return address for the subroutine. This return address enables the method to identify the point in the calling program from which the current subroutine was called. When a request is received to identify the type of the local variable at the execution point-of-interest in the subroutine, the exemplary method obtains a second map from the second information using the execution point-of-interest. The second map indicates the change in type of the local variable made within the subroutine. The method also obtains the return address associated with the execution point-of-interest, and obtains a first map from the first information using the return address. The first map indicates the type of value stored in the local variable when one of the branch instructions is executed to call the subroutine. Given the first and second maps, the exemplary method merges the first map with the second map to identify a current type for the local variable. In performing this merge, the method combines the type status of the local variable as modified by the subroutine with the type status of the local variable as it stood before calling the subroutine.

2. 发明授权

US5960436A Transaction compaction for replay of transactions from client to server 失效
标题翻译：事务压缩从客户端到服务器重播事务
公开(公告)号：US5960436A
公开(公告)日：1999-09-28
申请号：US920816
申请日：1997-08-29
申请人： Hung-Yang Chang , Anthony Cocchi , Stephen Edwin Smith
发明人： Hung-Yang Chang , Anthony Cocchi , Stephen Edwin Smith
IPC分类号： G06F9/46 , G06F17/30
CPC分类号： G06F9/466 , Y10S707/99942 , Y10S707/99953
摘要： The invention provides a method for compacting transactions which have committed at a disconnected client prior to sending the transactions to the server for replaying along with an iterative process for re-calculating the combined transaction in the event that replay at the server fails.
摘要翻译：本发明提供了一种在事务中发生事务之前已经在断开连接的客户端发送事务到服务器进行重播的方法，以及在服务器重播失败的情况下重新计算组合事务的迭代过程。

3. 发明授权

US5197148A Method for maintaining data availability after component failure included denying access to others while completing by one of the microprocessor systems an atomic transaction changing a portion of the multiple copies of data 失效
标题翻译：在组件故障之后维护数据可用性的方法包括在由微处理器系统之一完成时拒绝访问他人，原子事务改变数据的多个副本的一部分
公开(公告)号：US5197148A
公开(公告)日：1993-03-23
申请号：US554105
申请日：1990-07-18
申请人： Marion L. Blount , Anthony Cocchi , Mark F. Mergen , Stephen P. Morgan , Katalin A. V. Rader
发明人： Marion L. Blount , Anthony Cocchi , Mark F. Mergen , Stephen P. Morgan , Katalin A. V. Rader
IPC分类号： G06F12/08 , G06F9/46 , G06F11/14 , G06F11/16 , G06F11/20 , G06F12/00 , G06F12/10 , G06F15/16 , G06F15/177
CPC分类号： G06F11/2046 , G06F11/1658 , G06F11/2035 , G06F11/2043 , G06F9/466 , G06F9/526 , G06F2201/87
摘要： A method for maintaining the overall system availability of a multi-processor data processing system in the event of a failure at one of a plurality of independent failure points. The system includes a plurality of virtual memory type processor units, each of which may include an interactive terminal, and a main memory which has access to a secondary storage device which is also accessible by the main memory of one of the other processor units. The two units are also directly interconnected by a communications mechanism making it possible to provide a shared virtual memory system. Both processor units employ the same operating system and share the same virtual address space for storing information. The interactive terminals are each connected to more than one processor unit. Failure points include the terminals, the processor units, the communication links, and the various software components that are employed by the system. The method maintains system availability by managing the storage of selected information at preestablished precise points in the processing operation. The method updates identical operating system data structures that are stored in each processor unit with the results of certain identified data processing transactions which have affected information required for succeeding processing operations in manner to insure that either identical updates occur or no update occurs. The method further insures that any changes that might have occurred in the information stored in the data structure prior to the end of an aborted transaction is returned to the initial state to permit the transaction to be retried whenever the path of the falilure can be bypassed.
摘要翻译：一种用于在多个独立故障点中的一个失效的情况下维持多处理器数据处理系统的整体系统可用性的方法。该系统包括多个虚拟存储器型处理器单元，每个虚拟存储器型处理器单元可以包括交互式终端，以及主存储器，其具有可以访问另一个处理器单元之一的主存储器的辅助存储设备的主存储器。两个单元也通过通信机制直接互连，使得可以提供共享虚拟存储器系统。两个处理器单元都使用相同的操作系统并共享相同的虚拟地址空间来存储信息。交互式终端各自连接到多个处理器单元。故障点包括终端，处理器单元，通信链路以及系统采用的各种软件组件。该方法通过在处理操作中在预先确定的精确点处管理选定信息的存储来维持系统可用性。该方法更新存储在每个处理器单元中的相同操作系统数据结构与某些已识别的数据处理事务的结果，这些事务已经影响后续处理操作所需的信息，以便确保相同的更新发生或不发生更新。该方法还确保在中止的事务结束之前存储在数据结构中的信息中可能发生的任何改变被返回到初始状态，以允许每当可以绕过故障的路径时重试事务。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式