Patent ID: 6772416
Filing Date: 2004-08-03
Classification: G06F

Abstract:
A computer-implemented system that supports a high degree of separation between a plurality of processing elements, comprising:a plurality of cells residing on the computer-implemented system, each cell having a domain of execution and at least one processing element; a separation specification that governs communication between the plurality of cells, the separation specification comprising: a first axiom governing a communication between a first cell and a second cell of the plurality of cells such that if the communication is forbidden from the first cell to the second cell then advancing a state of the first cell does not alter a state of the second cell; and a second axiom further governing the communication between the first cell and the second cell such that if the state of the first cell is advanced then a resulting effect on the second cell is solely determined by a previous state of the first cell and a previous sate of the second cell; and a kernel of an operating system for facilitating execution of the processing elements and administering the communication between the plurality of cells in accordance with the first axiom and the second axiom of the separation specification, such that the first cell can influence an operation of the second cell only as set forth by the first axiom and second axiom of the separation specification.