Re:GERT: Run Go on Bare Metal ARMv7
by SkyMarshal on Tuesday June 20, 2017 @12:36AM
(#14592232)
>deterministic, reliable and consistent
Is there a formal definition for all three terms?
* Deterministic - the system is intrinsically incapable of undefinable behavior, provably so. (Though extrinsic factors like hardware or network failure could result in undefinable behavior).
Is there a formal definition for all three terms?
* Deterministic - the system is intrinsically incapable of undefinable behavior, provably so. (Though extrinsic factors like hardware or network failure could result in undefinable behavior).
* Consistent - Every read receives the most recent write or an error (from CAP Theorem https://en.wikipedia.org/wiki/CAP_theorem)
* Reliable - ?