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

   
   

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.

Ein Computer-eingeführtes System (90) ist, vorausgesetzt daß einen hohen Grad der Trennung zwischen der Verarbeitung der Elemente stützt. Das Computer-eingeführte System (90) enthält eine Mehrzahl von den Zellen (92), die auf dem Computer-eingeführten System liegen, in dem jede Zelle (92) ein Gebiet von Durchführung (94) und mindestens von einem verarbeitenelement (96) einschließt; eine Trennung Spezifikation (99), die Kommunikation zwischen den verarbeitenelementen (96) regelt; und ein Kern (98) eines Betriebssystems, das Durchführung der verarbeitenelemente (96) erleichtert und die Kommunikation zwischen den verarbeitenelementen (96) in Übereinstimmung mit der Trennung Spezifikation (99) ausübt, so, daß ein verarbeitenelement (96) den Betrieb eines anderen verarbeitenelements (96) beeinflussen kann, nur wie durch die Trennung Spezifikation (99) festgelegt. Insbesondere liefert die Trennung Spezifikation Speicherallozierung, Remoteverfahren Anrufe und Griffmechanismen der Ausnahme.

 
Web www.patentalert.com

< Public key distribution using an approximate linear function

< System for the design of high-performance communication architecture for system-on-chips using communication architecture tuners

> Automatic updating of computer software

> Stored program pay-per-play

~ 00122