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

1. 发明授权

US07451435B2 Self-describing artifacts and application abstractions 有权
标题翻译：自我描述的文物和应用程序抽象
公开(公告)号：US07451435B2
公开(公告)日：2008-11-11
申请号：US11007808
申请日：2004-12-07
申请人： Galen C. Hunt , Thomas Roeder , James R. Larus , Manuel Fahndrich , John D. DeTreville , Steven P. Levi , Benjamin Zorn , Wolfgang Grieskamp
发明人： Galen C. Hunt , Thomas Roeder , James R. Larus , Manuel Fahndrich , John D. DeTreville , Steven P. Levi , Benjamin Zorn , Wolfgang Grieskamp
IPC分类号： G06F9/44
CPC分类号： G06F8/61
摘要： Described herein is at least one implementation employing multiple self-describing software artifacts persisted on one or more computer-storage media of a software-based computer. In this implementation, each artifact is representative of at least part of the software components (e.g., load modules, processes, applications, and operating system components) of the computing system and each artifact is described by at least one associated “manifest,” which include metadata declarative descriptions of the associated artifact.
摘要翻译：这里描述的是至少一个采用在基于软件的计算机的一个或多个计算机存储介质上持续存在的自描述软件工件的实现。在该实现中，每个工件代表计算系统的至少部分软件组件（例如，加载模块，进程，应用程序和操作系统组件），并且每个工件由至少一个相关联的“清单”描述，其中包括关联工件的元数据声明性描述。

2. 发明申请

US20060123412A1 Self-describing artifacts and application abstractions 有权
标题翻译：自我描述的文物和应用程序抽象
公开(公告)号：US20060123412A1
公开(公告)日：2006-06-08
申请号：US11007808
申请日：2004-12-07
申请人： Galen Hunt , Thomas Roeder , James Larus , Manuel Fahndrich , John DeTreville , Steven Levi , Benjamin Zorn , Wolfgang Grieskamp
发明人： Galen Hunt , Thomas Roeder , James Larus , Manuel Fahndrich , John DeTreville , Steven Levi , Benjamin Zorn , Wolfgang Grieskamp
IPC分类号： G06F9/445
CPC分类号： G06F8/61
摘要： Described herein is at least one implementation employing multiple self-describing software artifacts persisted on one or more computer-storage media of a software-based computer. In this implementation, each artifact is representative of at least part of the software components (e.g., load modules, processes, applications, and operating system components) of the computing system and each artifact is described by at least one associated “manifest,” which include metadata declarative descriptions of the associated artifact.
摘要翻译：这里描述的是至少一个采用在基于软件的计算机的一个或多个计算机存储介质上持续存在的自描述软件工件的实现。在该实现中，每个工件代表计算系统的至少部分软件组件（例如，加载模块，进程，应用程序和操作系统组件），并且每个工件由至少一个相关联的“清单”描述，其中包括关联工件的元数据声明性描述。

3. 发明申请

US20090183146A1 Specification, Abstraction, and Enforcement in a Data Center Operating System 有权
标题翻译：数据中心操作系统中的规范，抽象和执行
公开(公告)号：US20090183146A1
公开(公告)日：2009-07-16
申请号：US12013940
申请日：2008-01-14
申请人： Benjamin Zorn
发明人： Benjamin Zorn
IPC分类号： G06F9/44 , G06F21/00
CPC分类号： G06F21/604 , G06F8/61 , G06F8/62
摘要： An exemplary data center architecture includes a services abstraction, a data sources abstraction, an internal applications abstraction and a core administration abstraction for static and dynamic enforcement of data center polices based on compliance with a property set, a specification set or a property set and a specification set. Such an architecture can include a core administration abstraction with logic to install services and to upgrade services in a data center where a service must comply with the property set and the specification set prior to installation of the service or upgrade of the service in the data center. Various other devices, systems and methods are also described.
摘要翻译：示例性数据中心体系结构包括服务抽象，数据源抽象，内部应用抽象以及基于对属性集合，规范集合或属性集合的数据中心策略的静态和动态实施的核心管理抽象，以及规格集。这样的架构可以包括具有安装服务的逻辑的核心管理抽象以及在数据中心内升级服务的服务，其中服务必须符合属性集和在安装服务之前的规范集或数据中心中的服务升级。还描述了各种其它装置，系统和方法。

4. 发明申请

US20060259897A1 Extensible software development services 有权
标题翻译：可扩展的软件开发服务
公开(公告)号：US20060259897A1
公开(公告)日：2006-11-16
申请号：US11131446
申请日：2005-05-16
申请人： Benjamin Zorn , David Hanson
发明人： Benjamin Zorn , David Hanson
IPC分类号： G06F9/44
CPC分类号： G06F8/20
摘要： Described herein are methods and systems for providing software development services in a networked software development environment. For instance, instead of performing compilation on a stand-alone desktop computer, software development activities including, compilation are performed by a service provider in response to a general query from a client requester. Such a network desirably has a global view of the source files being processed by various software development tools associated therewith. This global view enables many interesting approaches including the ability to perform analysis and optimizations to the input files not specified by the client requester. Such anticipatory processing may be based on the history and pattern of previous requests and availability of software development tools that the client requester is not aware of, for instance. The service request is submitted to a software development service provider to get back a specified result and non-specified anticipatory results as one of many “hits” in a ranked order.
摘要翻译：这里描述了用于在联网的软件开发环境中提供软件开发服务的方法和系统。例如，不是在独立的台式计算机上执行编译，而是由服务提供商响应来自客户机请求者的一般查询来执行包括编译的软件开发活动。理想地，这样的网络具有由与其相关联的各种软件开发工具处理的源文件的全局视图。这种全局视图可以实现许多有趣的方法，包括对未由客户机请求者指定的输入文件进行分析和优化的能力。例如，这种预期处理可以基于先前请求的历史和模式以及客户端请求者不知道的软件开发工具的可用性。将服务请求提交给软件开发服务提供商，以获得指定的结果和非指定的预期结果作为排序顺序的许多“命中”之一。

5. 发明申请

US20070234296A1 Software variation for robustness through randomized execution contexts 审中-公开
标题翻译：通过随机执行上下文的鲁棒性的软件变化
公开(公告)号：US20070234296A1
公开(公告)日：2007-10-04
申请号：US11395631
申请日：2006-03-31
申请人： Benjamin Zorn , Emery Berger
发明人： Benjamin Zorn , Emery Berger
IPC分类号： G06F9/44
CPC分类号： G06F11/1494 , G06F11/008 , G06F11/0796
摘要： Improved robustness of software program executions is achieved via randomization of their execution contexts. For instance, errors related to runtime allocation of memory on the heap can be probabilistically addressed by generating an approximation of the infinite heap and using a randomized memory manager to allocate memory on the heap. In addition to stand alone randomization, several replicas of a software program are executed, each with a memory manager configured with different randomization seeds for randomly allocating memory on an approximation of an infinite heap. Outputs of correctly executing instances of the replicas are determined by accepting the output that at least two of the replicas agree upon.
摘要翻译：通过其执行上下文的随机化来实现软件程序执行的改进的鲁棒性。例如，可以通过生成无限堆的近似值并使用随机存储器管理器在堆上分配内存来概率地解决与堆上的存储器的运行时分配相关的错误。除了独立随机化之外，执行软件程序的几个副本，每个副本都具有配置有不同随机化种子的存储器管理器，用于在无限堆的近似上随机分配存储器。正确执行副本的实例的输出是通过接受至少两个副本达成一致的输出来确定的。

6. 发明申请

US20070006120A1 Storing results related to requests for software development services 有权
标题翻译：存储与软件开发服务请求相关的结果
公开(公告)号：US20070006120A1
公开(公告)日：2007-01-04
申请号：US11131455
申请日：2005-05-16
申请人： Todd Proebsting , David Hanson , Benjamin Zorn
发明人： Todd Proebsting , David Hanson , Benjamin Zorn
IPC分类号： G06F9/44
CPC分类号： G06F8/20
摘要： Described herein are methods and systems for providing software development services more efficiently. Re-computation of results each time a service request is received can be avoided by maintaining a cache of results from having processed requests. Results are stored under a unique mapping of request-results pairs that at least in part rely on a file fingerprint hash of the contents of the input files related to the request. In network environment with a client requester and service provider unnecessary transmission is also avoided by first presenting results for requests are in form of a unique file identifier identifying one or more files holding the content of the results. The file identifier is used to search a cache local to the requesting client prior to requesting transmission of the results. The file identifier may also include an indicator for indicating a location from which the results may be retrieved.
摘要翻译：这里描述了更有效地提供软件开发服务的方法和系统。每次接收到服务请求时，重新计算结果都可以通过维护具有处理请求的结果缓存来避免。结果存储在请求结果对的唯一映射下，至少部分地依赖于与请求相关的输入文件的内容的文件指纹散列。在具有客户机请求者和服务提供商的网络环境中，也通过首先呈现请求的结果来避免通过标识一个或多个保存结果内容的文件的唯一文件标识符的形式来避免传输。文件标识符用于在请求发送结果之前搜索请求客户端的本地缓存。文件标识符还可以包括用于指示可从中检索结果的位置的指示符。

7. 发明授权

US08468513B2 Specification, abstraction, and enforcement in a data center operating system 有权
标题翻译：数据中心操作系统中的规范，抽象和执行
公开(公告)号：US08468513B2
公开(公告)日：2013-06-18
申请号：US12013940
申请日：2008-01-14
申请人： Benjamin Zorn
发明人： Benjamin Zorn
IPC分类号： G06F9/44 , G06F15/177
CPC分类号： G06F21/604 , G06F8/61 , G06F8/62
摘要： An exemplary data center architecture includes a services abstraction, a data sources abstraction, an internal applications abstraction and a core administration abstraction for static and dynamic enforcement of data center polices based on compliance with a property set, a specification set or a property set and a specification set. Such an architecture can include a core administration abstraction with logic to install services and to upgrade services in a data center where a service must comply with the property set and the specification set prior to installation of the service or upgrade of the service in the data center. Various other devices, systems and methods are also described.
摘要翻译：示例性数据中心体系结构包括服务抽象，数据源抽象，内部应用抽象以及基于对属性集合，规范集合或属性集合的数据中心策略的静态和动态实施的核心管理抽象，以及规格集。这样的架构可以包括具有安装服务的逻辑的核心管理抽象以及在数据中心内升级服务的服务，其中服务必须符合属性集和在安装服务之前的规范集或数据中心中的服务升级。还描述了各种其它装置，系统和方法。

8. 发明授权

US08412882B2 Leveraging chip variability 有权
公开(公告)号：US08412882B2
公开(公告)日：2013-04-02
申请号：US12819100
申请日：2010-06-18
申请人： Benjamin Zorn , Ray Bittner , Darko Kirovski , Karthik Pattabiraman
发明人： Benjamin Zorn , Ray Bittner , Darko Kirovski , Karthik Pattabiraman
IPC分类号： G06F12/00 , G06F12/02
CPC分类号： G11C29/44 , G06F11/1048 , G06F11/14 , G11C29/38 , G11C29/56008
摘要： Embodiments are described that leverage variability of a chip. Different areas of a chip vary in terms of reliability under a same operating condition. The variability may be captured by measuring errors over different areas of the chip. A physical factor that affects or controls the likelihood of an error on the chip can be varied. For example, the voltage supplied to a chip may be provided at different levels. At each level of the physical factor, the chip is tested for errors within the regions. Some indication of the error statistics for the regions is stored and then used to adjust power used by the chip, to adjust reliability behavior of the chip, to allow applications to control how the chip is used, to compute a signature uniquely identifying the chip, etc.

9. 发明申请

US20070234297A1 Software robustness through search for robust runtime implementations 有权
标题翻译：通过搜索强大的运行时实现来实现软件的鲁棒性
公开(公告)号：US20070234297A1
公开(公告)日：2007-10-04
申请号：US11396040
申请日：2006-03-31
申请人： Benjamin Zorn , Emery Berger
发明人： Benjamin Zorn , Emery Berger
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3612 , G06F12/023
摘要： Software program robustness is improved by successfully masking memory safety errors in the software program. For instance, at least some memory safety errors in a software program can be masked by using a runtime memory manager that approximates the semantics of an infinite heap memory manager. In one example, an approximation of an infinite heap memory manager is implemented by configuring a parameterized memory manager with parameter values such as padding to be added to each allocation on the heap and the amount of deferment before executing a call to free memory on the heap. Ideal configurations balance expected robustness with costs such as added memory and processing time. Ideal configurations can be identified through systematic search of a coordinate space of selected parameters. Ideal configurations can also be identified by statistically correlating success/failure data collected from execution of deployed instances of the software program to the configuration of the memory managers used therein.
摘要翻译：通过成功地屏蔽软件程序中的内存安全错误，软件程序的鲁棒性得到改善。例如，可以通过使用近似无限堆存储器管理器的语义的运行时存储器管理器来掩蔽软件程序中的至少一些存储器安全错误。在一个示例中，无限堆存储器管理器的近似通过配置参数化存储器管理器来实现，该参数值具有参数值，例如要添加到堆上的每个分配的填充，以及在执行对堆之间的空闲存储器的调用之前的延迟量。理想的配置平衡预期的鲁棒性与成本，如增加的内存和处理时间。可以通过系统搜索所选参数的坐标空间来识别理想配置。还可以通过将从软件程序的部署实例的执行收集的成功/失败数据与其中使用的存储器管理器的配置统一地相关联来识别理想配置。

10. 发明申请

US20110314210A1 LEVERAGING CHIP VARIABILITY 有权
标题翻译：杠杆切片变率
公开(公告)号：US20110314210A1
公开(公告)日：2011-12-22
申请号：US12819100
申请日：2010-06-18
申请人： Benjamin Zorn , Darko Kirovski , Ray Bittner , Karthik Pattabiraman
发明人： Benjamin Zorn , Darko Kirovski , Ray Bittner , Karthik Pattabiraman
IPC分类号： G06F12/00 , G06F12/02
CPC分类号： G11C29/44 , G06F11/1048 , G06F11/14 , G11C29/38 , G11C29/56008
摘要： Embodiments are described that leverage variability of a chip. Different areas of a chip vary in terms of reliability under a same operating condition. The variability may be captured by measuring errors over different areas of the chip. A physical factor that affects or controls the likelihood of an error on the chip can be varied. For example, the voltage supplied to a chip may be provided at different levels. At each level of the physical factor, the chip is tested for errors within the regions. Some indication of the error statistics for the regions is stored and then used to adjust power used by the chip, to adjust reliability behavior of the chip, to allow applications to control how the chip is used, to compute a signature uniquely identifying the chip, etc.
摘要翻译：描述利用芯片的可变性的实施例。芯片的不同区域在相同工作条件下的可靠性方面不同。可以通过在芯片的不同区域上测量误差来捕获可变性。可以改变影响或控制芯片上的错误可能性的物理因素。例如，提供给芯片的电压可以设置在不同的水平。在物理因素的每个级别，对芯片进行测试，以区域内的错误。存储区域的误差统计的一些指示，然后用于调整芯片使用的功率，调整芯片的可靠性行为，以允许应用程序控制芯片的使用方式，以计算唯一识别芯片的签名，等等

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式