Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments

    公开(公告)号:US11146456B2

    公开(公告)日:2021-10-12

    申请号:US17127152

    申请日:2020-12-18

    Abstract: In an embodiment, a computer-implemented method comprises receiving logical model input that specifies a logical topology model of networking elements and/or computing elements for deployment at least partially in a private cloud computing infrastructure and at least partially in a public cloud computing infrastructure; receiving resource input specifying an inventory of computing elements that are available at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure; automatically generating an intermediate topology comprising a set of deployment instructions that are capable of execution at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure to cause physical realization of a network deployment corresponding to the logical topology model; determining whether the intermediate topology is functionally equivalent to the logical topology model; in response to determining that the intermediate topology is functionally equivalent to the logical topology model, transmitting the deployment instructions at least partially to the private cloud computing infrastructure and at least partially to the public cloud computing infrastructure.

    Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments

    公开(公告)号:US10904099B2

    公开(公告)日:2021-01-26

    申请号:US16124866

    申请日:2018-09-07

    Abstract: In an embodiment, a computer-implemented method comprises receiving logical model input that specifies a logical topology model of networking elements and/or computing elements for deployment at least partially in a private cloud computing infrastructure and at least partially in a public cloud computing infrastructure; receiving resource input specifying an inventory of computing elements that are available at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure; automatically generating an intermediate topology comprising a set of deployment instructions that are capable of execution at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure to cause physical realization of a network deployment corresponding to the logical topology model; determining whether the intermediate topology is functionally equivalent to the logical topology model; in response to determining that the intermediate topology is functionally equivalent to the logical topology model, transmitting the deployment instructions at least partially to the private cloud computing infrastructure and at least partially to the public cloud computing infrastructure.

    ACCELERATED INSTANTIATION OF CLOUD RESOURCE
    3.
    发明申请
    ACCELERATED INSTANTIATION OF CLOUD RESOURCE 审中-公开
    加快云南资源消灭

    公开(公告)号:US20150106805A1

    公开(公告)日:2015-04-16

    申请号:US14261141

    申请日:2014-04-24

    CPC classification number: G06F9/45537 G06F9/5072 G06F9/5077 H04L47/70

    Abstract: The subject disclosure relates to a method for instantiating cloud resources that are provided as service virtual machines. In one embodiment, a cloud service management system maps each one of the multiple abstraction layer slots to a virtual context of a logical resource. The virtual context is hosted by a respective virtual machine that is part of a pool of virtual machines. The system identifies an available abstraction slot from the multiple abstraction layer slots and reserves the slot so that the corresponding virtual context of the logical resource can be served to a requesting device. The system then marks the available abstraction layer slot as unavailable. Systems and computer readable media are also provided.

    Abstract translation: 本发明涉及用于实例化作为服务虚拟机提供的云资源的方法。 在一个实施例中,云服务管理系统将多个抽象层时隙中的每一个映射到逻辑资源的虚拟上下文。 虚拟上下文由作为虚拟机池一部分的相应虚拟机托管。 该系统从多个抽象层时隙识别可用的抽象时隙,并且保留时隙,使得逻辑资源的相应虚拟上下文可以被提供给请求设备。 然后,系统将可用的抽象层插槽标记为不可用。 还提供了系统和计算机可读介质。

    Collaborative inter-service scheduling of logical resources in cloud platforms
    5.
    发明授权
    Collaborative inter-service scheduling of logical resources in cloud platforms 有权
    云平台中逻辑资源的协同业务间调度

    公开(公告)号:US09473365B2

    公开(公告)日:2016-10-18

    申请号:US14273385

    申请日:2014-05-08

    Abstract: The subject disclosure relates to a method for scheduling logical resources in cloud platforms. A cloud platform system identifies resource candidates for hosting a logical resource of a cloud service. The system filters the resource candidates by running them through a filter chain, a collection of serially connected filters. The filter chain may contain one or more reference filters that reference other filter chains. When the resource candidates encounter one of the reference filters, the other filter chains can be triggered and processed. The system selects one or more resources for hosting the logical resource from the filtered resource candidates.

    Abstract translation: 本公开涉及一种用于在云平台中调度逻辑资源的方法。 云平台系统识别用于托管云服务的逻辑资源的资源候选。 系统通过使用过滤器链,串联连接的过滤器集合来过滤资源候选。 过滤器链可以包含一个或多个引用其他过滤器链的参考过滤器。 当资源候选人遇到参考过滤器之一时,可以触发和处理其他过滤器链。 系统从被筛选的资源候选中选择一个或多个用于托管逻辑资源的资源。

    COLLABORATIVE INTER-SERVICE SCHEDULING OF LOGICAL RESOURCES IN CLOUD PLATFORMS
    6.
    发明申请
    COLLABORATIVE INTER-SERVICE SCHEDULING OF LOGICAL RESOURCES IN CLOUD PLATFORMS 有权
    逻辑资源在云计算平台中的协调互动调度

    公开(公告)号:US20150326449A1

    公开(公告)日:2015-11-12

    申请号:US14273385

    申请日:2014-05-08

    Abstract: The subject disclosure relates to a method for scheduling logical resources in cloud platforms. A cloud platform system identifies resource candidates for hosting a logical resource of a cloud service. The system filters the resource candidates by running them through a filter chain, a collection of serially connected filters. The filter chain may contain one or more reference filters that reference other filter chains. When the resource candidates encounter one of the reference filters, the other filter chains can be triggered and processed. The system selects one or more resources for hosting the logical resource from the filtered resource candidates.

    Abstract translation: 本公开涉及一种用于在云平台中调度逻辑资源的方法。 云平台系统识别用于托管云服务的逻辑资源的资源候选。 系统通过使用过滤器链,串联连接的过滤器的集合来运行它们来过滤资源候选。 过滤器链可以包含一个或多个引用其他过滤器链的参考过滤器。 当资源候选人遇到参考过滤器之一时,可以触发和处理其他过滤器链。 系统从被筛选的资源候选中选择一个或多个用于托管逻辑资源的资源。

    Formal Model Checking Based Approaches To Optimized Realizations Of Network Functions In Multi-Cloud Environments

    公开(公告)号:US20210111965A1

    公开(公告)日:2021-04-15

    申请号:US17127152

    申请日:2020-12-18

    Abstract: In an embodiment, a computer-implemented method comprises receiving logical model input that specifies a logical topology model of networking elements and/or computing elements for deployment at least partially in a private cloud computing infrastructure and at least partially in a public cloud computing infrastructure; receiving resource input specifying an inventory of computing elements that are available at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure; automatically generating an intermediate topology comprising a set of deployment instructions that are capable of execution at least partially in the private cloud computing infrastructure and at least partially in the public cloud computing infrastructure to cause physical realization of a network deployment corresponding to the logical topology model; determining whether the intermediate topology is functionally equivalent to the logical topology model; in response to determining that the intermediate topology is functionally equivalent to the logical topology model, transmitting the deployment instructions at least partially to the private cloud computing infrastructure and at least partially to the public cloud computing infrastructure.

    COLLABORATIVE INTER-SERVICE SCHEDULING OF LOGICAL RESOURCES IN CLOUD PLATFORMS
    8.
    发明申请
    COLLABORATIVE INTER-SERVICE SCHEDULING OF LOGICAL RESOURCES IN CLOUD PLATFORMS 有权
    逻辑资源在云计算平台中的协调互动调度

    公开(公告)号:US20170005948A1

    公开(公告)日:2017-01-05

    申请号:US15267016

    申请日:2016-09-15

    Abstract: The subject disclosure relates to a method for scheduling logical resources in cloud platforms. A cloud platform system identifies resource candidates for hosting a logical resource of a cloud service. The system filters the resource candidates by running them through a filter chain, a collection of serially connected filters. The filter chain may contain one or more reference filters that reference other filter chains. When the resource candidates encounter one of the reference filters, the other filter chains can be triggered and processed. The system selects one or more resources for hosting the logical resource from the filtered resource candidates.

    Abstract translation: 本公开涉及一种用于在云平台中调度逻辑资源的方法。 云平台系统识别用于托管云服务的逻辑资源的资源候选。 系统通过使用过滤器链,串行连接过滤器的集合来运行它们来过滤资源候选。 过滤器链可以包含一个或多个引用其他过滤器链的参考过滤器。 当资源候选人遇到参考过滤器之一时,可以触发和处理其他过滤器链。 系统从被筛选的资源候选中选择一个或多个用于托管逻辑资源的资源。

    METHOD FOR NON-DISRUPTIVE CLOUD INFRASTRUCTURE SOFTWARE COMPONENT DEPLOYMENT
    9.
    发明申请
    METHOD FOR NON-DISRUPTIVE CLOUD INFRASTRUCTURE SOFTWARE COMPONENT DEPLOYMENT 审中-公开
    非破坏性云基础设施软件组件部署方法

    公开(公告)号:US20160099847A1

    公开(公告)日:2016-04-07

    申请号:US14504929

    申请日:2014-10-02

    Abstract: The subject technology provides embodiments for defining, using a first application programming interface (API), a logical resource variant of a logical service resource. The logical resource variant is registered at a defining entity. Software components for the logical resource variant are then sent to a Infrastructure as a Service (IaaS) system to associate the software components with the logical resource variant. A call, from a second API, is received to enable create, read, update and delete (CRUD) operations for the logical resource variant. An instantiating entity is assigned for the logical resource variant of the logical service resource. It is then requested to the assigned instantiating entity to instantiate and configure the logical resource variant of the logical service resource.

    Abstract translation: 主题技术提供了使用第一应用编程接口(API)定义逻辑服务资源的逻辑资源变体的实施例。 逻辑资源变体在定义实体上注册。 然后将逻辑资源变体的软件组件发送到基础设施即服务(IaaS)系统,以将软件组件与逻辑资源变量相关联。 接收来自第二个API的呼叫,以启用逻辑资源变体的创建,读取,更新和删除(CRUD)操作。 为逻辑服务资源的逻辑资源变体分配实例化实体。 然后,请求分配的实例化实体来实例化和配置逻辑服务资源的逻辑资源变体。

Patent Agency Ranking