公开(公告)号：US20200274806A1

公开(公告)日：2020-08-27

申请号：US16810727

申请日：2020-03-05

Applicant: Barefoot Networks, Inc.

Inventor： Changhoon KIM ,  Jeongkeun LEE ,  Xiaozhou LI ,  Masoud Moshref JAVADI ,  Georgios NIKOLAIDIS ,  Ethan M. SPIEGEL

IPC: H04L12/801 ,  H04L12/933 ,  H04L12/26 ,  H04L12/863

Abstract: Some embodiments of the invention provide a method for reporting congestion in a network that includes several forwarding elements. In a data plane circuit of one of the forwarding elements, the method detects that a queue in the switching circuit of the data plane circuit is congested, while a particular data message is stored in the queue as it is being processed through the data plane circuit. In the data plane circuit, the method then generates a report regarding the detected queue congestion, and sends this report to a data collector external to the forwarding element. To send the report, the data plane circuit in some embodiments duplicates the particular data message, stores it in the duplicate data message information regarding the detected queue congestion, and sends the duplicate data message to the external data collector.

公开(公告)号：US20230027453A1

公开(公告)日：2023-01-26

申请号：US17877512

申请日：2022-07-29

Applicant: Barefoot Networks, Inc.

Inventor： Xiaozhou LI ,  Jeongkeun LEE ,  Changhoon KIM ,  John Nathan FOSTER

IPC: H04L49/00 ,  H04L45/00 ,  H04L45/745 ,  H04L45/74 ,  G06F3/06

Abstract: Some embodiments of the invention provide a forwarding element (e.g., a switch, a router, etc.) that has one or more data plane, message-processing pipelines with key-value processing circuits. The forwarding element's data plane key-value circuits allow the forwarding element to perform key-value services that would otherwise have to be performed by data compute nodes connected by the network fabric that includes the forwarding element. In some embodiments, the key-value (KV) services of the forwarding element and other similar forwarding elements supplement the key-value services of a distributed set of key-value servers by caching a subset of the most commonly used key-value pairs in the forwarding elements that connect the set of key-value servers with their client applications. In some embodiments, the key-value circuits of the forwarding element perform the key-value service operations at message-processing line rates at which the forwarding element forwards messages to the data compute nodes and/or to other network forwarding elements in the network fabric.

公开(公告)号：US20210119939A1

公开(公告)日：2021-04-22

申请号：US17134110

申请日：2020-12-24

Applicant: Barefoot Networks, Inc.

Inventor： Yi LI ,  Michael FENG ,  Anurag AGRAWAL ,  Jeongkeun LEE ,  Changhoon KIM ,  Remy CHANG

IPC: H04L12/935 ,  H04L12/933 ,  H04L12/709 ,  H04L12/863 ,  H04L12/823

Abstract: Some embodiments provide a method for an ingress packet processing pipeline of a network forwarding integrated circuit (IC). The ingress packet processing pipeline is for receiving packets from a port of the network forwarding IC and processing the packets to assign different packets to different queues of a traffic management unit of the network forwarding IC. The method receives state data from the traffic management unit. The method stores the state data in a stateful table. The method assigns a particular packet to a particular queue based on the state data received from the traffic management unit and stored in the stateful table.

公开(公告)号：US20210099366A1

公开(公告)日：2021-04-01

申请号：US17042058

申请日：2019-03-08

Applicant: Barefoot Networks, Inc.

Inventor： Georgios NIKOLAIDIS ,  Jeongkeun LEE ,  Changhoon KIM

IPC: H04L12/26 ,  H04L12/823 ,  H04L12/24 ,  H04L12/761 ,  H04L12/721 ,  H04L12/715 ,  H04L12/743 ,  H04L12/801 ,  H04L12/851 ,  H04L12/935 ,  H04L12/861

Abstract: Some embodiments of the invention provide a data-plane forwarding circuit (data plane) that can be configured to identify large data message flows that it processes for forwarding in a network. In this document, large data message flows are referred to as heavy hitter flows. To perform its forwarding operations, the data plane includes several data message processing stages that are configured to process the data tuples associated with the data messages received by the data plane. In some embodiments, parts of the data plane message-processing stages are also configured to implement a heavy hitter detection (HHD) circuit. The operations of the data plane's message processing stages are configured by a control plane of the data plane's forwarding element in some embodiments.

公开(公告)号：US20210105230A1

公开(公告)日：2021-04-08

申请号：US17092136

申请日：2020-11-06

Applicant: Barefoot Networks, Inc.

Inventor： Xiaozhou LI ,  Jeongkeun LEE ,  Changhoon KIM ,  John Nathan FOSTER

IPC: H04L12/935 ,  H04L12/741 ,  H04L12/747 ,  G06F3/06

Abstract: Some embodiments of the invention provide a forwarding element (e.g., a switch, a router, etc.) that has one or more data plane, message-processing pipelines with key-value processing circuits. The forwarding element's data plane key-value circuits allow the forwarding element to perform key-value services that would otherwise have to be performed by data compute nodes connected by the network fabric that includes the forwarding element. In some embodiments, the key-value (KV) services of the forwarding element and other similar forwarding elements supplement the key-value services of a distributed set of key-value servers by caching a subset of the most commonly used key-value pairs in the forwarding elements that connect the set of key-value servers with their client applications. In some embodiments, the key-value circuits of the forwarding element perform the key-value service operations at message-processing line rates at which the forwarding element forwards messages to the data compute nodes and/or to other network forwarding elements in the network fabric.

公开(公告)号：US20210105220A1

公开(公告)日：2021-04-08

申请号：US17073027

申请日：2020-10-16

Applicant: Barefoot Networks, Inc.

Inventor： Jeongkeun LEE ,  Yi LI ,  Michael FENG ,  Srivathsa Dhruvanarayan ,  Anurag AGRAWAL

IPC: H04L12/869 ,  H04L12/861 ,  H04L12/935 ,  H04L12/801 ,  H04L12/863 ,  H04L29/06 ,  H04L29/08

Abstract: Some embodiments provide a method for a hardware forwarding element that includes multiple queues. The method receives a packet at a multi-stage processing pipeline of the hardware forwarding element. The method determines, at one of the stages of the processing pipeline, to modify a setting of a particular one of the queues. The method stores an identifier for the particular queue and instructions to modify the queue setting with data passed through the processing pipeline for the packet. The stored information is subsequently used by the hardware forwarding element to modify the queue setting.

公开(公告)号：US20220083352A1

公开(公告)日：2022-03-17

申请号：US17537301

申请日：2021-11-29

Applicant: Barefoot Networks, Inc.

Inventor： Jeongkeun LEE ,  Cole Nathan Schlesinger ,  John Nathan FOSTER ,  Han Wang ,  Robert SOULE ,  William Hallahan ,  Steffen Julif Smolka ,  Mon Jed LIU

IPC: G06F9/445 ,  G06F11/36 ,  G06F8/51 ,  H04L12/741

Abstract: A method for verifying data plane programs is provided in some embodiments. Because the behavior of a data plane program (e.g., a program written in the P4 language) is determined in part by the control plane populating match-action tables with specific forwarding rules, in some embodiments, programmers are provided with a way to document assumptions about the control plane using annotations (e.g., in the form of “assertions” or “assumptions” about the state based on the unknown control plane contribution). In some embodiments, annotations are added automatically to verify common properties, including checking that every header read or written is valid, that every expression has a well-defined value, and that all standard metadata is manipulated correctly. The method in some embodiments translates programs from a first language (e.g., P4) to a second language (e.g., Guarded Command Language (GCL)) for verification by a satisfiability modulo theory (SMT) solver.

公开(公告)号：US20200344138A1

公开(公告)日：2020-10-29

申请号：US16870785

申请日：2020-05-08

Applicant: Barefoot Networks, Inc.

Inventor： Georgios NIKOLAIDIS ,  Jeongkeun LEE ,  Masoud Moshref JAVADI

IPC: H04L12/26 ,  H04L12/823 ,  H04L12/24 ,  H04L12/761 ,  H04L12/721 ,  H04L12/715 ,  H04L12/743 ,  H04L12/801 ,  H04L12/851 ,  H04L12/935 ,  H04L12/861

Abstract: Some embodiments of the invention provide a data-plane forwarding circuit (data plane) that has a flow-size detection circuit that generates flow-size density distribution for all or some of the data message flows that it processes for forwarding in a network. The flow-size (FS) detection circuit in some embodiments generates statistical values regarding the processed data message flows, and based on these statistical values, it generates a FS density distribution that expresses a number of flows in different flow-size sub-ranges in a range of flow sizes. In some embodiments, the density distribution is a probabilistic density distribution that is based on probabilistic statistical values that the flow-size detection circuit generates for the data message flows that are processed for forwarding within the network. The FS detection circuit in some embodiments generates probabilistic statistical values for the data message flows by generating hash values from header values of the data message flows and accumulating flow-size values at memory locations identified by the generated hash values. In some embodiments, the generated hashes for different data message flows can collide, which results in the accumulated flow-size values being probabilistic values that might have a certain level of inaccuracy.

公开(公告)号：US20200313999A1

公开(公告)日：2020-10-01

申请号：US16833227

申请日：2020-03-27

Applicant: Barefoot Networks, Inc.

Inventor： Jeongkeun LEE ,  Georgios NIKOLAIDIS ,  Andre LAM ,  Remy CHANG ,  Joon-Myung KANG ,  Ashkan NIKRAVESH ,  Ramkumar KRISHNAMOORTHY ,  Alain LOGE

IPC: H04L12/26 ,  H04L29/06

Abstract: Embodiments described herein describe a network tester that is configured to perform packet modification at an egress pipeline of a programmable packet engine. A packet stream is received at an egress pipeline of an output port of the programmable packet engine, wherein the output port includes a packet modifier. Packets of the packet stream are modified at the packet modifier. The packet stream including modified packets is transmitted through an egress pipeline of the output port.