Wouldn't it be nice if this was actually part of the OS networking stack?
Wouldn't that make it easier to write correct (for some form of correctness) distributed applications,
leaving the messy details to a proven lower-level stack?
I wrote my master thesis on putting raft inside the RPC layer exactly for that reason. We arrived at the conclusion that this was indeed a very good way to easily provide distributed consensus to the application layer.
Wouldn't that make it easier to write correct (for some form of correctness) distributed applications, leaving the messy details to a proven lower-level stack?