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

1. 发明授权

US09141290B2 Snapshot mechanism 有权
标题翻译：快照机制
公开(公告)号：US09141290B2
公开(公告)日：2015-09-22
申请号：US13470317
申请日：2012-05-13
申请人： Renen Hallak , Kirill Shoikhet , Irit Yadin-Lempel , Erez Webman , Shahar Frank
发明人： Renen Hallak , Kirill Shoikhet , Irit Yadin-Lempel , Erez Webman , Shahar Frank
IPC分类号： G06F12/00 , G06F3/06
CPC分类号： G06F3/061 , G06F3/065 , G06F3/0665 , G06F3/067
摘要： A memory management system for a thinly provisioned memory volume in which a relatively larger virtual address range of virtual address blocks is mapped to a relatively smaller physical memory comprising physical memory blocks via a mapping table containing entries only for addresses of the physical memory blocks containing data. The memory management system comprises a snapshot provision unit to take a given snapshot of the memory volume at a given time, the snapshot comprising a mapping table and memory values of the volume, the mapping table and memory values comprising entries only for addresses of the physical memory containing data. The snapshot is managed on the same thin provisioning basis as the volume itself, and the system is particularly suitable for RAM type memory disks.
摘要翻译：一种用于薄配置存储器卷的存储器管理系统，其中相对较大的虚拟地址块的虚拟地址范围被映射到包括物理存储器块的相对较小的物理存储器，所述物理存储器包括物理存储器块，该映射表仅包含仅包含数据的物理存储器块的地址的条目。存储器管理系统包括快照提供单元，用于在给定时间获取存储器卷的给定快照，快照包括映射表和卷的存储器值，映射表和存储器值包括仅针对物理地址的条目包含数据的内存快照以与卷本身相同的精简配置基础进行管理，并且该系统特别适用于RAM型存储磁盘。

2. 发明申请

US20130305002A1 SNAPSHOT MECHANISM 有权
标题翻译： SNAPSHOT机制
公开(公告)号：US20130305002A1
公开(公告)日：2013-11-14
申请号：US13470317
申请日：2012-05-13
申请人： Renen HALLAK , Kirill Shoikhet , Irit Yadin-Lempel , Erez Webman , Shahar Frank
发明人： Renen HALLAK , Kirill Shoikhet , Irit Yadin-Lempel , Erez Webman , Shahar Frank
IPC分类号： G06F12/16
CPC分类号： G06F3/061 , G06F3/065 , G06F3/0665 , G06F3/067
摘要： A memory management system for a thinly provisioned memory volume in which a relatively larger virtual address range of virtual address blocks is mapped to a relatively smaller physical memory comprising physical memory blocks via a mapping table containing entries only for addresses of the physical memory blocks containing data. The memory management system comprises a snapshot provision unit to take a given snapshot of the memory volume at a given time, the snapshot comprising a mapping table and memory values of the volume, the mapping table and memory values comprising entries only for addresses of the physical memory containing data. The snapshot is managed on the same thin provisioning basis as the volume itself, and the system is particularly suitable for RAM type memory disks.
摘要翻译：一种用于薄配置存储器卷的存储器管理系统，其中相对较大的虚拟地址块的虚拟地址范围被映射到包括物理存储器块的相对较小的物理存储器，所述物理存储器包括物理存储器块，该映射表仅包含仅包含数据的物理存储器块的地址的条目。存储器管理系统包括快照提供单元，用于在给定时间获取存储器卷的给定快照，快照包括映射表和卷的存储器值，映射表和存储器值包括仅针对物理地址的条目包含数据的内存快照以与卷本身相同的精简配置基础进行管理，并且该系统特别适用于RAM型存储磁盘。

3. 发明授权

US07113988B2 Proactive on-line diagnostics in a manageable network 有权
公开(公告)号：US07113988B2
公开(公告)日：2006-09-26
申请号：US09893006
申请日：2001-06-28
申请人： Igor Chirashnya , Leah Shalev , Kirill Shoikhet
发明人： Igor Chirashnya , Leah Shalev , Kirill Shoikhet
IPC分类号： G06F15/173
CPC分类号： H04L41/0681 , H04L41/142
摘要： A method for diagnosis of a system made up of a plurality of interlinked modules includes receiving an alarm from the system indicative of a fault in one of the modules. Responsive to the alarm, a causal network is constructed associating the fault with malfunctions in one or more of the modules that may have led to the fault and relating a conditional probability of the fault to respective probabilities of the malfunctions. Based on the alarm and the causal network, at least one of the probabilities of the malfunctions is updated. A diagnosis of the alarm is proposed responsive to the updated probabilities.

4. 发明申请

US20090259454A1 AUTOMATIC TEST PROGRAM GENERATION USING EXTENDED CONDITIONAL CONSTRAINT SATISFACTION 审中-公开
标题翻译：使用扩展条件约束自动测试程序生成
公开(公告)号：US20090259454A1
公开(公告)日：2009-10-15
申请号：US12102880
申请日：2008-04-15
申请人： Allon Adir , Eyal Bin , Roy Emek , Kirill Shoikhet
发明人： Allon Adir , Eyal Bin , Roy Emek , Kirill Shoikhet
IPC分类号： G06G7/62
CPC分类号： G06F11/263
摘要： Apparatus for automatically generating test programs is provided. The apparatus includes a test generator, which is adapted to receive a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, to receive a definition of an event to be tested in the system, to generate an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive, and to solve the ECondCSP to generate a test case for the system.
摘要翻译：提供了自动生成测试程序的设备。该装置包括测试发生器，其适于接收根据与系统相关联的变量表示的被测系统的描述，以及包括应用于变量的语义的条件约束，以接收待测试的事件的定义该系统响应于事件的定义和条件约束而对变量生成ECondCSP，使得当ECULTCSP中的一个或多个变量被保留在ECondCSP中时，条件约束的至少一些语义被保留应用语义不活跃，并解决ECondCSP为系统生成测试用例。

5. 发明授权

US07386521B2 Automatic test program generation using extended conditional constraint satisfaction 失效
标题翻译：使用扩展条件约束满足的自动测试程序生成
公开(公告)号：US07386521B2
公开(公告)日：2008-06-10
申请号：US11040241
申请日：2005-01-21
申请人： Allon Adir , Eyal Bin , Roy Emek , Kirill Shoikhet
发明人： Allon Adir , Eyal Bin , Roy Emek , Kirill Shoikhet
IPC分类号： G06F15/18
CPC分类号： G06F11/3684
摘要： A method for automatically generating test programs includes receiving a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, and receiving a definition of an event to be tested in the system. The method generates an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive. The ECondCSP is solved to generate a test case for the system.
摘要翻译：一种用于自动生成测试程序的方法包括：接收对与系统相关的变量表示的被测系统的描述，以及包括应用于变量的语义的条件约束，以及接收系统中要测试的事件的定义。该方法响应于事件的定义和条件约束而对变量生成ECondCSP，使得条件约束的至少一些语义在ECondCSP中被保留，当一个或多个语义为应用不活动。 ECondCSP解决了为系统生成测试用例。

6. 发明授权

US07287063B2 Storage area network methods and apparatus using event notifications with data 失效
标题翻译：存储区域网络方法和装置使用事件通知与数据
公开(公告)号：US07287063B2
公开(公告)日：2007-10-23
申请号：US09971458
申请日：2001-10-05
申请人： Duane Mark Baldwin , Igor Chirashnya , Gregory John Knight , David Lynn Merbach , Kirill Shoikhet , William Roy Yonker
发明人： Duane Mark Baldwin , Igor Chirashnya , Gregory John Knight , David Lynn Merbach , Kirill Shoikhet , William Roy Yonker
IPC分类号： G06F15/167
CPC分类号： G06F11/3495 , G06F3/0601 , G06F2003/0697 , H04L41/0213 , H04L41/06 , H04L41/0681 , H04L49/357
摘要： An storage area network (SAN) has a manager digital data processor that includes a first element that maintains a first representation of the SAN and a second element that maintains a second representation of the SAN. The first element generates notifications of events in the SAN, e.g., addition or removal of components or relationships between components, and includes with them data pertaining to the event. The second element responds to such notifications and data by updating the second representation. That data is preferably sufficient for the second element to update the second representation without further reference to information contained in the representation.
摘要翻译：存储区域网络（SAN）具有管理器数字数据处理器，其包括维护SAN的第一表示的第一元素和维护SAN的第二表示的第二元素。第一个元素生成SAN中的事件的通知，例如添加或删除组件或组件之间的关系，并且与它们一起包括与事件有关的数据。第二个元素通过更新第二个表示来响应这样的通知和数据。该数据优选地足以使第二元素更新第二表示，而无需进一步参考表示中包含的信息。

7. 发明申请

US20060184468A1 Automatic test program generation using extended conditional constraint satisfaction 失效
标题翻译：使用扩展条件约束满足的自动测试程序生成
公开(公告)号：US20060184468A1
公开(公告)日：2006-08-17
申请号：US11040241
申请日：2005-01-21
申请人： Allon Adir , Eyal Bin , Roy Emek , Kirill Shoikhet
发明人： Allon Adir , Eyal Bin , Roy Emek , Kirill Shoikhet
IPC分类号： G06F15/18
CPC分类号： G06F11/3684
摘要： A method for automatically generating test programs includes receiving a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, and receiving a definition of an event to be tested in the system. The method generates an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive. The ECondCSP is solved to generate a test case for the system.
摘要翻译：一种用于自动生成测试程序的方法包括：接收对与系统相关的变量表示的被测系统的描述，以及包括应用于变量的语义的条件约束，以及接收系统中要测试的事件的定义。该方法响应于事件的定义和条件约束而对变量生成ECondCSP，使得条件约束的至少一些语义在ECondCSP中被保留，当一个或多个语义为应用不活动。 ECondCSP解决了为系统生成测试用例。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式