-
公开(公告)号：US20110161610A1
公开(公告)日：2011-06-30
申请号：US12649252
申请日：2009-12-29
摘要： A compiler that enforces, at compile time, domain data access permissions and/or agent data access permissions on at least one agent to be created within a domain. The compiler identifies domain data of a domain to be created, and an agent to be created within the domain at runtime. The domain access permissions of the agent are also identified. As part of compilation of an expression of an agent, a reference to the domain data is identified. Then, the compiler evaluates an operation that the reference to the domain data would impose on the domain data upon evaluating the expression at runtime. The compiler then determines whether or not the operation is in violation of the domain access permissions of the agent with respect to the identified domain data. Agent data access may also be evaluated depending on whether the access occurs by a function or a method.
摘要翻译： 在编译时强制在域中创建的至少一个代理的域数据访问权限和/或代理数据访问权限的编译器。 编译器识别要创建的域的域数据，以及在运行时在域内创建的代理。 还会识别代理的域访问权限。 作为汇编代理人表达的一部分，对域数据的引用进行了识别。 然后，编译器在运行时评估表达式时，评估对域数据对域数据的引用的操作。 然后，编译器确定该操作是否违反代理相对于所识别的域数据的域访问权限。 代理数据访问也可以根据访问是由功能还是方法进行评估。
-
公开(公告)号：US08566544B2
公开(公告)日：2013-10-22
申请号：US12649252
申请日：2009-12-29
摘要： A compiler that enforces, at compile time, domain data access permissions and/or agent data access permissions on at least one agent to be created within a domain. The compiler identifies domain data of a domain to be created, and an agent to be created within the domain at runtime. The domain access permissions of the agent are also identified. As part of compilation of an expression of an agent, a H reference to the domain data is identified. Then, the compiler evaluates an operation that the reference to the domain data would impose on the domain data upon evaluating the expression at runtime. The compiler then determines whether or not the operation is in violation of the domain access permissions of the agent with respect to the identified domain data. Agent data access may also be evaluated depending on whether the access occurs by a function or a method.
摘要翻译： 在编译时强制在域中创建的至少一个代理的域数据访问权限和/或代理数据访问权限的编译器。 编译器识别要创建的域的域数据，以及在运行时在域内创建的代理。 还会识别代理的域访问权限。 作为汇编代理人表达的一部分，对域数据的H引用进行了识别。 然后，编译器在运行时评估表达式时，评估对域数据对域数据的引用的操作。 然后，编译器确定该操作是否违反代理相对于所识别的域数据的域访问权限。 代理数据访问也可以根据访问是由功能还是方法进行评估。
-
公开(公告)号：US20110161604A1
公开(公告)日：2011-06-30
申请号：US12649255
申请日：2009-12-29
IPC分类号： G06F12/10
CPC分类号： G06F9/4881 , G06F9/526 , G06F2209/483
摘要： Multiple types of executable agents operating within a domain. The domain includes mutable shared state and immutable shared state, with agents internal to the domain only operating on the shared state. Writer agents are defined to be agents that have read access and write access to mutable shared state and read access only to immutable shared state. General reader agents have read access to both mutable shared state and immutable shared state and have no write access. Immutable reader agents have read access to only immutable shared state and have no write access. By appropriate scheduling of the different types of agents, data races may be reduced or eliminated.
摘要翻译： 域内运行的多种类型的可执行代理。 域包括可变共享状态和不可变共享状态，域内的代理只能在共享状态下运行。 作者代理被定义为具有对可变共享状态的读访问和写访问权限的代理，并且仅对不可变共享状态的读访问。 通用读写器代理读取访问可变共享状态和不可变共享状态，并且不具有写入权限。 不可变的读取器代理只读访问只有不可变的共享状态，没有写入权限。 通过适当调度不同类型的代理，可以减少或消除数据竞争。
-
公开(公告)号：US08316369B2
公开(公告)日：2012-11-20
申请号：US12649254
申请日：2009-12-29
IPC分类号： G06F9/46
CPC分类号： G06F9/52
摘要： The scheduling of dataflow components in a dataflow network. A number, if not all, of the dataflow components are created using a domain/agent model. A scheduler identifies, for a number of the components, a creation source for the given component. The scheduler also identifies an appropriate domain-level access permission (and potentially also an appropriate agent-level access permission) for the given component based on the creation source of the given component. Tokens may be used at the domain or agent level to control access.
摘要翻译： 数据流网络中数据流组件的调度。 使用域/代理模型创建数字（如果不是全部）数据流组件。 调度程序为多个组件识别给定组件的创建源。 调度程序还根据给定组件的创建源，为给定组件标识适当的域级访问权限（并且可能还需要适当的代理级访问权限）。 可以在域或代理级别使用令牌来控制访问。
-
5.发明授权Method for managing data accessibility by scheduling three types of executable agents associated with pre-defined access rights within a domain 有权通过调度与域内的预定义访问权限相关联的三种类型的可执行代理来管理数据可访问性的方法公开(公告)号：US08695003B2
公开(公告)日：2014-04-08
申请号：US12649255
申请日：2009-12-29
IPC分类号： G06F9/46
CPC分类号： G06F9/4881 , G06F9/526 , G06F2209/483
摘要： Multiple types of executable agents operating within a domain. The domain includes mutable shared state and immutable shared state, with agents internal to the domain only operating on the shared state. Writer agents are defined to be agents that have read access and write access to mutable shared state and read access only to immutable shared state. General reader agents have read access to both mutable shared state and immutable shared state and have no write access. Immutable reader agents have read access to only immutable shared state and have no write access. By appropriate scheduling of the different types of agents, data races may be reduced or eliminated.
摘要翻译： 域内运行的多种类型的可执行代理。 域包括可变共享状态和不可变共享状态，域内的代理只能在共享状态下运行。 作者代理被定义为具有对可变共享状态的读访问和写访问权限的代理，并且仅对不可变共享状态的读访问。 通用读写器代理读取访问可变共享状态和不可变共享状态，并且不具有写入权限。 不可变的读取器代理只读访问只有不可变的共享状态，没有写入权限。 通过适当调度不同类型的代理，可以减少或消除数据竞争。
-
公开(公告)号：US20110161962A1
公开(公告)日：2011-06-30
申请号：US12649254
申请日：2009-12-29
IPC分类号： G06F9/46
CPC分类号： G06F9/52
摘要： The scheduling of dataflow components in a dataflow network. A number, if not all, of the dataflow components are created using a domain/agent model. A scheduler identifies, for a number of the components, a creation source for the given component. The scheduler also identifies an appropriate domain-level access permission (and potentially also an appropriate agent-level access permission) for the given component based on the creation source of the given component. Tokens may be used at the domain or agent level to control access.
摘要翻译： 数据流网络中数据流组件的调度。 使用域/代理模型创建数字（如果不是全部）数据流组件。 调度程序为多个组件标识给定组件的创建源。 调度程序还根据给定组件的创建源，为给定组件标识适当的域级访问权限（并且可能还需要适当的代理级访问权限）。 可以在域或代理级别使用令牌来控制访问。
-
公开(公告)号：US09753698B2
公开(公告)日：2017-09-05
申请号：US12482270
申请日：2009-06-10
CPC分类号： G06F8/314 , G06F8/30 , G06F9/44563 , G06F9/5077
摘要： 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.
-
公开(公告)号：US20100318975A1
公开(公告)日：2010-12-16
申请号：US12482270
申请日：2009-06-10
IPC分类号： G06F9/45
CPC分类号： G06F8/314 , G06F8/30 , G06F9/44563 , G06F9/5077
摘要： 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.
摘要翻译： 公开了一种包含单独地址空间的隔离原理的方法和/或计算机程序，并且通过基于语言的模型来实现与编译器的原理并支持运行时。 这种方法显着降低了所需的开销，并保留了可扩展的隔离模型的有益质量。 该模型以编程语言实现，其中基于存储器的状态被分割成多个域，其中域内的变量与外部组件隔离。 代理被引入域内部，并代表域外的客户端进行操作。 代理商通过消息传递与客户端进行通信，以强制实现域状态的隔离。 基于域的隔离解决了基于内存的状态的划分，而不引入单独的进程。 域也可以在单个计算设备内部或计算设备之间与分布式模型结合使用。
-
公开(公告)号：US20110173595A1
公开(公告)日：2011-07-14
申请号：US12684753
申请日：2010-01-08
申请人： Niklas Gustafsson , Artur Laksberg
发明人： Niklas Gustafsson , Artur Laksberg
IPC分类号： G06F9/45
CPC分类号： G06F8/433
摘要： The compilation of user code. Upon accessing the user code, the compiler determines that the user code includes at least one top-level asynchronous operation that is 1) to operate at a top-level of the stack of the programmed code, 2) that is programmed using a syntax for synchronous operations and 3) includes at least one indicator that the operation is to be asynchronous. The user code is then compiled such that the top-level asynchronous operation programmed in the syntax for synchronous operations is transformed into an asynchronous pattern suitable for the runtime environment.
摘要翻译： 编译用户代码。 在访问用户代码时，编译器确定用户代码包括至少一个顶级异步操作，其为1）在编程代码的堆栈的顶层操作，2）使用语法为 同步操作和3）包括至少一个操作是异步的指示符。 然后编译用户代码，使得在用于同步操作的语法中编程的顶级异步操作被转换成适合于运行时环境的异步模式。
-
-
-
-
-
-
-
-
搜索结果
9 条记录 (耗时 0.025 秒)
