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

1. 发明申请

US20100169868A1 Unifying Type Checking and Property Checking for Low Level Programs 有权
标题翻译：统一类型检查和低级程序的属性检查
公开(公告)号：US20100169868A1
公开(公告)日：2010-07-01
申请号：US12347398
申请日：2008-12-31
申请人： Jeremy P. Condit , Shaz Qadeer , Shuvendu K. Lahiri
发明人： Jeremy P. Condit , Shaz Qadeer , Shuvendu K. Lahiri
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/437 , G06F8/40 , G06F11/3608
摘要： This document describes a unified type checker and property checker for a low level program's heap and its types. The type checker can use the full power of the property checker to express and verify subtle, program specific type and memory safety invariants well beyond what the native low level program system can check. Meanwhile, the property checker can rely on the type checker to provide structure and disambiguation for the program's heap, enabling more concise and more powerful type-based specifications. This approach makes use of a fully automated Satisfiability Modulo Theories (SMT) solver and a decision procedure for checking type safety, which means that the programmer's only duty is to provide high-level type and property annotations as part of the original program's source.
摘要翻译：本文档描述了低级程序堆及其类型的统一类型检查器和属性检查器。类型检查器可以使用属性检查器的全部功能来表达和验证微妙的程序特定类型和内存安全不变量，远远超出了本机低级程序系统可以检查的内容。同时，属性检查器可以依靠类型检查器为程序的堆提供结构和消歧，从而实现更简洁和更强大的基于类型的规范。这种方法利用完全自动化的满意度模数理论（SMT）求解器和检查类型安全性的决策程序，这意味着程序员唯一的职责是提供高级类型和属性注释作为原始程序源的一部分。

2. 发明授权

US08813043B2 Unifying type checking and property checking for low level programs 有权
标题翻译：对低级程序进行统一的类型检查和属性检查
公开(公告)号：US08813043B2
公开(公告)日：2014-08-19
申请号：US12347398
申请日：2008-12-31
申请人： Jeremy P. Condit , Shaz Qadeer , Shuvendu K. Lahiri
发明人： Jeremy P. Condit , Shaz Qadeer , Shuvendu K. Lahiri
IPC分类号： G06F9/44 , G06F9/45 , G06F11/36
CPC分类号： G06F8/437 , G06F8/40 , G06F11/3608
摘要： This document describes a unified type checker and property checker for a low level program's heap and its types. The type checker can use the full power of the property checker to express and verify subtle, program specific type and memory safety invariants well beyond what the native low level program system can check. Meanwhile, the property checker can rely on the type checker to provide structure and disambiguation for the program's heap, enabling more concise and more powerful type-based specifications. This approach makes use of a fully automated Satisfiability Modulo Theories (SMT) solver and a decision procedure for checking type safety, which means that the programmer's only duty is to provide high-level type and property annotations as part of the original program's source.
摘要翻译：本文档描述了低级程序堆及其类型的统一类型检查器和属性检查器。类型检查器可以使用属性检查器的全部功能来表达和验证微妙的程序特定类型和内存安全不变量，远远超出了本机低级程序系统可以检查的内容。同时，属性检查器可以依靠类型检查器为程序的堆提供结构和消歧，从而实现更简洁和更强大的基于类型的规范。这种方法利用完全自动化的满意度模数理论（SMT）求解器和检查类型安全性的决策程序，这意味着程序员唯一的职责是提供高级类型和属性注释作为原始程序源的一部分。

3. 发明申请

US20100106895A1 Hardware and Operating System Support For Persistent Memory On A Memory Bus 有权
标题翻译：硬件和操作系统支持内存总线上的持久内存
公开(公告)号：US20100106895A1
公开(公告)日：2010-04-29
申请号：US12503480
申请日：2009-07-15
申请人： Jeremy P. Condit , Edmund B. Nightingale , Benjamin Lee , Engin Ipek , Christopher Frost , Doug Burger
发明人： Jeremy P. Condit , Edmund B. Nightingale , Benjamin Lee , Engin Ipek , Christopher Frost , Doug Burger
IPC分类号： G06F12/00 , G06F12/02
CPC分类号： G11C7/1072 , G06F12/0804 , G06F2212/1008
摘要： Implementations of a file system that is supported by a non-volatile memory that is directly connected to a memory bus, and placed side by side with a dynamic random access memory (DRAM), are described.
摘要翻译：描述由直接连接到存储器总线并且与动态随机存取存储器（DRAM）并排放置的非易失性存储器支持的文件系统的实现。

4. 发明申请

US20110119538A1 Dynamically Replicated Memory 有权
标题翻译：动态复制内存
公开(公告)号：US20110119538A1
公开(公告)日：2011-05-19
申请号：US12621419
申请日：2009-11-18
申请人： Engin Ipek , Jeremy P. Condit , Edmund B. Nightingale , Douglas C. Burger , Thomas Moscibroda
发明人： Engin Ipek , Jeremy P. Condit , Edmund B. Nightingale , Douglas C. Burger , Thomas Moscibroda
IPC分类号： G11C29/00 , G06F11/00 , G06F12/00
CPC分类号： G11C29/42 , G06F11/1048 , G06F11/1666 , G06F11/20 , G06F12/1027 , G11C2029/0409
摘要： Dynamically replicated memory is usable to allocate new memory space from failed memory pages by pairing compatible failed memory pages to reuse otherwise unusable failed memory pages. Dynamically replicating memory involves detecting and recording memory faults, reclaiming failed memory pages for later use, recovering from detected memory faults, and scheduling access to replicated memory pages.
摘要翻译：动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。

5. 发明申请

US20100106754A1 Hardware and Operating System Support for Persistent Memory On A Memory Bus 有权
标题翻译：硬件和操作系统支持内存总线上的持久内存
公开(公告)号：US20100106754A1
公开(公告)日：2010-04-29
申请号：US12485124
申请日：2009-06-16
申请人： Jeremy P. Condit , Engin Ipek , Edmund B. Nightingale , Benjamin C. Lee , Christopher Frost , Doug Burger
发明人： Jeremy P. Condit , Engin Ipek , Edmund B. Nightingale , Benjamin C. Lee , Christopher Frost , Doug Burger
IPC分类号： G06F12/00 , G06F7/00
CPC分类号： G11C7/1072 , G06F12/0804 , G06F2212/1008
摘要： Implementations of a file system that is supported by a non-volatile memory that is directly connected to a memory bus, and placed side by side with a dynamic random access memory (DRAM), are described.
摘要翻译：描述由直接连接到存储器总线并且与动态随机存取存储器（DRAM）并排放置的非易失性存储器支持的文件系统的实现。

6. 发明授权

US08543863B2 Efficiency of hardware memory access using dynamically replicated memory 有权
标题翻译：使用动态复制内存的硬件内存访问效率
公开(公告)号：US08543863B2
公开(公告)日：2013-09-24
申请号：US12621396
申请日：2009-11-18
申请人： Engin Ipek , Thomas Moscibroda , Douglas C. Burger , Edmund B. Nightingale , Jeremy P. Condit
发明人： Engin Ipek , Thomas Moscibroda , Douglas C. Burger , Edmund B. Nightingale , Jeremy P. Condit
IPC分类号： G06F11/00 , G11C29/00
CPC分类号： G06F3/065 , G06F3/061 , G06F3/0619 , G06F3/064 , G06F3/0653 , G06F3/0673 , G06F3/0683 , G06F11/1008 , G06F11/1076 , G06F11/1666 , G06F12/1027
摘要： Dynamically replicated memory is usable to allocate new memory space from failed memory pages by pairing compatible failed memory pages to reuse otherwise unusable failed memory pages. Dynamically replicating memory involves detecting and recording memory faults, reclaiming failed memory pages for later use, recovering from detected memory faults, and scheduling access to replicated memory pages.
摘要翻译：动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。

7. 发明授权

US08533404B2 Hardware and operating system support for persistent memory on a memory bus 有权
公开(公告)号：US08533404B2
公开(公告)日：2013-09-10
申请号：US12503480
申请日：2009-07-15
申请人： Jeremy P. Condit , Edmund B. Nightingale , Benjamin Lee , Engin Ipek , Christopher Frost , Doug Burger
发明人： Jeremy P. Condit , Edmund B. Nightingale , Benjamin Lee , Engin Ipek , Christopher Frost , Doug Burger
IPC分类号： G06F12/00 , G06F13/00
CPC分类号： G11C7/1072 , G06F12/0804 , G06F2212/1008
摘要： Implementations of a file system that is supported by a non-volatile memory that is directly connected to a memory bus, and placed side by side with a dynamic random access memory (DRAM), are described.

8. 发明授权

US08255742B2 Dynamically replicated memory 有权
标题翻译：动态复制内存
公开(公告)号：US08255742B2
公开(公告)日：2012-08-28
申请号：US12621419
申请日：2009-11-18
申请人： Engin Ipek , Jeremy P. Condit , Edmund B. Nightingale , Douglas C. Burger , Thomas Moscibroda
发明人： Engin Ipek , Jeremy P. Condit , Edmund B. Nightingale , Douglas C. Burger , Thomas Moscibroda
IPC分类号： G06F11/00 , G11C29/00
CPC分类号： G11C29/42 , G06F11/1048 , G06F11/1666 , G06F11/20 , G06F12/1027 , G11C2029/0409
摘要： Dynamically replicated memory is usable to allocate new memory space from failed memory pages by pairing compatible failed memory pages to reuse otherwise unusable failed memory pages. Dynamically replicating memory involves detecting and recording memory faults, reclaiming failed memory pages for later use, recovering from detected memory faults, and scheduling access to replicated memory pages.
摘要翻译：动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。

9. 发明授权

US08219741B2 Hardware and operating system support for persistent memory on a memory bus 有权
标题翻译：硬件和操作系统支持内存总线上的持久内存
公开(公告)号：US08219741B2
公开(公告)日：2012-07-10
申请号：US12485124
申请日：2009-06-16
申请人： Jeremy P. Condit , Engin Ipek , Edmund B. Nightingale , Benjamin C Lee , Christopher Frost , Doug Burger
发明人： Jeremy P. Condit , Engin Ipek , Edmund B. Nightingale , Benjamin C Lee , Christopher Frost , Doug Burger
IPC分类号： G06F12/00
CPC分类号： G11C7/1072 , G06F12/0804 , G06F2212/1008
摘要： Implementations of a file system that is supported by a non-volatile memory that is directly connected to a memory bus, and placed side by side with a dynamic random access memory (DRAM), are described.
摘要翻译：描述由直接连接到存储器总线并且与动态随机存取存储器（DRAM）并排放置的非易失性存储器支持的文件系统的实现。

10. 发明申请

US20110119456A1 EFFICIENCY OF HARDWARE MEMORY ACCESS USING DYNAMICALLY REPLICATED MEMORY 有权
标题翻译：使用动态存储器进行硬件存储器访问的效率
公开(公告)号：US20110119456A1
公开(公告)日：2011-05-19
申请号：US12621396
申请日：2009-11-18
申请人： Engin Ipek , Thomas Moscibroda , Douglas C. Burger , Edmund B. Nightingale , Jeremy P. Condit
发明人： Engin Ipek , Thomas Moscibroda , Douglas C. Burger , Edmund B. Nightingale , Jeremy P. Condit
IPC分类号： G06F11/14 , G06F12/00 , G06F12/02 , G06F13/00 , G06F13/28
CPC分类号： G06F3/065 , G06F3/061 , G06F3/0619 , G06F3/064 , G06F3/0653 , G06F3/0673 , G06F3/0683 , G06F11/1008 , G06F11/1076 , G06F11/1666 , G06F12/1027
摘要： Dynamically replicated memory is usable to allocate new memory space from failed memory pages by pairing compatible failed memory pages to reuse otherwise unusable failed memory pages. Dynamically replicating memory involves detecting and recording memory faults, reclaiming failed memory pages for later use, recovering from detected memory faults, and scheduling access to replicated memory pages.
摘要翻译：动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式