4 ms·

Thanks, Paul. My advice to you is to (a) model in TLA+. Writeup seems fine but, as you note, distribution is non-trivial (since intuition does not sufficiently

Thanks, Paul. My advice to you is to (a) model in TLA+. Writeup seems fine but, as you note, distribution is non-trivial (since intuition does not sufficiently/effectively inform the mental model). (2) do not rely on monotonic nanosecs from Go runtime. Only usec level precision is guaranteed monotonic. (3) if you don't own the client you are open to byzantine failure.

ngrilly 11y ago
> do not rely on monotonic nanosecs from Go runtime. Only usec level precision is guaranteed monotonic. Interesting! Source? Any link about this?
- eternalban 11y ago
  http://play.golang.org/p/Hs7gPYTCgi http://play.golang.org/p/Hs7gPYTCgi The issue is not Go (though imo they should update the doc to share the esoterica): http://stackoverflow.com/questions/4801122/how-to-stop-time-from-running-backwards-on-linux http://stackoverflow.com/questions/4801122/how-to-stop-time-...
  - ngrilly 11y ago
    Thanks for the links. They are useful. I understand now.