利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

1703 条记录 (耗时 0.029 秒)

    Network configuration verification in computing systems
    91.
    发明授权
    Network configuration verification in computing systems 有权

    公开(公告)号：US11824727B2

    公开(公告)日：2023-11-21

    申请号：US17978081

    申请日：2022-10-31

    申请人： MICROSOFT TECHNOLOGY LICENSING, LLC

    发明人： Karthick Jayaraman ,  Ryan Andrew Beckett ,  Nikolaj Skallerud Bjorner

    IPC分类号： G06F15/173 ,  H04L41/12 ,  H04L41/0893 ,  H04L41/0853

    CPC分类号： H04L41/12 ,  H04L41/0853 ,  H04L41/0893

    摘要： Techniques of network configuration verification are disclosed herein. One example process includes, upon receiving a query to determine whether a packet from a first endpoint is reachable to a second endpoint in a virtual network, identifying a network path between the first endpoint to the second endpoint in a network graph. The network graph has nodes representing corresponding enforcement points of network policies in the virtual network and edges connecting pairs of the nodes. The example process can also include generating compound function representing conjoined individual constraints of the network policies at each of the nodes in the network graph along the identified network path, compiling the generated compound function into a Boolean formula, and solving the compiled Boolean formula to determine whether an assignment of values to packet fields of the packet exists such that all the conjoined individual constraints of the compound function can be satisfied.

    REDUCING PLACEMENT CONFLICTS BETWEEN CONCURRENT VIRTUAL MACHINE ALLOCATIONS
    97.
    发明公开
    REDUCING PLACEMENT CONFLICTS BETWEEN CONCURRENT VIRTUAL MACHINE ALLOCATIONS 审中-公开

    公开(公告)号：US20230362103A1

    公开(公告)日：2023-11-09

    申请号：US18026295

    申请日：2021-09-14

    申请人： Microsoft Technology Licensing, LLC

    发明人： Abhisek PAN ,  Eric Zhao HAO ,  Esaias Englebertus GREEFF

    IPC分类号： H04L47/74 ,  H04L41/0893 ,  G06F9/455

    CPC分类号： H04L47/745 ,  H04L41/0893 ,  G06F9/45558 ,  G06F2009/45595 ,  G06F2009/4557

    摘要： The present disclosure relates to systems, methods, and computer readable media for reducing placement conflicts between allocation agents tasked with allocating computing resources on a computing zone. For example, systems disclosed herein may identify placement conflicts between multiple allocation agents processing incoming placement requests on a computing zone. The systems disclosed herein may further modify a placement policy based on the number of placement conflicts by reducing one or more restrictions on rules for allocating computing resources. For example, the systems disclosed herein may enlarge a placement zone of server nodes when allocating computing resources to prevent or otherwise reduce conflicts between multiple allocation agents implementing the same placement policies. By reducing allocation restrictions and enlarging a placement zone, the systems described herein may significantly reduce placement conflicts while still optimizing placement of services on nodes of a cloud computing system.