Method for allocating memory to tasks without exceeding predefined memory requirements
    1.
    发明授权
    Method for allocating memory to tasks without exceeding predefined memory requirements 失效
    在不超过预定义的内存要求的情况下将内存分配到任务的方法

    公开(公告)号:US07689997B2

    公开(公告)日:2010-03-30

    申请号:US10866564

    申请日:2004-06-10

    IPC分类号: G06F9/46 G06F13/00

    CPC分类号: G06F9/547 G06F9/468

    摘要: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.

    摘要翻译: 提供了一种支持处理元件之间高度分离的计算机实现的系统(90)。 计算机实现的系统(90)包括驻留在计算机实现的系统上的多个小区(92),其中每个小区(92)包括执行域(94)和至少一个处理单元(96); 支配处理元件(96)之间的通信的分离规范(99); 以及便于执行处理元件(96)并根据分离规范(99)管理处理元件(96)之间的通信的操作系统的内核(98),使得一个处理元件(96)可以 影响另一处理元件(96)的操作,仅由分离规范(99)所述。 特别地,分离规范提供内存分配,远程过程调用和异常处理机制。

    SEPARATION KERNEL WITH MEMORY ALLOCATION, REMOTE PROCEDURE CALL AND EXCEPTION HANDLING MECHANISMS
    2.
    发明申请
    SEPARATION KERNEL WITH MEMORY ALLOCATION, REMOTE PROCEDURE CALL AND EXCEPTION HANDLING MECHANISMS 审中-公开
    具有记忆分配,远程程序呼叫和异常处理机制的分离存储器

    公开(公告)号:US20100192154A1

    公开(公告)日:2010-07-29

    申请号:US12702828

    申请日:2010-02-09

    IPC分类号: G06F9/46

    CPC分类号: G06F9/547 G06F9/468

    摘要: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.

    摘要翻译: 提供了一种支持处理元件之间高度分离的计算机实现的系统(90)。 计算机实现的系统(90)包括驻留在计算机实现的系统上的多个小区(92),其中每个小区(92)包括执行域(94)和至少一个处理单元(96); 支配处理元件(96)之间的通信的分离规范(99); 以及便于执行处理元件(96)并根据分离规范(99)管理处理元件(96)之间的通信的操作系统的内核(98),使得一个处理元件(96)可以 影响另一处理元件(96)的操作,仅由分离规范(99)所述。 特别地,分离规范提供内存分配,远程过程调用和异常处理机制。