-
公开(公告)号：US20090077083A1
公开(公告)日：2009-03-19
申请号：US11901647
申请日：2007-09-18
IPC分类号： G06F17/30
CPC分类号： G06F9/467 , G06F17/30356 , G06F17/30359 , G06F17/30362
摘要： Various technologies and techniques are disclosed for supporting parallel nested transactions in a transactional memory system. Multiple closed nested transactions are created for a single parent transaction, and the closed nested transactions are executed concurrently as parallel nested transactions. Various techniques are used to ensure effects of the parallel nested transactions are hidden from other transactions outside the parent transaction until the parent transaction commits. For example, versioned write locks are used with parallel nested transactions. When a transactional memory word changes from a write lock to a versioned write lock, an entry is made in a global versioned write lock map to store a pointer to a write log entry that the versioned write lock replaced. When the versioned write lock is encountered during transaction processing, the global versioned write lock map is consulted to translate the versioned write lock to the pointer to the write log entry.
摘要翻译： 公开了用于支持事务存储器系统中的并行嵌套事务的各种技术和技术。 为单个父事务创建多个封闭的嵌套事务，并且封闭的嵌套事务将作为并行嵌套事务并发执行。 使用各种技术来确保并行嵌套事务对父事务之外的其他事务的影响，直到父事务提交为止。 例如，版本化的写锁与并行嵌套事务一起使用。 当事务性内存单词从写入锁定更改为版本化写入锁定时，将在全局版本化写入锁定映射中创建一个条目，以存储指向版本化写入锁定替换的写入日志条目的指针。 当在事务处理期间遇到版本化的写锁时，请参考全局版本的写入锁定映射，以将版本化的写锁定转换为写入日志条目的指针。
-
公开(公告)号：US20080140957A1
公开(公告)日：2008-06-12
申请号：US11608698
申请日：2006-12-08
CPC分类号： G06F11/141 , G06F11/1438
摘要： Typical computer programs may incur costly memory errors that result in corrupted data. A new memory model is presented wherein it may be determined that certain data is critical and critical data may be stored and protected during computer application execution. Critical Memory allows that data determined to be critical may be stored and retrieved using functions enabled to increase the reliability of the data. Critical Memory presents a memory model where a subset of memory designated as critical memory may be used to store a subset of data deemed critical data. Probabilistic guarantees of data value consistency are provided by the employment of the new memory model. The memory model and functions presented are compatible with existing third-party libraries such that third-party libraries may be compatibly called from processes using critical memory.
摘要翻译： 典型的计算机程序可能会导致导致数据损坏的昂贵的内存错误。 提出了一种新的存储器模型，其中可以确定某些数据是关键的，并且在计算机应用执行期间可以存储和保护关键数据。 关键内存允许确定为关键的数据可以使用启用的功能来存储和检索，以提高数据的可靠性。 关键存储器提供了一种存储器模型，其中指定为关键存储器的存储器的子集可以用于存储被认为是关键数据的数据子集。 通过使用新的内存模型提供数据价值一致性的概率保证。 所呈现的内存模型和功能与现有的第三方库兼容，使得可以使用关键内存从进程兼容地调用第三方库。
-
公开(公告)号：US07120898B2
公开(公告)日：2006-10-10
申请号：US10609275
申请日：2003-06-26
摘要： As described herein, an intermediate representation of a source code file may be used to explicitly express exception handling control flow prior to generating object code for the source code. As further described herein, a single uniform set of instructions of the intermediate representation may be used for expressing multiple different exception handling mechanisms related to multiple different programming languages. The intermediate form of the exception handling instructions may be generated by translating an intermediate language representation of the source code file. Representations of the source code in multiple different intermediate languages may be translated to a single uniform set of instructions of the intermediate representation. The intermediate form of the exception handling instructions may then be used by software development tools for such tasks as code generation, code optimization, code analysis etc. Thus, the same methods for code optimizations, analysis and generation may be used for intermediate representations of multiple different languages.
摘要翻译： 如本文所述，源代码文件的中间表示可以用于在为源代码生成目标代码之前显式表达异常处理控制流程。 如本文进一步描述的，中间表示的单个均匀的指令集可以用于表示与多个不同的编程语言相关的多个不同的异常处理机制。 可以通过翻译源代码文件的中间语言表示来生成异常处理指令的中间形式。 可以将多个不同中间语言的源代码的表示形式转换为中间表示的单个均匀指令集。 异常处理指令的中间形式然后可以由软件开发工具用于诸如代码生成，代码优化，代码分析等任务。因此，用于代码优化，分析和生成的相同方法可以用于多个的中间表示 不同的语言。
-
公开(公告)号：US07949841B2
公开(公告)日：2011-05-24
申请号：US11608695
申请日：2006-12-08
CPC分类号： G06F11/167 , G06F11/183
摘要： Typical computer programs may incur costly memory errors that result in corrupted data. A new memory model is presented wherein it may be determined that certain data is critical and critical data may be stored and protected during computer application execution. Critical Memory allows that data determined to be critical may be stored and retrieved using functions enabled to increase the reliability of the data. Functions are presented enabling allocation of redundant computer memory; functions are presented enabling consistently writing critical data to redundant locations; and functions are presented enabling reading critical data while ensuring that the data read is consistent with the most recent write of critical data and enabled to repair inconsistent data. The memory model and functions presented are designed to be compatible with existing third-party libraries.
摘要翻译： 典型的计算机程序可能会导致导致数据损坏的昂贵的内存错误。 提出了一种新的存储器模型，其中可以确定某些数据是关键的，并且在计算机应用执行期间可以存储和保护关键数据。 关键内存允许确定为关键的数据可以使用启用的功能来存储和检索，以提高数据的可靠性。 提供功能，使冗余计算机存储器的分配; 提供功能，可以将关键数据始终写入冗余位置; 并提供了功能，可以读取关键数据，同时确保数据读取与最新的关键数据写入一致，并能够修复不一致的数据。 所提供的内存模型和功能旨在与现有的第三方库兼容。
-
公开(公告)号：US07308680B2
公开(公告)日：2007-12-11
申请号：US11505090
申请日：2006-08-15
摘要： As described herein, an intermediate representation of a source code file may be used to explicitly express exception handling control flow prior to generating object code for the source code. As further described herein, a single uniform set of instructions of the intermediate representation may be used for expressing multiple different exception handling mechanisms related to multiple different programming languages. The intermediate form of the exception handling instructions may be generated by translating an intermediate language representation of the source code file. Representations of the source code in multiple different intermediate languages may be translated to a single uniform set of instructions of the intermediate representation. The intermediate form of the exception handling instructions may then be used by software development tools for such tasks as code generation, code optimization, code analysis etc. Thus, the same methods for code optimizations, analysis and generation may be used for intermediate representations of multiple different languages.
-
36.发明授权公开(公告)号：US07305666B2
公开(公告)日：2007-12-04
申请号：US10626251
申请日：2003-07-23
申请人： Julian Burger , David Read Tarditi, Jr. , Charles L. Mitchell , Andrew Edward Ayers , Vinod K. Grover
发明人： Julian Burger , David Read Tarditi, Jr. , Charles L. Mitchell , Andrew Edward Ayers , Vinod K. Grover
CPC分类号： G06F8/70 , G06F9/4488
摘要： Methods and systems are described herein for extending configuration dependent extensible software programs. Classes of a core extensible software program may be extended by adding a configuration dependent extension. The extensions may be added statically prior to compiling the core version of a software program or dynamically at runtime. The declaration of extensible core classes may include an extensibility attribute with an indication of whether the class is statically extensible or dynamically extensible. An object description language is also described herein for appropriately declaring configuration dependent extensible classes. Also, a pre-processor is described herein for processing the object description language to generate a source code representation of the extensible class declarations and their extensions. The source code representation may then be used to generate the extended version of the core software program.
摘要翻译： 本文描述了用于扩展配置依赖的可扩展软件程序的方法和系统。 可以通过添加配置依赖扩展来扩展核心可扩展软件程序的类。 扩展可以在编译软件程序的核心版本之前静态地添加，或者在运行时动态添加。 可扩展核心类的声明可以包括可扩展性属性，指示该类是静态可扩展还是可动态扩展。 本文还描述了适当地声明配置依赖的可扩展类的对象描述语言。 而且，本文描述了一种用于处理对象描述语言以生成可扩展类声明及其扩展的源代码表示的预处理器。 然后可以使用源代码表示来生成核心软件程序的扩展版本。
-
37.发明授权公开(公告)号：US07146606B2
公开(公告)日：2006-12-05
申请号：US10625892
申请日：2003-07-22
IPC分类号： G06F9/45
摘要： Various intermediate representation techniques for software development tool scenarios are described. An intermediate representation format can be used for both high level and low level representations. The intermediate representation can be built from various operands and instructions types. Various annotations can be added to the intermediate representation without modifying its format. For example, flow control and data control can be explicitly represented by threading a graph through the intermediate representation.
摘要翻译： 描述了用于软件开发工具场景的各种中间表示技术。 中间表示格式可用于高级和低级表示。 中间表示可以由各种操作数和指令类型构建。 可以将各种注释添加到中间表示，而不修改其格式。 例如，流控制和数据控制可以通过中间表示线图来显式表示。
-
公开(公告)号：US06678805B1
公开(公告)日：2004-01-13
申请号：US09578774
申请日：2000-05-25
申请人： Adrian Dumitru Corduneanu , Vinod K. Grover , Richard Emil Ladner , Simon M. Meacham , Kevin James Zatloukal
发明人： Adrian Dumitru Corduneanu , Vinod K. Grover , Richard Emil Ladner , Simon M. Meacham , Kevin James Zatloukal
IPC分类号： G06F1200
CPC分类号： G06F12/126 , G06F11/3447 , G06F11/3471 , G06F2201/885
摘要： A method, apparatus, and software are disclosed for modelling access behavior to a cache memory using trace data collected during execution of an application. The model thus obtained is used to improve cache performance by reordering constituent members of data structures so as to improve the cache hit rate.
摘要翻译： 公开了一种方法，装置和软件，用于使用在执行应用期间收集的跟踪数据来建模对高速缓冲存储器的访问行为。 如此获得的模型用于通过重新排序数据结构的组成成员来提高高速缓存性能，以便提高高速缓存命中率。
-
公开(公告)号：US08112597B2
公开(公告)日：2012-02-07
申请号：US11608698
申请日：2006-12-08
IPC分类号： G06F12/00
CPC分类号： G06F11/141 , G06F11/1438
摘要： Typical computer programs may incur costly memory errors that result in corrupted data. A new memory model is presented wherein it may be determined that certain data is critical and critical data may be stored and protected during computer application execution. Critical Memory allows that data determined to be critical may be stored and retrieved using functions enabled to increase the reliability of the data. Critical Memory presents a memory model where a subset of memory designated as critical memory may be used to store a subset of data deemed critical data. Probabilistic guarantees of data value consistency are provided by the employment of the new memory model. The memory model and functions presented are compatible with existing third-party libraries such that third-party libraries may be compatibly called from processes using critical memory.
摘要翻译： 典型的计算机程序可能会导致导致数据损坏的昂贵的内存错误。 提出了一种新的存储器模型，其中可以确定某些数据是关键的，并且在计算机应用执行期间可以存储和保护关键数据。 关键内存允许确定为关键的数据可以使用启用的功能来存储和检索，以提高数据的可靠性。 关键存储器提供了一种存储器模型，其中指定为关键存储器的存储器的子集可以用于存储被认为是关键数据的数据子集。 通过使用新的内存模型提供数据价值一致性的概率保证。 所呈现的内存模型和功能与现有的第三方库兼容，使得可以使用关键内存从进程兼容地调用第三方库。
-
公开(公告)号：US07707566B2
公开(公告)日：2010-04-27
申请号：US10628054
申请日：2003-07-25
申请人： Vinod K. Grover , Charles L. Mitchell , David Mitford Gillies , Mark Leslie Roberts , Mark Ronald Plesko , David Read Tarditi, Jr. , Andrew James Edwards , Julian Burger , Andrew Edward Ayers , Akella V. S. Sastry
发明人： Vinod K. Grover , Charles L. Mitchell , David Mitford Gillies , Mark Leslie Roberts , Mark Ronald Plesko , David Read Tarditi, Jr. , Andrew James Edwards , Julian Burger , Andrew Edward Ayers , Akella V. S. Sastry
摘要： A software development architecture is provided for constructing a wide range of software development tools. A software development tool can be created by integrating a specification specifying functionality specific to a set of software development scenarios into a software development scenario-independent framework. The integrated specification can then be compiled to create the software development tool. Alternatively, integration can be achieved at runtime without access to source code. The architecture can use any combination of the following: a software scenario independent intermediate representation format, one or more exception handling models capable of supporting a plurality of programming language specific exception handling models, a type system capable of representing the type representations of a plurality of source languages, and a code generator capable of generating code targeted for a plurality of execution architectures.
摘要翻译： 提供了一个软件开发架构，用于构建广泛的软件开发工具。 可以通过将指定一组软件开发场景的功能的规范集成到与软件开发场景无关的框架中来创建软件开发工具。 然后可以编译集成规范来创建软件开发工具。 或者，可以在运行时实现集成，而无需访问源代码。 该架构可以使用以下的任何组合：独立于软件场景的中间表示格式，能够支持多种编程语言特定的异常处理模型的一个或多个异常处理模型，能够表示多个 源语言和能够生成针对多个执行架构的代码的代码生成器。
-
-
-
-
-
-
-
-
-
搜索结果
45 条记录 (耗时 0.048 秒)