VIRTUAL NETWORK WITH ADAPTIVE DISPATCHER
    3.
    发明申请
    VIRTUAL NETWORK WITH ADAPTIVE DISPATCHER 有权
    具有自适应分配器的虚拟网络

    公开(公告)号:US20090046726A1

    公开(公告)日:2009-02-19

    申请号:US11838161

    申请日:2007-08-13

    IPC分类号: H04L12/56

    摘要: Methods and systems for providing a virtual network are disclosed. At least one layer of abstraction is created between network service applications and conventional network protocols by inserting an adaptive dispatcher between applications and network transport services on each machine in a network. The message protocol in the virtual network is extensible, allowing application programs to create new headers within any message as needed. The adaptive dispatcher contains handlers that route and dispatch messages within the virtual network based on arbitrary content within each message, including any combination of headers and/or data content. Each device on the virtual network has a virtual address to which messages are directed, allowing devices to move within the network without reconfiguring routing tables. Handlers may be automatically created when an event meeting predefined criteria occurs, including the non-occurrence of a condition, making the virtual network self-healing and adaptive to reconfiguration.

    摘要翻译: 公开了用于提供虚拟网络的方法和系统。 通过在网络中的每台机器上的应用程序和网络传输服务之间插入自适应调度器,在网络服务应用程序和常规网络协议之间创建至少一个抽象层。 虚拟网络中的消息协议是可扩展的,允许应用程序根据需要在任何消息内创建新头。 自适应调度器包含基于每个消息内的任意内容(包括报头和/或数据内容的任何组合)在虚拟网络内路由和调度消息的处理程序。 虚拟网络上的每个设备都具有指向消息的虚拟地址,允许设备在网络内移动而不重新配置路由表。 当满足预定义标准的事件发生时,可以自动创建处理程序,包括不发生条件,使虚拟网络自我修复并适应重新配置。

    Type system for declarative data scripting language
    4.
    发明授权
    Type system for declarative data scripting language 有权
    键入用于声明性数据脚本语言的系统

    公开(公告)号:US08949784B2

    公开(公告)日:2015-02-03

    申请号:US12244981

    申请日:2008-10-03

    IPC分类号: G06F9/44

    CPC分类号: G06F8/10 G06F8/31

    摘要: An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.

    摘要翻译: 提供了一种高效,逻辑和表达型的系统,用于灵活定义声明式编程语言的类型,从而可以生成有效和结构紧凑的数据密集型应用程序。 类型系统支持细化类型和类型成员关系表达式的组合,以及包含所有有效值作为成员的顶级类型。 对于类型系统,类型可以表示为其他类型的交集和/或联合。 因此,可以在真实世界数据存储中可以找到的全部数据类型有效地表示类型。

    SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER
    8.
    发明申请
    SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER 有权
    通过电子邮件提交声明数据描述语言的语义分类

    公开(公告)号:US20100192129A1

    公开(公告)日:2010-07-29

    申请号:US12244988

    申请日:2008-10-03

    IPC分类号: G06F9/44

    CPC分类号: G06F8/437

    摘要: An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale.

    摘要翻译: 一种高效,逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合,以及包含所有有效值作为成员的顶级类型。 各种实施例通过转换为一阶逻辑来验证子类型关系的有效性,并且以一阶逻辑作为输入来调用通用定理证明器。 与将处理公式作为类型相反,类型被转换为标准一阶逻辑的公式。 此外,为了将编程语言的数据结构表示为一阶逻辑,利用一阶逻辑的通用和存在量词,以及术语中的函数符号。 可以以更快的速度和规模生成,验证和部署数据密集型应用程序。

    Invalid policy detection
    9.
    发明授权
    Invalid policy detection 有权
    策略检测无效

    公开(公告)号:US07664828B2

    公开(公告)日:2010-02-16

    申请号:US10783776

    申请日:2004-02-20

    IPC分类号: G06F15/173 G06F13/00

    CPC分类号: H04L67/2852

    摘要: Implementations are described and claimed herein to detect an invalid policy that may reside in a cache at a client. An expired policy is removed from cache and a current policy is requested. Otherwise the cached policy may be used. The client indicates which policy it is using by generating a policy digest, including, in compressed form, one or more assertions. If the host determines the policy digest is invalid, the host issues an invalid digest fault. If the policy digest is valid, but the assertions included in the policy digest are invalid, the host issues an invalid policy fault. In either case, the client is notified that the cached policy is no longer valid and that a current policy should be requested.

    摘要翻译: 这里描述和要求的实现来检测可能驻留在客户端的高速缓存中的无效策略。 从缓存中删除过期的策略,并请求当前策略。 否则可能会使用缓存的策略。 客户端通过生成策略摘要来指示其使用哪个策略,包括压缩形式的一个或多个断言。 如果主机确定策略摘要无效,则主机发出无效的摘要故障。 如果策略摘要有效,但策略摘要中包含的断言无效,则主机发出无效的策略故障。 在任一情况下,通知客户端缓存的策略不再有效,并且应该请求当前的策略。

    Common intermediate representation for data scripting language
    10.
    发明授权
    Common intermediate representation for data scripting language 有权
    数据脚本语言的通用中间表示法

    公开(公告)号:US08473897B2

    公开(公告)日:2013-06-25

    申请号:US12244998

    申请日:2008-10-03

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/437 G06F8/31 G06F8/42

    摘要: A common intermediate representation for a data scripting language is provided for efficient representation and direct specification of programming constructs in memory. The common intermediate representation of data scripts allows data intensive applications to be created and analyzed in a machine accessible format, and the elements of the common intermediate representation can be stored independent of underlying storage specifics. Stored elements of the common intermediate representation of code are thus available for fast loading in memory when desired by other applications and programs by mapping the stored elements to the in memory intermediate representation.

    摘要翻译: 提供了一种用于数据脚本语言的常用中间表示形式,用于有效地表示和直接指定存储器中的编程结构。 数据脚本的公共中间表示允许以机器可访问格式创建和分析数据密集型应用程序,并且可以独立于底层存储细节存储公共中间表示的元素。 因此,当通过将存储的元素映射到存储器中间表示中时,通过其它应用和程序的需要,代码的公共中间表示的存储元件可用于在存储器中快速加载。