Method for synchronizing redundant controllers without hardware support

A method comprising:

• creating at least one redundant data type based on at least one base data type, the at least one redundant data type including tracked operators that are different from corresponding operators of the at least one base data type, the tracked operators of the at least one redundant data type including an assignment function that is a same assignment function performed by the corresponding operators of the at least one base data type, the tracked operators of the at least one redundant data type further including a transfer function that transfers data assigned with the assignment function into a buffer;
• performing the assignment function on a piece of data to assign the piece of data to an address in a primary memory;
• determine whether the data to be assigned to the primary memory is different from the data already stored at the assignment address in the primary memory by:
• receiving the address and size of the piece of data,
• reading the received data size from the primary memory at the received address, and
• performing the transfer function, when data assigned to the primary memory is different from data already stored at the assignment address, to transfer the piece of data to the buffer;
• and
• transferring contents of the buffer to a backup memory.

A non-transitory computer readable medium embodying a computer program, the computer program comprising computer readable program code that when executed causes at least one processing device to:

• create at least one redundant data type based on at least one base data type, the at least one redundant data type including tracked operators that are different from corresponding operators of the at least one base data type, the tracked operators of the at least one redundant data type including an assignment function that is a same assignment function performed by the corresponding operators of the at least one base data type, the tracked operators of the at least one redundant data type further including a transfer function that transfers data assigned with the assignment function into a buffer,
• perform the assignment function on a piece of data to assign the piece of data to an address in a primary memory;
• determine whether the data to be assigned to the primary memory is different from the data already stored at the assignment address in the primary memory by:
• receiving the address and size of the piece of data,
• reading the received data size from the primary memory at the received address, and
• perform the transfer function, when data assigned to the primary memory is different from data already stored at the assignment address, to transfer the piece of data to the buffer;
• and
• transfer contents of the buffer to a backup memory.