Compaq Computer Corporation, Inc.

Tandem Computers Incorporated

Compaq Information Technologies Group, L.p.

Mark E Molloy

Paul Del Vigna, Jr

Kristy A Andrews

James L Herren

David R Cutler

A dictionary in a distributed transaction processing system. The dictionary is implemented as an escrow-locking multithreaded process-pair resource manager (PPRM) dictionary which is produced as an escrow-locking object implemented in the context of a PPRM and inheriting its functionality. A process pair in the PPRM is responsive to multiple concurrent transactions and including a concurrent aspect, a serial aspect and an escrow-locking dictionary. The concurrent aspect is a front-end multithreaded process of the process pair for concurrently servicing the multiple concurrent transactions. The serial aspect is a single-threaded process of the process pair for serializing the multiple concurrent transaction. Each of the concurrent aspect and the serial aspect includes an instance of the escrow-locking dictionary. That is, each of the concurrent aspect and the serial aspect has it own copy of the escrow-locking dictionary and, combined, the two copies maintains an appearance of a single virtual dictionary. The escrow-locking dictionary has a dictionary resource and uses escrow-locking for allowing the multiple concurrent transactions to share the dictionary resource. As a result, the dictionary performs operations on behalf of the multiple concurrent transactions without compromising their atomic, consistent, isolated and durable (ACID) properties. Additionally, a method and a computer program product, including a computer useable medium having computer readable code embodied therein, are for providing access to the dictionary in the data processing system.

Escrow-locking multithreaded process-pair resource manager dictionary

A system and method that implement a strategy for automatically generating self-checking tests of source-to-source translation. The tests make certain that software components produced by a source-to-source computer language translator continue to be binary-compatible with all other software components with which they previously interacted correctly, including components that remain in the original programming language. To that end, the correctness of procedure interfaces in a target computer program is also verified. With this strategy, correct translation of text preprocessor mechanisms such as macros, conditionally compiled regions of code, and source file inclusion can be achieved. The target program is the result of translating a source program written in a different language from the target program. The system creates a set of procedure calls to each procedure in the source program. The system also creates a set of callable procedures with the same interface specification as in the source program. However, the callable procedures created by the system to serve to perform tests on variables and other data that is passed to each procedures' interface specification. The system-generated procedure calls are designed to assign different test values to ensure that a valid interface exists. For example, high, low, zero, and random values, or other values, are chosen for a variable to test. The procedure calls, and callable procedures, are generated in the source language and are also translated into the target language by a translator. The procedure calls and callable procedures in both language formats are then cross-linked and executed to determine whether the translator is translating correctly with respect to the procedure interface specifications.

System for automatically generating tests to ensure binary compatibility between software components produced by a source-to-source computer language translator

A system for identifying the file structure of a computer program, preserving the file structure of the code after translation of source code from one high-level computer language to another, combining pieces of a source file that were generated in different translation sessions, and ensuring textual consistency of each piece of generated code in the resultant code files.

System for ensuring the accuracy of file structures in a source-to-source computer program translator

A shared bag, for collecting objects used in object oriented programming, implemented as a process pair resource manager intended to provide concurrent access to multiple threads. The process-pair implementation includes a concurrent aspect and a serial aspect. Each thread gains concurrent access to the shared bag through a registered transaction. The multiple threads can concurrently access the shared bag by passing messages to the concurrent aspect in order to add objects to, or remove objects from the shared bag. The concurrent aspect adds a description of each message, as well as the result of processing each message, to a transaction record associated with the transaction under which the thread is registered. The identity of each removed object is also recorded by the concurrent aspect in the transaction record. At the conclusion of a transaction, the concurrent aspect passes the transaction record to the serial aspect. The serial aspect then replays the transaction, using the transaction record. The serial aspect uses the object identities included in the transaction record to deterministically choose the order in which objects are removed during a transaction. Once the serial aspect has replayed the entire record, it commits or rolls back the transaction. In the event of process, processor, communication, or system failure, the shared bag is always recoverable to reflect all, and only, committed transactions.

Process-pair resource manager implementation of object bags

The present invention is a process-pair resource manager for use in a transaction processing system. The process-pair resource manager includes a concurrent aspect and a serial aspect. The concurrent aspect provides an object-like interface to a protected resource. An application program participating in a transaction accesses the protected resource by passing messages to the concurrent aspect. The concurrent aspect adds a description of each message as well as the result of processing each message to a transaction record. At the conclusion of a transaction, the concurrent aspect passes the transaction record to the serial aspect. The serial aspect then replays the transaction, using the transaction record. If the replay of the transaction is consistent with the transaction as recorded in the transaction record, the serial aspect sends a message to the concurrent aspect voting to commit the transaction. In turn, the concurrent aspect sends a message to the transaction manager forwarding the commit message.

Using process pairs as transaction-coordinated resource managers

A process and system for improving the display resolution of a video image that is transmitted point-to-point. The process and system function by determining regions on a screen that are of high interest to a viewer and regions on the screen which are of lower interest to the viewer. Regions of high interest to the viewer are transmitted from a video source and displayed on the screen at a higher resolution than those regions of lower interest to the viewer.

Process and system for increasing the display resolution of a

The present invention is a scalar quantity implemented as a process-pair resource manager. The process-pair implementation includes a concurrent aspect and a serial aspect. The concurrent aspect provides an object-like interface to the scalar quantity. Threads and processes access the scalar quantity by passing messages to the concurrent aspect. The concurrent aspect adds a description of each message as well as the result of processing each message to a transaction record. At the conclusion of a transaction, the concurrent aspect passes the transaction record to the serial aspect. The serial aspect then replays the transaction, using the transaction record. If the replay of the transaction is consistent with the transaction as recorded in the transaction record, the serial aspect sends a message to the concurrent aspect voting to commit the transaction. In turn, the concurrent aspect sends a message to the transaction manager forwarding the commit message. In the event of process, processor, communication or system failure, the scalar quantity is always recoverable to reflect all, and only, committed transactions.

Implementation of escrow-locking scalar quantities via process-pair

A method, system, apparatus, and program for translating one computer language to another using doubly-rooted tree data structures. A doubly-rooted tree is the combination of two sets of hierarchically related objects sharing a common set of leaves. An N-rooted tree is also described. When a doubly-rooted tree is constructed in the specified manner and then translated to a second doubly-rooted tree, source language code is transformed into target language code. In addition, the translation preserves preprocessor characteristics of the source language code including macros, conditionally compiled regions of code, source inclusion statements, and comments.

Method and apparatus for translating source code from one high-level

A method and apparatus for translating source code written in one computer language to source code written in another language wherein translated static fragments are generated in the face of textual inconsistencies. Exactly one target language definition of each source language static fragment is generated and the differences are encapsulated in new parameters.

Growing community of inventors

San Jose, CA, United States of America

Mark E Molloy