-
公开(公告)号:US20060123430A1
公开(公告)日:2006-06-08
申请号:US11118684
申请日:2005-04-29
申请人: Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
发明人: Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
IPC分类号: G06F9/46
CPC分类号: G06F21/562 , G06F21/566 , G06F21/57
摘要: Described herein is an implementation of a technology for the construction, identification, and/or optimization of operating-system processes. At least one implementation, described herein, constructs an operating-system process having the contents as defined by a process manifest. Once constructed, the operating-system process is unalterable.
摘要翻译: 这里描述了用于构建,识别和/或优化操作系统过程的技术的实现。 这里描述的至少一个实现构造具有由过程清单定义的内容的操作系统过程。 一旦构建,操作系统过程是不可改变的。
-
公开(公告)号:US20060123418A1
公开(公告)日:2006-06-08
申请号:US11118690
申请日:2005-04-29
申请人: Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
发明人: Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
IPC分类号: G06F9/46
CPC分类号: G06F21/562 , G06F21/566 , G06F21/57
摘要: Described herein is an implementation of a technology for the construction, identification, and/or optimization of operating-system processes. At least one implementation, described herein, constructs an operating-system process having the contents as defined by a process manifest. Once constructed, the operating-system process is unalterable.
摘要翻译: 这里描述了用于构建,识别和/或优化操作系统过程的技术的实现。 这里描述的至少一个实现构造具有由过程清单定义的内容的操作系统过程。 一旦构建,操作系统过程是不可改变的。
-
公开(公告)号:US20060123417A1
公开(公告)日:2006-06-08
申请号:US11005562
申请日:2004-12-06
申请人: Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
发明人: Galen Hunt , James Larus , John DeTreville , Edward Wobber , Martin Abadi , Michael Jones , Trishul Chilimbi
IPC分类号: G06F9/46
CPC分类号: G06F21/562 , G06F21/566 , G06F21/57
摘要: Described herein is an implementation of a technology for the construction, identity, and/or optimization of operating-system processes. At least one implementation, described herein, constructs an operating-system process having the contents as defined by a process manifest. Once constructed, the operating-system process is unalterable.
摘要翻译: 这里描述了用于构建,识别和/或优化操作系统过程的技术的实现。 这里描述的至少一个实现构造具有由过程清单定义的内容的操作系统过程。 一旦构建,操作系统过程是不可改变的。
-
公开(公告)号:US20060123424A1
公开(公告)日:2006-06-08
申请号:US11007655
申请日:2004-12-07
申请人: Galen Hunt , James Larus , Manuel Fahndrich , Edward Wobber , Martin Abadi , John DeTreville
发明人: Galen Hunt , James Larus , Manuel Fahndrich , Edward Wobber , Martin Abadi , John DeTreville
IPC分类号: G06F9/46
CPC分类号: G06F9/546 , G06F2209/547
摘要: Described herein is an implementation of an inter-process communications technology. One or more implementations, described herein, facilitate creation of a bi-directional message conduit having exactly two endpoints. A first endpoint is owned by a first software process and a second endpoint is owned by a second software process. One or more implementations, described herein, maintain the bi-directional message conduit for passing multiple messages via the bi-directional message conduit from the first process to the second process, according to established rules that can be checked.
-
5.
公开(公告)号:US20070094495A1
公开(公告)日:2007-04-26
申请号:US11428162
申请日:2006-06-30
申请人: Galen Hunt , James Larus , Martin Abadi , Mark Aiken , Paul Barham , Manuel Fahndrich , Chris Hawblitzel , Orion Hodson , Steven Levi , Nicholas Murphy , Bjarne Steensgaard , David Tarditi , Edward Wobber , Brian Zill
发明人: Galen Hunt , James Larus , Martin Abadi , Mark Aiken , Paul Barham , Manuel Fahndrich , Chris Hawblitzel , Orion Hodson , Steven Levi , Nicholas Murphy , Bjarne Steensgaard , David Tarditi , Edward Wobber , Brian Zill
IPC分类号: H04L9/00
摘要: Described herein are one or more implementations of an operating system that provides for statically verifiable inter-process communication between isolated processes. Also, described herein are one or more implementations of programming tools that facilitate the development of statically verifiable isolated processes having inter-process communication.
摘要翻译: 这里描述了一种操作系统的一个或多个实现,该操作系统提供了隔离过程之间的静态可验证的进程间通信。 此外,这里描述了一种或多种编程工具的实现方式,其有助于开发具有进程间通信的静态可验证的隔离进程。
-
公开(公告)号: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.
摘要翻译: 这里描述的是至少一个采用在基于软件的计算机的一个或多个计算机存储介质上持续存在的自描述软件工件的实现。 在该实现中,每个工件代表计算系统的至少部分软件组件(例如,加载模块,进程,应用程序和操作系统组件),并且每个工件由至少一个相关联的“清单”描述,其中 包括关联工件的元数据声明性描述。
-
公开(公告)号:US20070094673A1
公开(公告)日:2007-04-26
申请号:US11428096
申请日:2006-06-30
申请人: Galen Hunt , James Larus , Manuel Fanndrich , Orion Hodson , Steven Levi , Bjarne Steensgaard , David Tarditi , Michael Spear , Michael Carbin
发明人: Galen Hunt , James Larus , Manuel Fanndrich , Orion Hodson , Steven Levi , Bjarne Steensgaard , David Tarditi , Michael Spear , Michael Carbin
IPC分类号: G06F9/46
CPC分类号: G06F9/4411
摘要: Described herein are one or more implementations for describing and/or addressing the configuration requirements of applications, extensions, device drivers, and other components of a software system.
摘要翻译: 这里描述了用于描述和/或解决应用程序,扩展,设备驱动程序和软件系统的其他组件的配置要求的一个或多个实现。
-
8.
公开(公告)号:US20070011199A1
公开(公告)日:2007-01-11
申请号:US11275160
申请日:2005-12-15
申请人: Galen Hunt , James Larus , Alexander Gounares , Raymond Endres
发明人: Galen Hunt , James Larus , Alexander Gounares , Raymond Endres
CPC分类号: G06F21/53
摘要: Described herein are one or more computer operating environments that include a standard set of web services via a communications network (e.g., the Internet) and a mechanism for extending the standard set of web services to execute one or more extended web services. Since these extended web services may be produced by an unconfirmed or untrusted source (e.g., a third-party software developer), the described computer operating environments isolate the extended web services from the standard set of web services and from the communication network. Furthermore, each extended web service is an isolated process (isoproc) with a limited ability to communicate with other services. In particular, each isoproc's ability to communicate is limited to only associated defined communication channels over which it has express permission to communicate.
摘要翻译: 这里描述的是一个或多个计算机操作环境,其包括通过通信网络(例如,因特网)的标准的web服务集合以及用于扩展标准的web服务集合以执行一个或多个扩展web服务的机制。 由于这些扩展的web服务可以由未确认的或不可信的来源(例如,第三方软件开发者)产生,所描述的计算机操作环境将扩展的web服务与标准的web服务集合和通信网络隔离。 此外,每个扩展的Web服务是一个独立的进程(isoproc),具有与其他服务通信的能力有限。 具体来说,每个isoproc的通信能力仅限于相关联的定义的通信渠道,在该通信渠道上它有明确的通信许可。
-
公开(公告)号:US20120324198A1
公开(公告)日:2012-12-20
申请号:US13163752
申请日:2011-06-20
申请人: Jeremiah C. Spradlin , Galen Hunt , Akshay Johar , Steven Maillet
发明人: Jeremiah C. Spradlin , Galen Hunt , Akshay Johar , Steven Maillet
IPC分类号: G06F12/02
CPC分类号: G06F12/023 , G06F9/5016 , G06F12/0223 , G06F2212/1016 , G06F2212/1041 , G06F2212/251 , G06F2212/70
摘要: A memory management system is described herein that receives information from applications describing how memory is being used and that allows an application host to exert more control over application requests for using memory. The system provides an application memory management application-programming interface (API) that allows the application to specify more information about memory allocations that is helpful for managing memory later. The system also provides an ability to statically and/or dynamically analyze legacy applications to give applications that are not modified to work with the system some ability to participate in more effective memory management. The system provides application host changes to leverage the information provided by applications and to manage memory more effectively using the information and hooks into the application's use of memory. Thus, the system provides a new model for managing memory that improves application host behavior and allows applications to use computing resources more efficiently.
摘要翻译: 本文描述了从描述如何使用存储器的应用的信息接收信息,并允许应用主机对使用存储器的应用请求进行更多的控制。 该系统提供了一个应用程序内存管理应用程序编程接口(API),允许应用程序指定更多关于内存分配的信息,这有助于稍后管理内存。 该系统还提供静态和/或动态分析遗留应用程序的功能,使未被修改的应用程序能够与系统一起参与更有效的内存管理的能力。 系统提供应用程序主机更改以利用应用程序提供的信息,并更有效地使用信息管理内存并钩入应用程序对内存的使用。 因此,该系统提供了一种管理内存的新模型,可提高应用程序主机行为,并允许应用程序更有效地使用计算资源。
-
公开(公告)号:US20060271341A1
公开(公告)日:2006-11-30
申请号:US11321162
申请日:2005-12-29
申请人: Mathilde Brown , Charlie Chase , Kevin Grealish , Galen Hunt , Aamer Hydrie , David Noble , Geoffrey Outhred , Glenn Peterson , Bassam Tabbara , Alexander Torone , Robert Welland
发明人: Mathilde Brown , Charlie Chase , Kevin Grealish , Galen Hunt , Aamer Hydrie , David Noble , Geoffrey Outhred , Glenn Peterson , Bassam Tabbara , Alexander Torone , Robert Welland
IPC分类号: G06F17/50
CPC分类号: G06F8/20
摘要: A design tool includes a service definition model to enable abstract description of distributed computing systems and distributed applications. The design tool also includes a schema to dictate how functional operations within the service definition model are to be specified. The functional operations include design of distributed applications, deployment of distributed applications, and management of distributed applications.
-
-
-
-
-
-
-
-
-