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

1. 发明授权

US6105147A Using process pairs as transaction-coordinated resource managers 失效
标题翻译：使用流程对作为事务协调的资源管理器
公开(公告)号：US6105147A
公开(公告)日：2000-08-15
申请号：US840749
申请日：1997-04-16
申请人： Mark E. Molloy
发明人： Mark E. Molloy
IPC分类号： G06F11/00 , G06F11/14
CPC分类号： G06F11/1497 , G06F11/1438 , G06F11/1482
摘要： 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.
摘要翻译：本发明是用于事务处理系统中的进程对资源管理器。进程对资源管理器包括并发方面和串行方面。并发方面为受保护资源提供了类似对象的接口。参与事务的应用程序通过将消息传递到并发方面来访问受保护的资源。并发方面添加每个消息的描述以及将每个消息处理到事务记录的结果。在事务结束时，并发方面将事务记录传递给串行方面。然后，串行方面使用事务记录重播事务。如果事务的重播与记录在事务记录中的事务一致，则串行方面向并发方面投票发送消息以提交事务。反过来，并发方面向事务管理器发送一条消息，转发提交消息。

2. 发明授权

US06425118B1 System for automatically generating tests to ensure binary compatibility between software components produced by a source-to-source computer language translator 失效
标题翻译：用于自动生成测试的系统，以确保源到源计算机语言翻译器生成的软件组件之间的二进制兼容性
公开(公告)号：US06425118B1
公开(公告)日：2002-07-23
申请号：US09118403
申请日：1998-07-17
申请人： Mark E. Molloy , Kristy A. Andrews , James L. Herren , David R. Cutler , Paul Del Vigna
发明人： Mark E. Molloy , Kristy A. Andrews , James L. Herren , David R. Cutler , Paul Del Vigna
IPC分类号： G06F945
CPC分类号： G06F8/51
摘要： 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.
摘要翻译：一种实现自动生成源到源翻译自检的策略的系统和方法。测试确定源到源计算机语言翻译器生成的软件组件继续与其以前正确交互的所有其他软件组件二进制兼容，包括保留在原始编程语言中的组件。为此，还验证了目标计算机程序中程序接口的正确性。通过这种策略，可以实现文本预处理机制的正确翻译，如宏，条件编译的代码区域和源文件包含。目标程序是将用不同语言编写的源程序与目标程序进行翻译的结果。系统会为源程序中的每个过程创建一组过程调用。该系统还创建一组具有与源程序相同的接口规范的可调用过程。但是，由系统创建的可调用过程用于对变量和其他数据执行测试，并传递给每个过程的接口规范。系统生成的过程调用旨在分配不同的测试值，以确保存在有效的接口。例如，为测试变量选择高，低，零和随机值或其他值。过程调用和可调用过程以源语言生成，并由翻译器转换为目标语言。然后，以两种语言格式的过程调用和可调用过程进行交互并执行，以确定翻译器是否正在相对于过程接口规范正确翻译。

3. 发明授权

US06006031A Method and apparatus for reconciling conflicting translations by factoring and parameterizing differences 失效
标题翻译：通过分解和参数化差异来协调冲突翻译的方法和装置
公开(公告)号：US06006031A
公开(公告)日：1999-12-21
申请号：US664464
申请日：1996-06-14
申请人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
发明人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/51
摘要： 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.
摘要翻译：将以一种计算机语言编写的源代码转换成用另一种语言编写的源代码的方法和装置，其中在文本不一致的情况下生成翻译的静态片段。生成每个源语言静态片段的一个目标语言定义，并将差异封装在新参数中。

4. 发明授权

US5768564A Method and apparatus for translating source code from one high-level computer language to another 失效
公开(公告)号：US5768564A
公开(公告)日：1998-06-16
申请号：US319682
申请日：1994-10-07
申请人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
发明人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
IPC分类号： G06F9/44 , G06F9/45 , G06F17/30
CPC分类号： G06F8/33 , G06F8/423 , G06F8/48 , G06F8/51 , Y10S707/99942
摘要： 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.

5. 发明授权

US06317871B1 System for ensuring the accuracy of file structures in a source-to-source computer program translator 失效
标题翻译：用于确保源到源计算机程序翻译器中的文件结构的准确性的系统
公开(公告)号：US06317871B1
公开(公告)日：2001-11-13
申请号：US09118477
申请日：1998-07-17
申请人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
发明人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
IPC分类号： G06F945
CPC分类号： G06F8/51
摘要： 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.
摘要翻译：用于识别计算机程序的文件结构的系统，在将源代码从一个高级计算机语言翻译成另一个之后保留代码的文件结构，组合在不同翻译会话中生成的源文件的片段，并确保在生成的代码文件中每个生成的代码的文本一致性。

6. 发明授权

US06128615A Process-pair resource manager implementation of object bags 失效
标题翻译：对象袋的流程对资源管理器实现
公开(公告)号：US06128615A
公开(公告)日：2000-10-03
申请号：US877529
申请日：1997-06-17
申请人： Mark E. Molloy
发明人： Mark E. Molloy
IPC分类号： G06F9/46 , G06F9/00
CPC分类号： G06F9/466 , Y10S707/955 , Y10S707/99938 , Y10S707/99944
摘要： 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.
摘要翻译：用于收集面向对象编程中使用的对象的共享包，被实现为旨在提供对多个线程的并发访问的进程对资源管理器。流程对实现包括并发方面和串行方面。每个线程通过注册的事务获得对共享包的并发访问。多个线程可以通过将消息传递到并发方面来同时访问共享包，以便将对象添加到共享包中或从共享包中删除对象。并发方面将每个消息的描述以及处理每个消息的结果添加到与该线程被注册的事务相关联的事务记录。每个删除对象的身份也由事务记录中的并发方面记录。在事务结束时，并发方面将事务记录传递给串行方面。然后，串行方面使用事务记录重播事务。串行方面使用事务记录中包含的对象标识来确定性地选择事务中对象被删除的顺序。一旦串行方面重播整个记录，它将提交或回滚事务。在处理，处理器，通信或系统故障的情况下，共享包总是可恢复的，以反映所有且只有已提交的事务。

7. 发明授权

US6058388A Implementation of escrow-locking scalar quantities via process-pair resource managers 失效
标题翻译：通过流程对资源管理器实现托管锁定标量
公开(公告)号：US6058388A
公开(公告)日：2000-05-02
申请号：US876850
申请日：1997-06-16
申请人： Mark E. Molloy
发明人： Mark E. Molloy
IPC分类号： G06F9/46 , G06F17/30
CPC分类号： G06F9/52 , Y10S707/915 , Y10S707/99931 , Y10S707/99952 , Y10S707/99953
摘要： 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.
摘要翻译：本发明是作为过程对资源管理器实现的标量。流程对实现包括并发方面和串行方面。并发方面为标量提供了类似对象的界面。线程和进程通过将消息传递到并发方面来访问标量数量。并发方面添加每个消息的描述以及将每个消息处理到事务记录的结果。在事务结束时，并发方面将事务记录传递给串行方面。然后，串行方面使用事务记录重播事务。如果事务的重播与记录在事务记录中的事务一致，则串行方面向并发方面投票发送消息以提交事务。反过来，并发方面向事务管理器发送一条消息，转发提交消息。在进程，处理器，通信或系统故障的情况下，标量总是可恢复的，以反映所有并且仅承诺的事务。

8. 发明授权

US5842204A Method and apparatus for translating source code from one high-level computer language to another 失效
标题翻译：将源代码从一种高级计算机语言翻译成另一种的方法和装置
公开(公告)号：US5842204A
公开(公告)日：1998-11-24
申请号：US332966
申请日：1994-11-01
申请人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
发明人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
IPC分类号： G06F9/44 , G06F9/45 , G06F17/30 , G06F7/00
CPC分类号： G06F8/33 , G06F17/30961 , G06F8/423 , G06F8/48 , G06F8/51 , Y10S707/99933 , Y10S707/99943
摘要： 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.
摘要翻译：将以一种计算机语言编写的源代码转换成用另一种语言编写的源代码的方法和装置，其中在文本不一致的情况下生成翻译的静态片段。生成每个源语言静态片段的一个目标语言定义，并将差异封装在新参数中。

9. 发明授权

US06625601B1 Escrow-locking multithreaded process-pair resource manager dictionary 有权
标题翻译：托管锁定多线程流程对资源管理器字典
公开(公告)号：US06625601B1
公开(公告)日：2003-09-23
申请号：US09226998
申请日：1999-01-07
申请人： Mark E. Molloy
发明人： Mark E. Molloy
IPC分类号： G06F1730
CPC分类号： G06F9/52 , G06F9/466 , Y10S707/99938 , Y10S707/99952
摘要： 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.
摘要翻译：分布式事务处理系统中的字典。该字典被实现为托管锁定多线程进程对资源管理器（PPRM）字典，其作为在PPRM的上下文中实现并继承其功能的托管锁定对象生成。 PPRM中的进程对响应于多个并发事务，并且包括并发方面，串行方面和托管锁定字典。并发方面是用于并发处理多个并发事务的进程对的前端多线程进程。串行方面是用于串行化多个并发事务的进程对的单线程进程。并发方面和串行方面中的每一个包括托管锁定字典的实例。也就是说，并发方面和串行方面中的每一个都具有自己的托管锁定字典的副本，并且组合在一起，两个副本维护单个虚拟字典的外观。托管锁定字典具有字典资源，并使用托管锁定来允许多个并发事务共享字典资源。因此，字典代表多个并发事务执行操作，而不会影响其原子，一致，隔离和持久（ACID）属性。此外，包括其中包含计算机可读代码的计算机可用介质的方法和计算机程序产品用于提供对数据处理系统中的字典的访问。

10. 发明授权

US6031993A Method and apparatus for translating source code from one high-level computer language to another 失效
标题翻译：将源代码从一种高级计算机语言翻译成另一种的方法和装置
公开(公告)号：US6031993A
公开(公告)日：2000-02-29
申请号：US6138
申请日：1998-01-13
申请人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
发明人： Kristy A. Andrews , Paul Del Vigna , Mark E. Molloy
IPC分类号： G06F9/44 , G06F9/45 , G06F17/30
CPC分类号： G06F8/33 , G06F8/423 , G06F8/48 , G06F8/51 , Y10S707/99942
摘要： 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.
摘要翻译：一种使用双根树数据结构将一种计算机语言转换为另一种计算机语言的方法，系统，装置和程序。双根树是共享一组共同叶子的两组分层相关对象的组合。还描述了一种有根根的树。当以指定方式构造双根树，然后将其转换为第二个双根树时，源语言代码将转换为目标语言代码。此外，翻译保留源语言代码的预处理器特性，包括宏，条件编译的代码区域，源包含语句和注释。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式