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 to manage Common Knowledge, comprising a consensus tile, wherein the consensus tile comprises a set of multiple cells, each directly connected to its neighbor and to a coordinator forming a Cellular Fabrix, wherein the Cellular Fabrix allows direct communication between multiple cells until one of the cells aborts the communication.
2. The computer-implemented system according to claim 1 , wherein managing Common Knowledge, comprises:
sending a message to each of the multiple cells within the Cellular Fabrix;
obtaining acknowledgment from each of the neighbors by the coordinator;
selecting the cells to participate in a cluster operation; and
putting the cells participating in the cluster operation into an entangled state, wherein all the cells participating in the cluster operation are prepared in a state of superposition of commit and abort.
3. The computer-implemented system according to claim 2 , wherein
the coordinator issues an Atomic Information Transfer (AIT) on each link along with a conventional Transaction ID as a payload;
receives acceptance of the AIT from each of its neighbor cells, indicating that the neighbor calls have accepted the transaction or a rejection of the AIT from one or more of its neighbor cells; and
issue a resolution with the completion of the AIT transfer to neighbor cells accepting AIT transfer on their links and undo the AIT transfer from the neighbor cells rejecting AIT transfer on their links.
4. The computer-implemented system according to claim 3 , wherein issuing a resolution indicates completion to the coordinator and an exit from the entangled state,
wherein the coordinator returns all neighbors to a liveness state, indicating completion of the cluster operation and permission to drop all knowledge of the transaction from the link.
5. The computer-implemented system according to claim 2 , wherein every cell participating in a cluster operation can be a coordinator for its transaction.
6. The computer-implemented system according to claim 1 , wherein the consensus tile is formed by directly connecting each cell to its neighbors.
7. The computer-implemented system according to claim 2 , wherein an ENTL/ENTT based communication protocol creates AIT token events for a Generalized Reversibility Framework (GRE) for Common Knowledge.
8. The computer-implemented system according to claim 7 , wherein functions encoded into the AIT token manage transaction “commit” or “rollback”.
9. The computer-implemented system according to claim 7 , wherein functions encoded into the AIT token manage transaction integrity.
10. The computer-implemented system according to claim 7 , wherein functions encoded into the AIT token manage transaction security.
11. The computer-implemented system according to claim 7 , wherein the GRE for Common Knowledge manages a consensus is managed.