-
公开(公告)号：US08074231B2
公开(公告)日：2011-12-06
申请号：US11428096
申请日：2006-06-30
申请人： Galen C. Hunt , James R. Larus , Manuel A Fähndrich , Orion Hodson , David R. Tarditi , Michael Spear , Michael Carbin , Steven P. Levi , Bjame Steensgaard
发明人： Galen C. Hunt , James R. Larus , Manuel A Fähndrich , Orion Hodson , David R. Tarditi , Michael Spear , Michael Carbin , Steven P. Levi , Bjame Steensgaard
CPC分类号： G06F9/4411
摘要： In some implementations, the operations of a software system may include the execution of untrusted device drivers. The execution of an untrusted device driver may be initiated when an untrusted device driver that is a set of executable instructions is obtained. A computing resource for the execution of the device driver may be further determined from a device-driver manifest of the untrusted device driver. Computing resources may include one or more of a hardware resource, a memory, an input/output port, an interrupt request line, and an inter-process communication channel. Trusted local access objects may be used by the untrusted device driver to access the computing resources.
摘要翻译： 在一些实现中，软件系统的操作可以包括不可信设备驱动器的执行。 当获得作为一组可执行指令的不可信设备驱动程序时，可以启动不可信设备驱动程序的执行。 可以从不受信任的设备驱动程序的设备驱动程序清单进一步确定用于执行设备驱动程序的计算资源。 计算资源可以包括硬件资源，存储器，输入/输出端口，中断请求线以及进程间通信信道中的一个或多个。 不受信任的设备驱动程序可以使用受信任的本地访问对象来访问计算资源。
-
公开(公告)号：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.
摘要翻译： 这里描述了用于描述和/或解决应用程序，扩展，设备驱动程序和软件系统的其他组件的配置要求的一个或多个实现。
-
3.发明授权Master and subordinate operating system kernels for heterogeneous multiprocessor systems 有权用于异构多处理器系统的主从属操作系统内核公开(公告)号：US08789063B2
公开(公告)日：2014-07-22
申请号：US11694339
申请日：2007-03-30
申请人： Orion Hodson , Haryadi Gunawi , Galen C. Hunt
发明人： Orion Hodson , Haryadi Gunawi , Galen C. Hunt
CPC分类号： G06F9/545 , G06F9/5044 , G06F9/541 , G06F2209/509
摘要： Systems and methods establish communication and control between various heterogeneous processors in a computing system so that an operating system can run an application across multiple heterogeneous processors. With a single set of development tools, software developers can create applications that will flexibly run on one CPU or on combinations of central, auxiliary, and peripheral processors. In a computing system, application-only processors can be assigned a lean subordinate kernel to manage local resources. An application binary interface (ABI) shim is loaded with application binary images to direct kernel ABI calls to a local subordinate kernel or to the main OS kernel depending on which kernel manifestation is controlling requested resources.
摘要翻译： 系统和方法在计算系统中的各种异构处理器之间建立通信和控制，以便操作系统能够跨多个异构处理器运行应用程序。 通过一套开发工具，软件开发人员可以创建灵活运行在一个CPU或中央，辅助和外围处理器组合上的应用程序。 在计算系统中，只有应用程序的处理器可以分配一个精简的从属内核来管理本地资源。 应用程序二进制接口（ABI）垫片装入应用程序二进制映像，以将内核ABI调用指向本地从属内核或主OS操作系统，具体取决于哪个内核表示正在控制请求的资源。
-
4.发明申请Master And Subordinate Operating System Kernels For Heterogeneous Multiprocessor Systems 有权用于异构多处理器系统的主和从属操作系统内核公开(公告)号：US20080244599A1
公开(公告)日：2008-10-02
申请号：US11694339
申请日：2007-03-30
申请人： Orion Hodson , Haryadi Gunawi , Galen C. Hunt
发明人： Orion Hodson , Haryadi Gunawi , Galen C. Hunt
IPC分类号： G06F9/46
CPC分类号： G06F9/545 , G06F9/5044 , G06F9/541 , G06F2209/509
摘要： Systems and methods establish communication and control between various heterogeneous processors in a computing system so that an operating system can run an application across multiple heterogeneous processors. With a single set of development tools, software developers can create applications that will flexibly run on one CPU or on combinations of central, auxiliary, and peripheral processors. In a computing system, application-only processors can be assigned a lean subordinate kernel to manage local resources. An application binary interface (ABI) shim is loaded with application binary images to direct kernel ABI calls to a local subordinate kernel or to the main OS kernel depending on which kernel manifestation is controlling requested resources.
摘要翻译： 系统和方法在计算系统中的各种异构处理器之间建立通信和控制，以便操作系统能够跨多个异构处理器运行应用程序。 通过一套开发工具，软件开发人员可以创建灵活运行在一个CPU或中央，辅助和外围处理器组合上的应用程序。 在计算系统中，只有应用程序的处理器可以分配一个精简的从属内核来管理本地资源。 应用程序二进制接口（ABI）垫片装入应用程序二进制映像，以将内核ABI调用指向本地从属内核或主OS操作系统，具体取决于哪个内核表示正在控制请求的资源。
-
公开(公告)号：US20080244507A1
公开(公告)日：2008-10-02
申请号：US11694455
申请日：2007-03-30
申请人： Orion Hodson , Haryadi Gunawi , Galen C. Hunt
发明人： Orion Hodson , Haryadi Gunawi , Galen C. Hunt
IPC分类号： G06F9/44
CPC分类号： G06F9/545 , G06F2209/542
摘要： Systems and methods establish communication and control between various heterogeneous processors in a computing system so that an operating system can run an application across multiple heterogeneous processors. With a single set of development tools, software developers can create applications that will flexibly run on one CPU or on combinations of central, auxiliary, and peripheral processors. In a computing system, application-only processors can be assigned a lean subordinate kernel to manage local resources. An application binary interface (ABI) shim is loaded with application binary images to direct kernel ABI calls to a local subordinate kernel or to the main OS kernel depending on which kernel manifestation is controlling requested resources.
摘要翻译： 系统和方法在计算系统中的各种异构处理器之间建立通信和控制，以便操作系统能够跨多个异构处理器运行应用程序。 通过一套开发工具，软件开发人员可以创建灵活运行在一个CPU或中央，辅助和外围处理器组合上的应用程序。 在计算系统中，只有应用程序的处理器可以分配一个精简的从属内核来管理本地资源。 应用程序二进制接口（ABI）垫片装入应用程序二进制映像，以将内核ABI调用指向本地从属内核或主OS操作系统，具体取决于哪个内核表示正在控制请求的资源。
-
公开(公告)号：US20130152088A1
公开(公告)日：2013-06-13
申请号：US13324202
申请日：2011-12-13
申请人： Christos Gkantsidis , Dimitrios Vytiniotis , Orion Hodson , Dushyanth Narayanan , Antony Rowstron
发明人： Christos Gkantsidis , Dimitrios Vytiniotis , Orion Hodson , Dushyanth Narayanan , Antony Rowstron
CPC分类号： G06F17/30386 , G06F9/54 , G06F2209/542
摘要： Methods of generating filters automatically from data processing jobs are described. In an embodiment, these filters are automatically generated from a compiled version of the data processing job using static analysis which is applied to a high-level representation of the job. The executable filter is arranged to suppress rows and/or columns within the data to which the job is applied and which do not affect the output of the job. The filters are generated by a filter generator and then stored and applied dynamically at a filtering proxy that may be co-located with the storage node that holds the data. In another embodiment, the filtered data may be cached close to a compute node which runs the job and data may be provided to the compute node from the local cache rather than from the filtering proxy.
摘要翻译： 描述从数据处理作业自动生成过滤器的方法。 在一个实施例中，这些过滤器使用静态分析从应用于作业的高级表示的数据处理作业的编译版本自动生成。 可执行过滤器被设置为抑制作业所应用的数据内的行和/或列，并且不影响作业的输出。 过滤器由过滤器生成器生成，然后在过滤代理处动态存储和应用，过滤代理可能与保存数据的存储节点位于同一位置。 在另一个实施例中，经过过滤的数据可以被缓存在运行作业的计算节点附近，并且可以从本地高速缓存而不是从过滤代理将数据提供给计算节点。
-
公开(公告)号：US08458514B2
公开(公告)日：2013-06-04
申请号：US12965631
申请日：2010-12-10
IPC分类号： G06F11/00
CPC分类号： G06F12/0223 , G06F11/141 , G06F12/08 , G06F2212/1032
摘要： Methods of memory management are described which can accommodate non-maskable failures in pages of physical memory. In an embodiment, when an impending non-maskable failure in a page of memory is identified, a pristine page of physical memory is used to replace the page containing the impending failure and memory mappings are updated to remap virtual pages from the failed page to the pristine page. When a new page of virtual memory is then allocated by a process, the failed page may be reused if the process identifies that it can accommodate failures and the process is provided with location information for impending failures. In another embodiment, a process may expose information on failure-tolerant regions of virtual address space such that a physical page of memory containing failures only in failure-tolerant regions may be used to store the data instead of using a pristine page.
摘要翻译： 描述了可以容纳物理存储器页面中的不可屏蔽故障的存储器管理方法。 在一个实施例中，当识别出存储器页面中即将发生的不可屏蔽的故障时，使用物理存储器的原始页面来替换包含即将发生的故障的页面，并且更新存储器映射以将虚拟页面从故障页面重新映射到 原始页面。 当进程分配新的虚拟内存页面时，如果进程识别出可以适应故障并且为进程提供了即将发生的故障的位置信息，那么失败的页面可能会重新使用。 在另一个实施例中，过程可以暴露虚拟地址空间的容错区域的信息，使得仅在容错区域中包含故障的存储器的物理页面可以用于存储数据而不是使用原始页面。
-
公开(公告)号：US20120151252A1
公开(公告)日：2012-06-14
申请号：US12965631
申请日：2010-12-10
CPC分类号： G06F12/0223 , G06F11/141 , G06F12/08 , G06F2212/1032
摘要： Methods of memory management are described which can accommodate non- maskable failures in pages of physical memory. In an embodiment, when an impending non-maskable failure in a page of memory is identified, a pristine page of physical memory is used to replace the page containing the impending failure and memory mappings are updated to remap virtual pages from the failed page to the pristine page. When a new page of virtual memory is then allocated by a process, the failed page may be reused if the process identifies that it can accommodate failures and the process is provided with location information for impending failures. In another embodiment, a process may expose information on failure-tolerant regions of virtual address space such that a physical page of memory containing failures only in failure-tolerant regions may be used to store the data instead of using a pristine page.
摘要翻译： 描述了可以容纳物理存储器页面中的不可屏蔽故障的存储器管理方法。 在一个实施例中，当识别出存储器页面中即将发生的不可屏蔽的故障时，使用物理存储器的原始页面来替换包含即将发生的故障的页面，并且更新存储器映射以将虚拟页面从故障页面重新映射到 原始页面。 当进程分配新的虚拟内存页面时，如果进程识别出可以适应故障并且为进程提供了即将发生的故障的位置信息，那么失败的页面可能会重新使用。 在另一个实施例中，过程可以暴露虚拟地址空间的容错区域的信息，使得仅在容错区域中包含故障的存储器的物理页面可以用于存储数据而不是使用原始页面。
-
公开(公告)号：US09817860B2
公开(公告)日：2017-11-14
申请号：US13324202
申请日：2011-12-13
申请人： Christos Gkantsidis , Dimitrios Vytiniotis , Orion Hodson , Dushyanth Narayanan , Antony Rowstron
发明人： Christos Gkantsidis , Dimitrios Vytiniotis , Orion Hodson , Dushyanth Narayanan , Antony Rowstron
CPC分类号： G06F17/30386 , G06F9/54 , G06F2209/542
摘要： Methods of generating filters automatically from data processing jobs are described. In an embodiment, these filters are automatically generated from a compiled version of the data processing job using static analysis which is applied to a high-level representation of the job. The executable filter is arranged to suppress rows and/or columns within the data to which the job is applied and which do not affect the output of the job. The filters are generated by a filter generator and then stored and applied dynamically at a filtering proxy that may be co-located with the storage node that holds the data. In another embodiment, the filtered data may be cached close to a compute node which runs the job and data may be provided to the compute node from the local cache rather than from the filtering proxy.
-
公开(公告)号：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.
摘要翻译： 这里描述了一种操作系统的一个或多个实现，该操作系统提供了隔离过程之间的静态可验证的进程间通信。 此外，这里描述了一种或多种编程工具的实现方式，其有助于开发具有进程间通信的静态可验证的隔离进程。
-
-
-
-
-
-
-
-
-
搜索结果
10 条记录 (耗时 0.033 秒)