General Dynamics C4 Systems, Inc.

General Dynamics Decision Systems, Inc.

Hua Chen

Pamela Tam Carmony

Conan Brian Dailey

Francis Gregory Sydnor, Jr

Keith Michael Hines

Peter Duncan White

Jennifer Lynn Amstutz

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

Method for allocating memory to tasks without exceeding predefined memory requirements

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

Separation kernel with memory allocation, remote procedure call and exception handling mechanisms

Growing community of inventors

Tempe, AZ, United States of America

Hua Chen