-
公开(公告)号：US20110119538A1
公开(公告)日：2011-05-19
申请号：US12621419
申请日：2009-11-18
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.
摘要翻译： 动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。 动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。
-
2.发明授权公开(公告)号：US08543863B2
公开(公告)日：2013-09-24
申请号：US12621396
申请日：2009-11-18
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.
摘要翻译： 动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。 动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。
-
公开(公告)号：US08255742B2
公开(公告)日：2012-08-28
申请号：US12621419
申请日：2009-11-18
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.
摘要翻译： 动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。 动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。
-
4.发明申请公开(公告)号：US20110119456A1
公开(公告)日：2011-05-19
申请号：US12621396
申请日：2009-11-18
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.
摘要翻译： 动态复制的内存可用于通过配对兼容的故障内存页面重新使用其他不可用的故障内存页面，从故障内存页面分配新的内存空间。 动态复制存储器涉及检测和记录存储器故障，回收失败的存储器页面供以后使用，从检测到的存储器故障中恢复，以及调度对复制存储器页面的访问。
-
5.发明申请公开(公告)号：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
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.发明申请公开(公告)号：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
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）并排放置的非易失性存储器支持的文件系统的实现。
-
公开(公告)号：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
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.发明授权公开(公告)号：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）并排放置的非易失性存储器支持的文件系统的实现。
-
公开(公告)号：US08813043B2
公开(公告)日：2014-08-19
申请号：US12347398
申请日：2008-12-31
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）求解器和检查类型安全性的决策程序，这意味着程序员唯一的职责是提供高级类型和属性注释作为原始程序源的一部分。
-
公开(公告)号：US20100169868A1
公开(公告)日：2010-07-01
申请号：US12347398
申请日：2008-12-31
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）求解器和检查类型安全性的决策程序，这意味着程序员唯一的职责是提供高级类型和属性注释作为原始程序源的一部分。
-
-
-
-
-
-
-
-
-
搜索结果
10 条记录 (耗时 0.027 秒)
