Abstract: A method of transmitting a message and a distributed computer system therefor are disclosed. The message is to be transmitted from a first actor to a second actor, the first actor is hosted by an actor system implemented in the distributed computer system. The method includes generating the message that has payload data and a trigger for triggering verification of whether the second actor has successfully received the message. The method includes sending, the message to the second actor. The method includes in response to determining, in response to the first trigger, that the second actor has not successfully received the message, instructing the first actor that the message is not received by the second actor.

Abstract: A distributed software system and a method for routing transactions for execution are disclosed. The distributed software system has a database sub-system partitioned into shards and a transaction routing sub-system for ordering transactions. The transaction routing sub-system has a plurality of coordinator ports and a plurality of mediator ports. The coordinator ports receive transactions to be executed by the shards and generate local per-shard orders for the received transactions. The local per-shard orders are received by the plurality of mediator ports which are pre-assigned with respective shards. The mediator ports generate centralized per-shard orders of execution based on the received per-shard orders. A given centralized per-shard order of execution is an order of execution of transactions received by a given mediator port and that are destined to be executed by a given shard that is pre-assigned to the given mediator port.

Abstract: A computer-implemented method for implementing a distributed computer system for processing data and a distributed computer system for processing the data are provided. The method includes receiving an indication of a redundancy algorithm to be used for generating redundancy-data based on the data. The method also includes receiving an indication of a failure-model algorithm to be used for confirming successful storage of the data to the client. The method also includes at a data storage moment in time instructing the set of storage devices to store the redundancy-data. The method also includes, at a data access moment time, receiving an indication of an access request for the data. The method also includes, at a data access moment time, applying the failure-model algorithm onto notifications received from the set of storage devices for non-ambiguously determining whether a confirmation of successful storage of the data has been provided to the client.

Abstract: A method and system for processing data is disclosed. The system has a storage for storing a log, a state machine communicatively coupled to the storage for maintaining the log by executing log-actions, where the log stores indications of the processed data. The state machine has a plurality of generations each of which has a respective GUID. A single one of the generations is designated as a master generation of the state machine at any given moment in time. The master generation has exclusive privileges for executing write log-actions to the log at the any given moment in time. The method includes transmitting, by a master-candidate generation, a block request to the log that is instrumental in (i) preventing execution of write log-actions from any generation having a given GUID that is inferior the GUID of the master-candidate, and allowing execution of write log-actions exclusively from the master-candidate.

Abstract: A method of transmitting a message and a distributed computer system therefor are disclosed. The message is to be transmitted from a first actor to a second actor, the first actor is hosted by an actor system implemented in the distributed computer system. The method includes generating the message that has payload data and a trigger for triggering verification of whether the second actor has successfully received the message. The method includes sending, the message to the second actor. The method includes in response to determining, in response to the first trigger, that the second actor has not successfully received the message, instructing the first actor that the message is not received by the second actor.

Abstract: A computer-implemented method for implementing a distributed computer system for processing data and a distributed computer system for processing the data are provided. The method includes receiving an indication of a redundancy algorithm to be used for generating redundancy-data based on the data. The method also includes receiving an indication of a failure-model algorithm to be used for confirming successful storage of the data to the client. The method also includes at a data storage moment in time instructing the set of storage devices to store the redundancy-data. The method also includes, at a data access moment time, receiving an indication of an access request for the data. The method also includes, at a data access moment time, applying the failure-model algorithm onto notifications received from the set of storage devices for non-ambiguously determining whether a confirmation of successful storage of the data has been provided to the client.

Abstract: A method and system for processing data is disclosed. The system has a storage for storing a log, a state machine communicatively coupled to the storage for maintaining the log by executing log-actions, where the log stores indications of the processed data. The state machine has a plurality of generations each of which has a respective GUID. A single one of the generations is designated as a master generation of the state machine at any given moment in time. The master generation has exclusive privileges for executing write log-actions to the log at the any given moment in time. The method includes transmitting, by a master-candidate generation, a block request to the log that is instrumental in (i) preventing execution of write log-actions from any generation having a given GUID that is inferior the GUID of the master-candidate, and allowing execution of write log-actions exclusively from the master-candidate.

Abstract: A distributed software system and a method for routing transactions for execution are disclosed. The distributed software system has a database sub-system partitioned into shards and a transaction routing sub-system for ordering transactions. The transaction routing sub-system has a plurality of coordinator ports and a plurality of mediator ports. The coordinator ports receive transactions to be executed by the shards and generate local per-shard orders for the received transactions. The local per-shard orders are received by the plurality of mediator ports which are pre-assigned with respective shards. The mediator ports generate centralized per-shard orders of execution based on the received per-shard orders. A given centralized per-shard order of execution is an order of execution of transactions received by a given mediator port and that are destined to be executed by a given shard that is pre-assigned to the given mediator port.