Generalized reversibility framework for common knowledge in scale-out database systems
A computer-implemented system with a processor provides a reversible transfer of an atomic token from one side of an imperfect link to the other, such that if the protocol (or process) on either side fails at a critical moment, the atomic token will be found on both sides to be verifiably incomplete, unless the protocol has completed successfully past its ‘irreversible threshold’ on both sides.
1 . A computer-implemented system comprising a processor coupled with a memory or a processor without coupled memory for a reversible transfer of an atomic token, comprising:
an entangled link connecting two computing devices, wherein the entangled link is a bidirectional bipartite link comprising two complementary halves, each complementary half maintaining temporal intimacy through an exchange of a packet of shared information; and
a consensus tile, the consensus tile comprising a plurality of interconnected cells, wherein each cell in the plurality of interconnected cells is connected to (a) at least two neighboring cells forming a sub-cluster; and (b) a self-cell forming a Cellular Fabrix, the self-cell acting as a coordinator for any transaction of the atomic token, wherein an Earth Non-Time Transaction (ENTT) layer within the Cellular Fabrix is configured to harvest a fully conserved atomic token from an Earth Non-Time Liveness (ENTL) layer and initiate its transfer via an Atomic Information Transfer (AIT) protocol over the entangled link, the harvesting step occurring upon consensus approval within the sub-cluster and prior to entry into the entangled link's single state machine spanning both halves, the coordination comprising:
(i) sending a message to each of the neighboring cells within the consensus tile;
(ii) receiving acknowledgement of the message from each of the neighboring cells within the consensus tile;
(iii) selecting a neighboring cell for performing a transaction from each of the neighboring cells sending acknowledgment;
(iv) putting the consensus tile into an entangled state, the entangled state comprising putting the neighboring cells in a state of superposition of commit or abort, wherein the self-cell issues the Atomic Information Transfer (AIT) instructions on the entangled link;
(v) receiving an acceptance of the AIT from the neighboring cell, the acceptance indicates whether the neighboring cell accepted the transaction;
(vi) receiving a rejection of the AIT from the neighboring cell, the rejection indicates the neighboring cell rejects the transaction;
(vii) completing the AIT transfer to the neighboring cell accepting the AIT;
(viii) reversing the AIT to the neighboring cell rejecting the AIT; and
(ix) returning the consensus tile to an ENTL compliant state, indicating the completion of the transaction,
wherein cells along a transfer path between the wherein the protocol comprises the reversible transfer of the atomic token from one side of the entangled link to the other side of the entangled link, such that if the protocol on either side of the entangled link fails, the atomic token is found on both sides of the entangled link to be incomplete.
2 . The computer-implemented system of claim 1 , wherein the protocol further comprises combining ENTL with ENTT on the Cellular Fabrix.
3 . The computer-implemented system of claim 2 , wherein the Cellular Fabrix allows direct connection among cells within a mesh of cells, and wherein the cells in the sub-cluster can independently reach a consensus within the sub-cluster as a sub-service to the recovery of the consensus tile as a whole.
4 . The computer-implemented system of claim 1 , wherein the AIT allows information in the form of the atomic token to be transferred from one side of the entangled link to the other side of the entangled link, and wherein the atomic token may exist in an indefinite state of entanglement on both sides of the entangled link.
5 . The computer-implemented system of claim 1 , wherein the ENTL maintains a liveness relationship between an application on a computer through a plurality of functional layers in an operating system of the computer through to an application on another computer, such that an application sending information through the atomic token is unable to observe the completion of the transaction unless the application on another computer has conserved the information.
6 . The computer-implemented system of claim 1 , wherein the protocol is complete when the transfer of the atomic token passes an irreversible threshold on both sides of the entangled link.
7 . The computer-implemented system of claim 1 , wherein the protocol is reversible, and wherein the system differentiates common knowledge exchanged between an irreversible zone and common knowledge exchanged between a reversible zone.
8 . The computer-implemented system of claim 1 , wherein the atomic token found on each side of the link is incomplete unless a transfer of information within the atomic transfer is complete after passing through a reversible zone, and wherein the atomic token is conserved within the entangled link and the consensus tile.
9 . A computer-implemented system comprising a processor coupled with a memory or a processor without coupled memory for a reversible transfer of an atomic token, comprising:
an entangled link connected two computing devices, wherein the entangled link is a bidirectional bipartite link comprising two complementary halves, each complementary half maintaining temporal intimacy through a reversible, symmetric, idempotent exchange of a packet of shared information; and
a consensus tile, the consensus tile comprising a plurality of interconnected cells, wherein each cell in the plurality of interconnected cells is connected to (a) at least two neighboring cells forming a sub-cluster; and (b) a self-cell forming a Cellular Fabrix, the self-cell acting as a coordinator for any transaction of an atomic token, wherein an Earth Non-Time Transaction (ENTT) layer within the Cellular Fabrix is configured to harvest a fully conserved atomic token from an Earth Non-Time Liveness (ENTL) layer and initiate its transfer via an Atomic Information Transfer (AIT) protocol over the entangled link, the harvesting step occurring upon consensus approval within the sub-cluster and prior to entry, the coordination comprising:
(i) sending a message to each of the neighboring cells within the consensus tile;
(ii) receiving acknowledgement of the message from each of the neighboring cells within the consensus tile;
(iii) selecting a neighboring cell for performing a transaction from each of the neighboring cells sending acknowledgment;
(iv) putting the consensus tile into an entangled state, the entangled state comprising putting the neighboring cells in a state of superposition of commit or abort, wherein the self-cell issues the Atomic Information Transfer (AIT) instructions on the entangled link;
(v) receiving an acceptance of the AIT from the neighboring cell, the acceptance indicates whether the neighboring cell accepted the transaction;
(vi) receiving a rejection of the AIT from the neighboring cell, the rejection indicates the neighboring cell rejects the transaction;
(vii) completing the AIT transfer to the neighboring cell accepting the AIT;
(viii) reversing the AIT to the neighboring cell rejecting the AIT; and
(ix) returning the consensus tile to an ENTL compliant state, indicating the completion of the transaction,
wherein the protocol comprises the reversible transfer of the packet of information in the form of an atomic token from one side of the entangled link to the other side of the entangled link, the entangled link is a bipartite link comprising two complementary halves, such that if the protocol on either side of the entangled link fails, the atomic token found on both sides of the entangled link is incomplete and unobservable.
10 . The computer-implemented system of claim 9 , wherein the protocol further comprises combining Earth Non-Time Liveness (ENTL) with Earth Non-Time Transaction (ENTT) on the Cellular Fabrix.
11 . The computer-implemented system of claim 10 , wherein the Cellular Fabrix allows direct connection among the cells within a mesh of cells, and wherein the cells in the sub-cluster can independently reach a consensus within the sub-cluster as a sub-service to the recovery of the consensus tile as a whole.
12 . The computer-implemented system of claim 10 , wherein the ENTL maintains liveness within the entangled link using an atomic token, and wherein the ENTT harvests the atomic token to provide Atomic Information Transfer (AIT), allowing the atomic token to be transferred from one side of the entangled link to the other side of the entangled link.
13 . The computer-implemented system of claim 12 , wherein the ENTL maintains a liveness relationship between an application on a computer through a plurality of functional layers in an operating system of the computer through to an application on another computer, such that an application sending information through the atomic token is unable to observe the completion of the transaction unless the application on another computer has conserved the information.
14 . The computer-implemented system of claim 9 , wherein the protocol is complete when the transfer of the atomic token passes an irreversible threshold on both sides of the entangled link.
15 . The computer-implemented system of claim 9 , wherein the protocol is reversible.
16 . The computer-implemented system of claim 9 , wherein the atomic token found on each side of the entangled link is incomplete unless a transfer of information within the atomic token is complete after passing through a reversible zone.