Configuration agreement protocol method

1. A computer-implemented method comprising:

obtaining, by one or more processors of a first controller in a distributed network comprised of network components, concurrently with a second controller in the distributed network, a system requirement and a message from a logical bus, wherein the first controller and the second controller are communicatively coupled to the logical bus, and wherein the first controller is communicatively coupled to a first portion of the network components and the second controller is communicatively coupled to a second portion of the network components;

based on the message, solving, by the one or more processors of the first controller, concurrently with the second controller, the system requirement in a context of a current dynamic state of the network components, wherein the solving comprises applying a satisfiability modulo theories solver to generate new configurations of the network components, wherein the new configurations generated by the first controller are identical to the new configurations generated by the second controller, wherein the solving further comprises generating a reconfiguration order for configuring the network components with the new configurations, wherein following the reconfiguration order enables the first controller to maintain connectivity to the first portion of the network components when applying the new configurations, and wherein following the reconfiguration order enables the second controller to maintain connectivity to the second portion of the network components when applying the new configurations;

extracting, by the one or more processors of the first controller, configurations relevant to the first portion of the network components from the new configurations generated by the first controller;

extracting, by one or more processors of the second controller, configurations relevant to the second portion of the network components from the new configurations generated by the second controller, wherein the message causes the first controller and the second controller to wait a given interval before applying the configurations; and

applying, after the given interval and utilizing the reconfiguration order, by the one or more processors of the first controller, the configurations relevant to the first portion of the network components to the first portion of the network components, wherein the applying comprises applying the configurations to the first portion of the network components concurrently with the second controller applying, after the given interval and utilizing the reconfiguration order, configurations relevant to the second portion of the network components to the second portion of the network components, and wherein based on utilizing the reconfiguration order in the applying, each network component of the network components comprising the distributed system is provided with a consistent view of an order of events in the distributed system.

2. The method of claim 1 , further comprising:

obtaining, by the one or more processors of the first controller, based on the applying the configurations relevant to the first portion of the network components to the first portion of the network components, current configuration and state information from the first portion of the network components.

3. The method of claim 1 , wherein the solver is a deterministic solver.

4. The method of claim 2 , wherein the obtaining current configuration and state information from the first portion of the network components comprises obtaining an equivalent sequence of random bits to the sequence of random bits obtained by the second controller.

5. The method of claim 1 , further comprising:

obtaining, by the one or more processors of the first controller, current configuration and state information from the first portion of the network components and at least one message from the logical bus; and

converging, based on the applying the configurations to the first portion of the network components concurrently with the second controller applying configurations relevant to the second portion of the network components to the second portion of the network components, the network components to a configuration satisfying the system requirement.

6. The method of claim 1 , wherein the solving comprises:

computing, by the one or more processors of the first controller, a current dynamic state of all components as a constraint; and

forming, by the one or more processors of the first controller, a conjunction of the constraint with the system requirement and solving the system requirement based on the conjunction.

7. The method of claim 1 , further comprising:

obtaining, by one or more processors of a first controller from the logical bus, a message indicating that the second controller is inoperable;

extracting, by the one or more processors of the first controller, configurations relevant to the second portion of the network components; and

applying, by the one or more processors of the first controller, the configurations to the second portion of the network components.

8. A computer program product comprising:

a non-transitory computer readable storage medium readable by one or more processors and storing instructions for execution by the one or more processors for performing a method comprising:

obtaining, by one or more processors of a first controller in a distributed network comprised of network components, concurrently with a second controller in the distributed network, a system requirement and a message from a logical bus, wherein the first controller and the second controller are communicatively coupled to the logical bus, and wherein the first controller is communicatively coupled to a first portion of the network components and the second controller is communicatively coupled to a second portion of the network components;

based on the message, solving, by the one or more processors of the first controller, concurrently with the second controller, the system requirement in a context of a current dynamic state of the network components, wherein the solving comprises applying a satisfiability modulo theories solver to generate new configurations of the network components, wherein the new configurations generated by the first controller are identical to the new configurations generated by the second controller;

extracting, by the one or more processors of the first controller, configurations relevant to the first portion of the network components from the new configurations generated by the first controller;

extracting, by one or more processors of the second controller, configurations relevant to the second portion of the network components from the new configurations generated by the second controller, wherein the message causes the first controller and the second controller to wait a given interval before applying the configurations; and

applying, after the given interval and utilizing the reconfiguration order, by the one or more processors of the first controller, the configurations relevant to the first portion of the network components to the first portion of the network components, wherein the applying comprises applying the configurations to the first portion of the network components concurrently with the second controller applying, after the given interval and utilizing the reconfiguration order, configurations relevant to the second portion of the network components to the second portion of the network components, and wherein based on utilizing the reconfiguration order in the applying, each network component of the network components comprising the distributed system is provided with a consistent view of an order of events in the distributed system.

9. The computer program product of claim 8 , the method further comprising:

obtaining, by the one or more processors of the first controller, based on the applying the configurations relevant to the first portion of the network components to the first portion of the network components, current configuration and state information from the first portion of the network components.

10. The computer program product of claim 8 , wherein the solver is a deterministic solver.

11. The computer program product of claim 9 , wherein the obtaining current configuration and state information from the first portion of the network components comprises obtaining an equivalent sequence of random bits to the sequence of random bits obtained by the second controller.

12. The computer program product of claim 8 further comprising:

obtaining, by the one or more processors of the first controller, current configuration and state information from the first portion of the network components and at least one message from the logical bus; and

converging, based on the applying the configurations to the first portion of the network components concurrently with the second controller applying configurations relevant to the second portion of the network components to the second portion of the network components, the network components to a configuration satisfying the system requirement.

13. The computer program product of claim 8 , wherein the solving comprises:

computing, by the one or more processors of the first controller, a current dynamic state of all components as a constraint; and

forming, by the one or more processors of the first controller, a conjunction of the constraint with the system requirement and solving the system requirement based on the conjunction.

14. A system comprising:

a memory;

one or more processors in a distributed network comprised of network components in communication with the memory, comprising one or more processors of a first controller and one or more processors of a second controller; and

program instructions executable by the one or more processors via the memory to perform a method, the method comprising:

obtaining, by the one or more processors of the first controller, concurrently with a second controller in the distributed network, a system requirement and a message from a logical bus, wherein the first controller and the second controller are communicatively coupled to the logical bus, and wherein the first controller is communicatively coupled to a first portion of the network components and the second controller is communicatively coupled to a second portion of the network components;

based on the message, solving, by the one or more processors of the first controller, concurrently with the second controller, the system requirement in a context of a current dynamic state of the network components, wherein the solving comprises applying a satisfiability modulo theories solver to generate new configurations of the network components, wherein the new configurations generated by the first controller are identical to the new configurations generated by the second controller;

extracting, by the one or more processors of the first controller, configurations relevant to the first portion of the network components from the new configurations generated by the first controller;

extracting, by the one or more processors of the second controller, configurations relevant to the second portion of the network components from the new configurations generated by the second controller, wherein the message causes the first controller and the second controller to wait a given interval before applying the configurations; and

applying, after the given interval and utilizing the reconfiguration order, by the one or more processors of the first controller, the configurations relevant to the first portion of the network components to the first portion of the network components, wherein the applying comprises applying the configurations to the first portion of the network components concurrently with the second controller applying, after the given interval and utilizing the reconfiguration order, configurations relevant to the second portion of the network components to the second portion of the network components, and wherein based on utilizing the reconfiguration order in the applying, each network component of the network components comprising the distributed system is provided with a consistent view of an order of events in the distributed system.