发明申请
- 专利标题: LANGUAGE-BASED MODEL FOR ISOLATING SHARED STATE
- 专利标题(中): 用于分离共享状态的基于语言的模型
-
申请号: US12482270申请日: 2009-06-10
-
公开(公告)号: US20100318975A1公开(公告)日: 2010-12-16
- 发明人: Niklas Gustafsson , Artur Laksberg , Joshua Phillips
- 申请人: Niklas Gustafsson , Artur Laksberg , Joshua Phillips
- 申请人地址: US WA Redmond
- 专利权人: MICROSOFT CORPORATION
- 当前专利权人: MICROSOFT CORPORATION
- 当前专利权人地址: US WA Redmond
- 主分类号: G06F9/45
- IPC分类号: G06F9/45
摘要:
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.
公开/授权文献
- US09753698B2 Language-based model for isolating shared state 公开/授权日:2017-09-05