Statically Verifiable Inter-Process-Communicative Isolated Processes
First Claim
Patent Images
1. One or more processor-readable media having processor-executable instructions that, when executed by a processor, perform a method comprising:
- associating ownership of a particular data set with a first process;
sending the particular data set from the first process to a second process;
transferring ownership of the particular data set from the first process to the second process, wherein the first process no longer has access to the particular data set after the transferring.
2 Assignments
0 Petitions
Accused Products
Abstract
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.
-
Citations
22 Claims
-
1. One or more processor-readable media having processor-executable instructions that, when executed by a processor, perform a method comprising:
-
associating ownership of a particular data set with a first process;
sending the particular data set from the first process to a second process;
transferring ownership of the particular data set from the first process to the second process, wherein the first process no longer has access to the particular data set after the transferring. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. One or more processor-readable media having processor-executable instructions that, when executed by a processor, perform a method comprising:
-
providing for the execution of one or more isolated software processes in a computer operating system environment, wherein the transferring of ownership occurs through one or more inter-process communication channels, wherein each inter-process communications channel consists of two or more of endpoints;
sending a particular data set from the first process to the second process via the inter-process communication channel;
transferring ownership of the particular data set owned by the first isolated software process from the first isolated software process to the second isolated software process. - View Dependent Claims (9, 10, 11, 12, 13, 14, 15, 16)
-
-
17. One or more processor-readable media having processor-executable instructions that, when executed by a processor, perform a method comprising:
-
obtaining one or more isolated software processes on a computer operating system environment, wherein the obtained two or more isolated software processes are formatted to be executable on the computer operating system environment;
confirming that no memory block of a shared exchange heap is simultaneously accessible by more than one isolated software process, wherein such access would occur while the two or more isolated software processes are executing, the shared exchange heap having one or more memory blocks and one or more of the one or more memory blocks are accessible simultaneously to the two or more isolated software processes when the processes are executed. - View Dependent Claims (18, 19, 20, 21, 22)
-
Specification