Language-based model for isolating shared state

A system comprising:

• memory to store instructions;
• a processor to execute the instructions to:
• partition a memory-based state into a plurality of domains, each domain including separate address spaces of a memory and including variables within boundaries of the domain, the variables are isolated from outside of the boundaries of the domain, and the variables within each domain are isolated from the other domains;
• introduce a plurality of agents inside the boundaries of the domain corresponding with a client of an application including an application component, the agent acts on behalf of the client to access the variables within the domain via message-passing between the agent and the client and the agent does not use the same application component or the same thread of execution as the client, the agents include at least one read agent to read from variables within the domain, at least one write agent to read from or write to variables within the domain and at least one third agent to neither read from nor write to variables within the domain;
• execute any number of third agents concurrently with each other or with read agents or with one write agent;
• execute any number of read agents concurrently as long as no write agents are executing;
• execute only one write agent at a time such that the instance of the write agent as exclusive access to the domain while executing the write agent;
• the domains and the agents are each both declarative and runtime constructs in a programming language based model;
• and
• enforce isolation of the domain with a compiler and supporting runtime through the agent interacting with other agents via message-passing over separately defined channels.

A computer readable storage medium, which does not include transitory propagating signals, storing computer executable instructions for controlling a computing device to perform a method comprising:

• partitioning a memory-based state into a plurality of domains, each domain including separate address spaces of a memory and including variables within boundaries of each domain, wherein the variables are isolated from outside of the boundaries of the domain, and wherein the variables within each domain are isolated from the other domains;
• introducing a plurality of agents inside the boundaries of domains corresponding with a client of an application including an application component, wherein the agents act on behalf of the client to access the variables within the domain via message-passing between the agent and the corresponding client;
• and the agents do not use the same application component or the same thread of execution as the client, wherein the agents include at least one read agent to read from variables within the domain, at least one write agent to read from or write to variables within the domain and at least one third agent to neither read from nor write to variables within the domain;
• executing any number of third agents concurrently with each other or with read agents or with one write agent;
• executing any number of read agents concurrently as long as no write agents are executing;
• executing only one write agent at a time such that the instance of the write agent as exclusive access to the domain while executing the write agent;
• wherein the domains and the agents are each both declarative and runtime constructs in a programming language based model;
• and
• enforcing isolation of the variables within each domain from the clients through communications between the agent and the corresponding client via message passing with a compiler and supporting runtime and through the agent interacting with other agents via message-passing over separately defined channels.