I wouldn't call it a livelock, because I wouldn't expect the runtime to be doing... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		gpderetta 7 months ago \| parent \| context \| favorite \| on: Pony: An actor-model, capabilities-secure, high-pe... I wouldn't call it a livelock, because I wouldn't expect the runtime to be doing any (useless) work on behalf of the program. Still, trading deadlocks for livelocks is a net negative as they are harder to identify and diagnose.

senderista 7 months ago [–]

Paxos necessarily livelocks and still seems useful. More generically, all nonblocking algorithms which are only “obstruction-free” can livelock, but techniques like randomized backoff can make them quite reliable in practice (just like Paxos/Raft).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact