专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

91. 发明授权

US11188355B2 Data plane program verification 有权
公开(公告)号：US11188355B2
公开(公告)日：2021-11-30
申请号：US16022601
申请日：2018-06-28
申请人： Barefoot Networks, Inc.
发明人： Jeongkeun Lee , Cole Nathan Schlesinger , John Nathan Foster , Han Wang , Robert Soule , William Hallahan , Steffen Julif Smolka , Mon Jed Liu
IPC分类号： G06F11/36 , G06F8/51 , G06F9/445 , H04L12/741
摘要： 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.

92. 发明授权

US11102070B1 Dynamically reconfiguring data plane of forwarding element to account for power consumption 有权
公开(公告)号：US11102070B1
公开(公告)日：2021-08-24
申请号：US16372214
申请日：2019-04-01
申请人： Barefoot Networks, Inc.
发明人： Remy Chang
IPC分类号： H04L12/863 , H04L12/24 , H04L12/721 , H04L12/935 , H04L12/741 , G06F1/3234 , G06F1/04 , H04L29/06 , H04L12/947
摘要： Some embodiments of the invention provide a network forwarding element that can be dynamically reconfigured to adjust its data message processing to stay within a desired operating temperature or power consumption range. In some embodiments, the network forwarding element includes (1) a data-plane forwarding circuit (“data plane”) to process data tuples associated with data messages received by the IC, and (2) a control-plane circuit (“control plane”) for configuring the data plane forwarding circuit. The data plane includes several data processing stages to process the data tuples. The data plane also includes an idle-signal injecting circuit that receives from the control plane configuration data that the control plane generates based on the IC's temperature. Based on the received configuration data, the idle-signal injecting circuit generates idle control signals for the data processing stages. Each stage that receives an idle control signal enters an idle state during which the majority of the components of that stage do not perform any operations, which reduces the power consumed and temperature generated by that stage during its idle state.

93. 发明授权

US11080252B1 Proxy hash table 有权
公开(公告)号：US11080252B1
公开(公告)日：2021-08-03
申请号：US16271669
申请日：2019-02-08
申请人： Barefoot Networks, Inc.
发明人： Patrick Bosshart , Changhoon Kim
IPC分类号： G06F12/00 , G06F16/22 , G06F3/06
摘要： Some embodiments of the invention provide novel methods for storing data in a hash-addressed memory and retrieving stored data from the hash-addressed memory. In some embodiments, the method receives a search key and a data tuple. The method then uses a first hash function to generate a first hash value from the search key, and then uses this first hash value to identify an address in the hash-addressed memory. The method also uses a second hash function to generate a second hash value, and then stores this second hash value along with the data tuple in the memory at the address specified by the first hash value. To retrieve data from the hash-addressed memory, the method of some embodiments receives a search key. The method then uses the first hash function to generate a first hash value from the search key, and then uses this first hash value to identify an address in the hash-addressed memory. At the identified address, the hash-addressed memory stores a second hash value and a data tuple. The method retrieves a second hash value from the memory at the identified address, and compares this second hash value with a third hash value that the method generates from the search key by using the second hash function. When the second and third hash values match, the method retrieves the data tuple that the memory stores at the identified address.

94. 发明授权

US11076026B1 Packet generation in the data plane of a forwarding element 有权
公开(公告)号：US11076026B1
公开(公告)日：2021-07-27
申请号：US16048760
申请日：2018-07-30
申请人： Barefoot Networks, Inc.
发明人： Steven Licking , Chaitanya Kodeboyina , Julianne Zhu , Changhoon Kim
IPC分类号： H04L12/70 , H04L29/06 , H04L12/741 , H04L12/26 , H04L12/935 , H04L12/743
摘要： A method of generating packets in the data plane of a forwarding element is provided. The method selects a configuration set from a plurality of configuration sets of based on a triggering event. The method generates a set of packets using a packet template that corresponds to the selected configuration set. The method sets values of a plurality of the packet fields to identify different information such as the destination of packets. The method places the generated set of packets into an ingress pipeline of the forwarding element.

95. 发明授权

US10949199B1 Copying packet data to mirror buffer 有权
公开(公告)号：US10949199B1
公开(公告)日：2021-03-16
申请号：US15836528
申请日：2017-12-08
申请人： Barefoot Networks, Inc.
发明人： Xiaozhou Li , Jeongkeun Lee , Srivathsa Dhruvanarayan , Anurag Agrawal , Changhoon Kim , Alain Loge
IPC分类号： H04L12/66 , G06F9/30 , G06F9/38 , G06F9/28 , H04W8/30 , H04L12/743
摘要： Some embodiments provide a method for a network forwarding integrated circuit (IC). The method receives packet data with an instruction to copy a portion of the packet data to a temporary storage of the network forwarding IC. The portion is larger than a maximum entry size of the temporary storage. The method generates a header for each of multiple packet data sections for storage in entries of the temporary storage, with each packet data section including a sub-portion of the packet data portion. The method sends the packet data sections with the generated headers to the temporary storage for storage in multiple separate temporary storage entries.

96. 发明申请

US20210006638A1 STORING PACKET DATA IN MIRROR BUFFER 有权
公开(公告)号：US20210006638A1
公开(公告)日：2021-01-07
申请号：US16994353
申请日：2020-08-14
申请人： Barefoot Networks, Inc.
发明人： Parag D. Bhide , Alain LOGE , Chaitanya KODEBOYINA , Anurag AGRAWAL
IPC分类号： H04L29/08
摘要： Some embodiments provide a method for a hardware forwarding element. Based on a set of characteristics of a packet, the method determines to copy a packet to a particular temporary storage of a set of temporary storages of the hardware forwarding element. Based on a property of the particular temporary storage, the method stores only a particular portion of the packet in the particular temporary storage. A same size portion of each packet copied to the particular temporary storage is stored in the particular temporary storage.

97. 发明授权

US10826815B2 Verification of access control list rules provided with a message 有权
公开(公告)号：US10826815B2
公开(公告)日：2020-11-03
申请号：US15948990
申请日：2018-04-09
申请人： Barefoot Networks, Inc.
发明人： Changhoon Kim , Jeongkeun Lee , Milad Sharif , Robert Soule
IPC分类号： H04L12/751 , H04L12/721 , H04L12/24 , H04L12/741 , H04L12/26 , H04L29/06 , H04L12/773 , H04L9/06
摘要： Some embodiments provide a method for a forwarding element (FE) operating in a network of FEs. The method receives a data message with an access control list (ACL) rule and a first digest for the ACL rule appended to the data message. The ACL rule specifies that the packet is allowed to be sent through the network. The method verifies the ACL rule by computing a second digest from the ACL rule using a secret key and comparing the first digest to the second digest. The method determines whether the packet matches the ACL rule by comparing values in headers of the data message to values specified in the ACL rule. The method only forwards the data message if the ACL rule is verified and the packet matches the ACL rule.

98. 发明授权

US10757028B1 Configurable forwarding element deparser 有权
公开(公告)号：US10757028B1
公开(公告)日：2020-08-25
申请号：US15678549
申请日：2017-08-16
申请人： Barefoot Networks, Inc.
发明人： Gregory C. Watson , Srivathsa Dhruvanarayan , Glen Raymond Gibb , Constantine Calamvokis , Aled Justin Edwards
IPC分类号： H04L29/06 , H04L12/851 , H04L29/08 , H04L12/715 , H04L12/741
摘要： Some embodiments provide a method for a hardware forwarding element deparser. The method receives, from a match-action pipeline, (i) packet header field values stored in a set of data containers and (ii) a set of data indicating which packet header fields, of multiple possible packet header fields, to include in a packet constructed from the packet header field values. The method uses the received set of data and a list of data container identifiers for multiple possible packet header fields to generate an ordered list of references to data containers of the set of data containers. Based on the ordered list, the method constructs the packet using the packet header field values stored in the referenced data containers.

99. 发明授权

US10708189B1 Priority-based flow control 有权
公开(公告)号：US10708189B1
公开(公告)日：2020-07-07
申请号：US15374820
申请日：2016-12-09
申请人： Barefoot Networks, Inc.
发明人： Anurag Agrawal , Yi Li
IPC分类号： H04L12/825 , H04L12/935 , H04L12/801 , H04L12/861 , H04L12/26 , H04L12/823 , H04L12/851 , H04L12/835 , H04L12/863 , H04L12/931
摘要： Some embodiments provide a method for a hardware forwarding element. The method adds a received packet to a buffer. The method determines whether adding the packet to the buffer causes the buffer to pass one of multiple flow control thresholds, each of which corresponds to a different packet priority. When adding the packet to the buffer causes the buffer to pass a particular flow control threshold corresponding to a particular priority, the method generates a flow control message for the particular priority.

100. 发明授权

US10599603B1 Forwarding element integrated circuit chip with separate I/O and switching tiles 有权
公开(公告)号：US10599603B1
公开(公告)日：2020-03-24
申请号：US15896018
申请日：2018-02-13
申请人： Barefoot Networks, Inc.
发明人： Anurag Agrawal , Alain Loge
IPC分类号： G06F13/40 , H03K17/81
摘要： Some embodiments of the invention provide a novel method and chip design for a forwarding chip, that decouples input-output (IO) technology requirements from the technology used in a high bandwidth switching ASIC. In some embodiments, a main die including a latest generation switching chip is coupled to a set of IO dies (e.g., SerDes dies). The main die, in some embodiments, uses a latest technology (e.g., 7 nm nodes) while the IO dies, in some embodiments, use a more mature technology (e.g., 16 nm nodes). Some embodiments provide multiple IO dies that each provide connectivity to external components to the high bandwidth switching ASIC (e.g., a core ASIC die). The multiple dies are mounted on a silicon interposer, in some embodiments, using microbumps to make the connections between the dies and the silicon interposer. Additional connections to the pad are made from each die including to general purpose input-output (GPIO) connections. In some embodiments, the main die and the IO dies make all connections through microbumps on the silicon interposer and some microbumps connect to external components using through-silicon vias (TSVs). The microbumps of the main die, in some embodiments, are arranged so that they are mirrored on either side of the main die and rotationally invariant under a 180 degree rotation. IO dies, in some embodiments, are mounted in a first orientation to connect to a first side of the main die and a second rotated (by 180 degrees) orientation to connect to a second opposite side of the main die.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式