Arista Networks, Inc.

David Cronin

Sharad Birmiwal

Matthieu Loriol

Keon Vafai

Oscar Harry Frasier

Paraic Gallagher

Rutger Antal Beltman

Processing a set containment operation that includes a combination of singleton values and value ranges includes first searching the subset of singleton values. The first search is performed in O(log(n)) time, where n is the number of singleton values. If the first search does not find the target value in the singleton subset, then a second search is performed on each value range. The second search is performed in O(n) time where n is the number of value ranges.

Set containment operation with range constructs

A sandbox execution environment is described. The sandbox environment simulates the execution environment of a live network device. The sandbox environment allows a user to write and test RCF (routing control function) functions without having to configure a device for testing purposes. The sandbox environment accepts global variables to initialize the context for executing the user-provided RCF functions such as path attributes and environmental variables.

Sandbox environment for evaluating arbitrary route control function (RCF) program statements

The present disclosure defines an 'unset' data state for attributes used in RCF functions. An attribute is deemed to be unset when it has not been set via an assignment statement in an RCF function or in an execution environment outside of the RCF execution environment. The present disclosure describes mechanisms for processing expressions in an RCF function that include one or more unset attributes in a predictable manner.

Default data state in routing control functions

A routing policy includes policy directives and policy functions. Execution of the routing policy includes invoking a policy function at a point of application in a policy directive. Execution of the invoked policy function can include making any number of nested function calls. When an EXIT statement is encountered in a nested policy function, execution of the policy function terminates and execution of the routing policy continues immediately with the policy directive following the point of application, irrespective of how deeply nested in the invocation hierarchy the policy function is.

Immediate termination of policy functions

Systems, methods, and computer-readable media are disclosed for annotating configuration language function evaluation. One or more configuration language expressions may be received by a configuration language development environment. The one or more configuration language expressions may be parsed into one or more atomic configuration language expressions. Based on a particular route at the specified point of execution in an application, the one or more configuration language expressions may be evaluated. The annotations may be rendered to provide an explanation of an underlying control flow.

Explanatory configuration function annotation

Techniques described herein relate to performing an analysis of application of a routing policy to a route. Specifically, the techniques relate to a command that may be executed to evaluate the steps of the routing policy (e.g., a route map). A copy of a live route map may be made. Receipt of the command may cause the steps of the routing policy to be simulated using the copy. The simulation may return results of analyzing the outcome of each step in the routing policy. Based on the results, an updated routing policy copy may be generated that changes one or more steps in the routing policy. The updated routing policy copy may then be re-simulated to determine if the changes caused the intended effect. If so, the live routing policy may be replaced with the updated routing policy copy.

Growing community of inventors

Dundalk, Ireland

David Cronin