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

1. 发明授权

US08898632B2 Dispatch predicate for overloaded functions using type intervals 有权
标题翻译：使用类型间隔的重载功能的调度谓词
公开(公告)号：US08898632B2
公开(公告)日：2014-11-25
申请号：US13601745
申请日：2012-08-31
申请人： Karl B. Naden , Justin R. Hilburn , David R. Chase , Guy L. Steele , Victor M. Luchangco , Eric Allen
发明人： Karl B. Naden , Justin R. Hilburn , David R. Chase , Guy L. Steele , Victor M. Luchangco , Eric Allen
IPC分类号： G06F9/44
CPC分类号： G06F9/4492
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译：所公开的实施例提供了便于开发和执行软件程序的系统。在软件程序的运行期间，系统获得与重载函数和通用类型层次结构相关联的函数调用。接下来，系统确定重载函数的实现对函数调用的适用性。最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。

2. 发明申请

US20140068556A1 DISPATCH PREDICATE FOR OVERLOADED FUNCTIONS USING TYPE INTERVALS 有权
标题翻译：使用类型间隔预测过载功能
公开(公告)号：US20140068556A1
公开(公告)日：2014-03-06
申请号：US13601745
申请日：2012-08-31
申请人： Karl B. Naden , Justin R. Hilburn , David R. Chase , Guy L. Steele , Victor M. Luchangco , Eric Allen
发明人： Karl B. Naden , Justin R. Hilburn , David R. Chase , Guy L. Steele , Victor M. Luchangco , Eric Allen
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F9/4492
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译：所公开的实施例提供了便于开发和执行软件程序的系统。在软件程序的运行期间，系统获得与重载函数和通用类型层次结构相关联的函数调用。接下来，系统确定重载函数的实现对函数调用的适用性。最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。

3. 发明授权

US08843887B2 Fast dispatch predicate for overloaded functions with generic type hierarchies that lack contravariance 有权
标题翻译：用于重载函数的快速调度谓词，具有缺乏对角线的泛型类型层次结构
公开(公告)号：US08843887B2
公开(公告)日：2014-09-23
申请号：US13601730
申请日：2012-08-31
申请人： David R. Chase , Guy L. Steele , Karl B. Naden , Justin R. Hilburn , Victor M. Luchangco
发明人： David R. Chase , Guy L. Steele , Karl B. Naden , Justin R. Hilburn , Victor M. Luchangco
IPC分类号： G06F9/44
CPC分类号： G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译：所公开的实施例提供了便于开发和执行软件程序的系统。在软件程序的运行期间，系统获得与重载功能相关联的功能调用和缺乏对角线的通用类型层次结构。接下来，系统确定重载函数的实现对函数调用的适用性。最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。

4. 发明申请

US20140068555A1 FAST DISPATCH PREDICATE FOR OVERLOADED FUNCTIONS WITH GENERIC TYPE HIERARCHIES THAT LACK CONTRAVARIANCE 有权
标题翻译：用于具有一般类型分类的超载功能的快速分配预测
公开(公告)号：US20140068555A1
公开(公告)日：2014-03-06
申请号：US13601730
申请日：2012-08-31
申请人： David R. Chase , Guy L. Steele , Karl B. Naden , Justin R. Hilburn , Victor M. Luchangco
发明人： David R. Chase , Guy L. Steele , Karl B. Naden , Justin R. Hilburn , Victor M. Luchangco
IPC分类号： G06F9/44
CPC分类号： G06F9/449
摘要： The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy that lacks contravariance. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.
摘要翻译：所公开的实施例提供了便于开发和执行软件程序的系统。在软件程序的运行期间，系统获得与重载功能相关联的功能调用和缺乏对角线的通用类型层次结构。接下来，系统确定重载函数的实现对函数调用的适用性。最后，系统根据确定的适用性和重载功能的部分实现顺序选择函数调用的实现。

5. 发明授权

US07530051B1 Method and apparatus for dimensional analysis encoded in metatypes and generics 有权
标题翻译：以元模式和仿制药编码的尺寸分析方法和装置
公开(公告)号：US07530051B1
公开(公告)日：2009-05-05
申请号：US11034636
申请日：2005-01-13
申请人： Eric E. Allen , David R. Chase , Victor M. Luchangco , Jan-Willem Maessen , Guy L. Steele
发明人： Eric E. Allen , David R. Chase , Victor M. Luchangco , Jan-Willem Maessen , Guy L. Steele
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/10 , G06F8/24 , G06F8/437
摘要： In general, in one aspect, the invention relates to a method for integrating dimensional analysis in a program comprising defining a specific dimension class within the program, wherein the specific dimension class is an instance of the dimension meta-class, defining an instantiation of a unit class within the program, wherein the instantiation of the unit class comprises the specific dimension class as a type parameter associated with the instantiation of the unit class, defining a method within the program using the instantiation of the unit class and the specific dimension class, and compiling the program to generate an executable code corresponding to the program, wherein the program is written in an object-oriented language.
摘要翻译：一般来说，一方面，本发明涉及一种用于在程序中整合维度分析的方法，包括在程序内定义特定维度类别，其中特定维度类是维度元类的实例，定义一个单元类的实例化，其中单元类的实例化将特定维类作为与单元类的实例相关联的类型参数，使用单元类和特定尺寸类的实例来定义程序中的方法，以及编译所述程序以生成与所述程序相对应的可执行代码，其中所述程序以面向对象语言编写。

6. 发明授权

US07424477B1 Shared synchronized skip-list data structure and technique employing linearizable operations 有权
标题翻译：共享同步跳过列表数据结构和采用线性化操作的技术
公开(公告)号：US07424477B1
公开(公告)日：2008-09-09
申请号：US10653828
申请日：2003-09-03
申请人： Paul A. Martin , Guy L. Steele, Jr. , Nir N. Shavit , Steven K. Heller , Mark S. Moir , Victor M. Luchangco
发明人： Paul A. Martin , Guy L. Steele, Jr. , Nir N. Shavit , Steven K. Heller , Mark S. Moir , Victor M. Luchangco
IPC分类号： G06F17/00 , G06F7/00
CPC分类号： G06F9/524 , Y10S707/99938 , Y10S707/99942 , Y10S707/99943
摘要： A set of structures and techniques are described herein whereby an exemplary concurrent shared object, namely a shared skip list, can be implemented in a lock-free manner. Indeed, we have developed a number of interesting variants of a lock-free shared skip-list, including variants that may be employed to provide a lock-free shared dictionary. In some variants, a key-value dictionary is implemented.
摘要翻译：本文描述了一组结构和技术，由此可以以无锁的方式实现示例性并发共享对象，即共享跳过列表。实际上，我们已经开发出了一些无锁共享的跳过列表的许多有趣的变体，包括可用于提供无锁共享字典的变体。在一些变型中，实现了键值字典。

7. 发明授权

US07805467B2 Code preparation technique employing lock-free pointer operations 有权
标题翻译：采用无锁指针操作的代码准备技术
公开(公告)号：US07805467B2
公开(公告)日：2010-09-28
申请号：US11343678
申请日：2006-01-30
申请人： Mark S. Moir , David L. Detlefs , Simon Doherty , Maurice P. Herlihy , Victor M. Luchangco , Paul A. Martin , Guy L. Steele, Jr.
发明人： Mark S. Moir , David L. Detlefs , Simon Doherty , Maurice P. Herlihy , Victor M. Luchangco , Paul A. Martin , Guy L. Steele, Jr.
IPC分类号： G06F12/00
CPC分类号： G06F12/0261 , G06F9/46 , G06F9/526
摘要： A methodology has been discovered for transforming garbage collection-dependent algorithms, shared object implementations and/or concurrent software mechanisms into a form that does not presume the existence of an independent, or execution environment provided, garbage collector. Algorithms, shared object implementations and/or mechanisms designed or transformed using techniques described herein provide explicit reclamation of storage using lock-free pointer operations. Transformations can be applied to lock-free algorithms and shared object implementations and preserve lock-freedom of such algorithms and implementations. As a result, existing and future lock-free algorithms and shared object implementations that depend on a garbage-collected execution environment can be exploited in environments that do not provide garbage collection. Furthermore, algorithms and shared object implementations that employ explicit reclamation of storage using lock-free pointer operations such as described herein may be employed in the implementation of a garbage collector itself.
摘要翻译：已经发现了一种方法，用于将垃圾回收依赖算法，共享对象实现和/或并发软件机制转换为不假定存在独立或执行环境（垃圾收集器）的形式。使用本文描述的技术设计或变换的算法，共享对象实现和/或机制使用无锁指针操作来提供存储的显式回收。转换可以应用于无锁算法和共享对象实现，并保持这种算法和实现的锁定自由度。因此，依赖于垃圾回收执行环境的现有和将来的无锁算法和共享对象实现可以在不提供垃圾回收的环境中被利用。此外，使用如本文所述的无锁定指针操作的使用显式回收存储的算法和共享对象实现可以用于实现垃圾收集器本身。

8. 发明申请

US20110138134A1 Software Transactional Memory for Dynamically Sizable Shared Data Structures 有权
标题翻译：用于动态相似的共享数据结构的软件事务内存
公开(公告)号：US20110138134A1
公开(公告)日：2011-06-09
申请号：US13030992
申请日：2011-02-18
申请人： Mark S. Moir , Victor M. Luchangco , Maurice Herlihy
发明人： Mark S. Moir , Victor M. Luchangco , Maurice Herlihy
IPC分类号： G06F12/00
CPC分类号： G06F9/524 , G06F9/526 , Y10S707/99944 , Y10S707/99947
摘要： We propose a new form of software transactional memory (STM) designed to support dynamic-sized data structures, and we describe a novel non-blocking implementation. The non-blocking property we consider is obstruction-freedom. Obstruction-freedom is weaker than lock-freedom; as a result, it admits substantially simpler and more efficient implementations. An interesting feature of our obstruction-free STM implementation is its ability to use of modular contention managers to ensure progress in practice.
摘要翻译：我们提出了一种旨在支持动态大小的数据结构的新形式的软件事务内存（STM），我们描述了一种新的非阻塞实现。我们认为的非阻塞性是阻碍自由。障碍自由弱于锁定自由; 因此，它承认基本上更简单和更有效的实现。我们无障碍STM实施的一个有趣的特征是其使用模块化竞争管理人员确保实践进度的能力。

9. 发明申请

US20100325630A1 PARALLEL NESTED TRANSACTIONS 有权
标题翻译：并行交易
公开(公告)号：US20100325630A1
公开(公告)日：2010-12-23
申请号：US12490287
申请日：2009-06-23
申请人： Christine H. Flood , Victor M. Luchangco , Jan-Willem Maessen
发明人： Christine H. Flood , Victor M. Luchangco , Jan-Willem Maessen
IPC分类号： G06F9/46
CPC分类号： G06F9/466
摘要： A system for managing transactions, including a first reference cell associated with a starting value for a first variable, a first thread having an outer atomic transaction including a first instruction to write a first value to the first variable, a second thread, executing in parallel with the first thread, having an inner atomic transaction including a second instruction to write a second value to the first variable, where the inner atomic transaction is nested within the outer atomic transaction, a first value node created by the outer atomic transaction and storing the first value in response to execution of the first instruction, and a second value node created by the inner atomic transaction, storing the second value in response to execution of the second instruction, and having a previous node pointer referencing the first value node.
摘要翻译：一种用于管理事务的系统，包括与第一变量的起始值相关联的第一参考单元，具有包含向第一变量写入第一值的第一指令的外部原子事务的第一线程，并行执行的第二线程具有第一线程，具有包含向第一变量写入第二值的第二指令的内部原子事务，其中内部原子事务嵌套在外部原子事务内，由外部原子事务创建的第一个值节点并存储响应于第一指令的执行的第一值和由内部原子事务创建的第二值节点，响应于第二指令的执行存储第二值，并且具有引用第一值节点的先前节点指针。

10. 发明申请

US20100241774A1 SCALABLE READER-WRITER LOCK 有权
标题翻译：可扩展读写器锁定
公开(公告)号：US20100241774A1
公开(公告)日：2010-09-23
申请号：US12406890
申请日：2009-03-18
申请人： Marek K. Olszewski , Yosef Lev , Victor M. Luchangco
发明人： Marek K. Olszewski , Yosef Lev , Victor M. Luchangco
IPC分类号： G06F13/14 , G06F12/14
CPC分类号： G06F9/52
摘要： A reader-writer lock is provided that scales to accommodate multiple readers without contention. The lock comprises a hierarchical C-SNZI (Conditioned Scalable Non-Zero Indicator) structure that scales with the number readers seeking simultaneous acquisition of the lock. All readers that have joined the C-SNZI structure share concurrent acquisition, and additional readers may continue to join until the structure is disabled. The lock may be disabled by a writer, at which time subsequent readers will wait (e.g., in a wait queue) until the lock is again available. The C-SNZI structure may be implemented in a lockword or in reader entries within a wait queue. If implemented in reader entries of a wait queue, the lockword may be omitted, and new readers arriving at the queue may be able join an existing reader entry even if the reader entry is not at the tail of the queue.
摘要翻译：提供了读写器锁，可以扩展以适应多个读卡器而无需争用。该锁包括分级C-SNZI（条件可扩展非零指示符）结构，其数字读取器寻求同时获取锁定。加入C-SNZI结构的所有读者都会共享并购，另外读者也可以继续加入，直到结构被禁用。锁可以被写入器禁用，随后的读取器将等待（例如，在等待队列中），直到锁再次可用。 C-SNZI结构可以以锁字或者在等待队列内的读取器条目中实现。如果在等待队列的读取器条目中实现，则可以省略锁字，并且即使读取器条目不在队列的尾部，到达队列的新读取器也可以加入现有的读取器条目。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式