Abstract: Techniques are described for safely overwriting decided slots and in-order fault tolerant consensus logs for replicated services. Using techniques described herein, a broad class of already-existing consensus log protocols may be enhanced/extended to safely overwrite decided slots and provide in-order fault tolerant consensus logs. When changing to a different epoch of a consensus log, slots determined to be unreachable may be changed/deleted even if slots after the gap were decided. A sequencer protocol establishes distributed consensus among a group of services. The sequencer protocol provides in-order execution of messages from multiple clients, and flow control from within the sequencer protocol, without offloading de-duplicate and reorder (DDRO) logic to the application layer. Fault tolerance is provided by egress cursors and ingress cursors, which provide awareness of which specific messages from each client sender should be executed next, even if those messages are not presently in the consensus log.

Abstract: Techniques are described for safely overwriting decided slots and in-order fault tolerant consensus logs for replicated services. Using techniques described herein, a broad class of already-existing consensus log protocols may be enhanced/extended to safely overwrite decided slots and provide in-order fault tolerant consensus logs. When changing to a different epoch of a consensus log, slots determined to be unreachable may be changed/deleted even if slots after the gap were decided. A sequencer protocol establishes distributed consensus among a group of services. The sequencer protocol provides in-order execution of messages from multiple clients, and flow control from within the sequencer protocol, without offloading de-duplicate and reorder (DDRO) logic to the application layer. Fault tolerance is provided by egress cursors and ingress cursors, which provide awareness of which specific messages from each client sender should be executed next, even if those messages are not presently in the consensus log.

Abstract: Techniques are described for safely overwriting decided slots and in-order fault tolerant consensus logs for replicated services. Using techniques described herein, a broad class of already-existing consensus log protocols may be enhanced/extended to safely overwrite decided slots and provide in-order fault tolerant consensus logs. When changing to a different epoch of a consensus log, slots determined to be unreachable may be changed/deleted even if slots after the gap were decided. A sequencer protocol establishes distributed consensus among a group of services. The sequencer protocol provides in-order execution of messages from multiple clients, and flow control from within the sequencer protocol, without offloading de-duplicate and reorder (DDRO) logic to the application layer. Fault tolerance is provided by egress cursors and ingress cursors, which provide awareness of which specific messages from each client sender should be executed next, even if those messages are not presently in the consensus log.

Abstract: Techniques are described for safely overwriting decided slots and in-order fault tolerant consensus logs for replicated services. Using techniques described herein, a broad class of already-existing consensus log protocols may be enhanced/extended to safely overwrite decided slots and provide in-order fault tolerant consensus logs. When changing to a different epoch of a consensus log, slots determined to be unreachable may be changed/deleted even if slots after the gap were decided. A sequencer protocol establishes distributed consensus among a group of services. The sequencer protocol provides in-order execution of messages from multiple clients, and flow control from within the sequencer protocol, without offloading de-duplicate and reorder (DDRO) logic to the application layer. Fault tolerance is provided by egress cursors and ingress cursors, which provide awareness of which specific messages from each client sender should be executed next, even if those messages are not presently in the consensus log.

Abstract: A method, system, and computer program for managing network connectivity between a plurality of nodes and a network resource. The network resource includes a primary path to the nodes and at least one redundant path. A detecting module is configured to determine if the primary path is unavailable to at least one affected node belonging to the plurality of nodes. A switching module is configured to presumptively switch the affected node to the redundant path if the primary path is unavailable. An initiating module configured to initiate a voting procedure among the plurality of nodes to select a new path to the network resource, wherein data flow at the affected node through the redundant path continues during the voting procedure.

Abstract: A method, system, and computer program for managing network connectivity between a plurality of nodes and a network resource. The network resource includes a primary path to the nodes and at least one redundant path. A detecting module is configured to determine if the primary path is unavailable to at least one affected node belonging to the plurality of nodes. A switching module is configured to presumptively switch the affected node to the redundant path if the primary path is unavailable. An initiating module configured to initiate a voting procedure among the plurality of nodes to select a new path to the network resource, wherein data flow at the affected node through the redundant path continues during the voting procedure.

Abstract: Subsequent to a loading of an application program within a first memory space, a first buffer is established within a second memory space and a second buffer is established within a third memory space. The first buffer is operated to store information corresponding to an execution of the application program. The second buffer is operated to store information corresponding to an operating system supporting the execution of the application program. Additionally, a third buffer is established within a fourth memory space, the third buffer being operated to store information indicative of the second memory space and the third memory space to thereby facilitate an examination of the first buffer and the second buffer without any cooperation from the application program and the operating system.