Reactor is the generic name for a component that interacts with the p2p communication layer.

The interaction between a reactor and the p2p layer is in both directions. To become a reactor, the component has to implement the p2p.Reactor interface and register with the p2p layer. The p2p layer invokes invokes the reactor to process relevant events, for instance, to deliver incoming messages and to inform when it has established connections to peers. The reactor invokes the p2p layer to send message to peers and to control its operation, for instance, for disconnecting from a peer.

Definition of Done

This interaction is relatively complex and needs to be properly documented:

• spec/p2p: Specify the operation of a Reactor #714
  • Improve the documentation of the p2p.Reactor interface methods
  • Describe the interaction p2p layer <-> Reactor using a Grammar
  • Model and formalize the operation of a Reactor using Quint
• spec/p2p: Document the methods offered by the p2p layer to reactors #758