Invention Grant
- Patent Title: Language-based model for isolating shared state
-
Application No.: US12482270Application Date: 2009-06-10
-
Publication No.: US09753698B2Publication Date: 2017-09-05
- Inventor: Niklas Gustafsson , Artur Laksberg , Joshua Phillips
- Applicant: Niklas Gustafsson , Artur Laksberg , Joshua Phillips
- Applicant Address: US WA Redmond
- Assignee: Microsoft Technology Licensing, LLC
- Current Assignee: Microsoft Technology Licensing, LLC
- Current Assignee Address: US WA Redmond
- Agency: Dicke, Billig & Cjaza, PLLC
- Main IPC: G06F9/45
- IPC: G06F9/45 ; G06F9/44 ; G06F9/445 ; G06F9/50

Abstract:
A method and/or computer program that incorporates isolation principles of separate address spaces and enforces the principles with a compiler and supporting runtime through a language-based model is disclosed. This approach significantly lowers the required overhead and retains the beneficial qualities of the scalable, isolated model. The model is implemented in a programming language where memory-based state is partitioned into a plurality of domains where the variables inside of a domain are isolated from external components. Agents are introduced inside of the domain and act on behalf of clients outside of the domain. The agents communicate with their clients via message-passing to enforce the isolation of the domain state. The domain-based isolation addresses the partitioning of memory-based state without the introduction of separate processes. Domains can also be used in conjunction with a distributed model either within a single computing device or between computing devices.
Public/Granted literature
- US20100318975A1 LANGUAGE-BASED MODEL FOR ISOLATING SHARED STATE Public/Granted day:2010-12-16
Information query