USING TRANSACTIONS TO COMPUTE AND PROPAGATE NETWORK FORWARDING STATE

For a controller for managing a network comprising several managed forwarding elements that forward data in the network, a method for configuring a managed forwarding element is described. The method generates a first set of flow entries for defining forwarding behaviors of the managed forwarding element based on a current network policy for a logical network implemented in the several managed forwarding elements. The method sends the first set of flow entries to the managed forwarding element in order for the managed forwarding element to forward data that the managed forwarding element directly receives from an end machine based on the current network policy. The method generates a second set of flow entries for modifying forwarding behaviors of the managed forwarding element based on a new network policy for the logical network. The method sends the second set of flow entries to the managed forwarding element in order for the managed forwarding element to forward the data based on the new network policy. L'invention concerne un procédé appliqué à un contrôleur servant à gérer un réseau comprenant plusieurs éléments d'acheminement gérés, qui acheminent des données dans le réseau, ledit procédé servant à configurer un élément d'acheminement géré. Ledit procédé génère un premier ensemble d'entrées de flux pour définir des comportements d'acheminement de l'élément d'acheminement géré, sur la base d'une politique de réseau en cours pour un réseau logique mise en œuvre dans les différents éléments d'acheminement gérés. Selon ledit procédé, le premier ensemble d'entrée de flux est envoyé à l'élément d'acheminement géré afin que ledit élément d'acheminement géré transmette les données qu'il reçoit directement d'une machine d'extrémité sur la base de la politique de réseau en cours. Selon ledit procédé, un deuxième ensemble d'entrées de flux est généré pour modifier les comportements d'acheminement de l'élément d'acheminement géré, sur la base d'une nouvelle politique de réseau pour ledit réseau logique. Selon ledit procédé, le deuxième ensemble d'entrées de flux est envoyé à l'élément d'acheminement géré de manière que ce dernier transmette les données sur la base de la nouvelle politique de réseau.